Use file arguments in dzref

1 files changed, 6 insertions, 1 deletions

diff --git a/spec/dzref b/spec/dzref
index 11106297..26c3e039 100755
--- a/spec/dzref
+++ b/spec/dzref
@@ -218,6 +218,7 @@ ProgressiveIndexOf ← {𝕨⊐○(≍˘⟜OccurrenceCount𝕨⊸⊐)𝕩}
 ⊒ ← OccurrenceCount⊘ ProgressiveIndexOf
 "
 
+X←Raw←{≤4}
 {
   chrs←⟨
     "!∧∨∾↑↕⌽⍉⍋⍒⊐⊒∊⍷⊔"
@@ -267,5 +268,9 @@ ProgressiveIndexOf ← {𝕨⊐○(≍˘⟜OccurrenceCount𝕨⊸⊐)𝕩}
 
   lf ← •UCS 10
   pre ← E_isdef◶E_proc‿E_redef¨ lf((⊢-˜¬×+`)∘=⊔⊢)impl
-  ⍎ ∾ ∾⟜lf¨ pre ∾ E_proc¨ •STDIN⟨⟩
+  Raw↩⍎
+  ExecFile←{Raw ∾ ∾⟜lf¨ E_proc¨ •LNS 𝕩}
+  X↩Raw∘E_proc
+  ⍎ ∾ ∾⟜lf¨ pre
+  ≠◶X‿{ExecFile ⊑𝕩}‿{ExecFile ⊑𝕩 ⋄ X 1⊑𝕩} •args
 }0