aboutsummaryrefslogtreecommitdiff
path: root/dzref
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2020-09-07 12:12:46 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2020-09-07 12:13:59 -0400
commit176c78f51809ba3648d7a4cdedc78553df5904ae (patch)
tree556619a931598fdb2a49b706351821ac4d044886 /dzref
parent7cb25167c2f4eb3cd0858f23d9662d9853d54cb6 (diff)
Use a new scope for execution in dzref
Diffstat (limited to 'dzref')
-rwxr-xr-xdzref8
1 files changed, 4 insertions, 4 deletions
diff --git a/dzref b/dzref
index 7e94b37e..0d070602 100755
--- a/dzref
+++ b/dzref
@@ -80,7 +80,8 @@ ProgressiveIndexOf ← {𝕨⊐○(≍˘⟜OccurrenceCount𝕨⊸⊐)𝕩}
⊒ ← OccurrenceCount⊘ ProgressiveIndexOf
"
-X←Raw←{F:≤4}
+raw ← {⍎}
+X ← {F:≤4}
{v:
chrs←⟨
"∾↕⊐⊒∊⍷"
@@ -104,7 +105,7 @@ X←Raw←{F:≤4}
# built-in assumptions
Mod ← {((⊑chr⊐𝕨)⊑names) ∾ " ← " ∾ 𝕩}
- ⍎¨ ⟨
+ Raw¨ ⟨
"IsArray ← 0≠≡"
⟩∾Mod⟜⥊¨ "↕∾⊐"
@@ -127,13 +128,12 @@ X←Raw←{F:≤4}
lf ← @+10
pre ← E_isdef◶E_proc‿E_redef¨ lf((⊢-˜¬×+`)∘=⊔⊢)impl
- Raw↩⍎
ExecFile←{
path ← "dot_path←" ∾ '"' (⊣∾⊣∾˜(1+=)/⊢) (∨`⌾⌽'/'=𝕩)/𝕩
src ← "•path"•_r_"dot_path"∘E_proc¨ •LNS 𝕩
Raw ∾ ∾⟜lf¨ path <⊸∾ src
}
X↩Raw∘E_proc
- ⍎ ∾ ∾⟜lf¨ pre
+ Raw ∾ ∾⟜lf¨ pre
≠◶(X˙)‿{ExecFile ⊑𝕩}‿{ExecFile ⊑𝕩 ⋄ X 1⊑𝕩} •args
}