From 85e948b432aa26dea5b20ff9998aaef5b2ee7f69 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Mon, 6 Jul 2020 12:53:17 -0400
Subject: Use file arguments in dzref

---
 spec/dzref | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'spec/dzref')

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
-- 
cgit v1.2.3