aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2020-07-01 13:19:55 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2020-07-01 13:19:55 -0400
commit58e388f1c0811cc598914f58032c78092b1edd8e (patch)
tree63b591db1b25d47c5abf9b6bb3bd2abe8d816353
parentcbdfb79633cc858a55d559b3bf41fc067a913552 (diff)
Fix undefined builtin error messages
-rwxr-xr-xspec/dzref3
1 files changed, 2 insertions, 1 deletions
diff --git a/spec/dzref b/spec/dzref
index f6ea490a..8a207c04 100755
--- a/spec/dzref
+++ b/spec/dzref
@@ -333,7 +333,8 @@ ProgressiveIndexOf ← {𝕨⊐○(≍˘⟜OccurrenceCount𝕨⊸⊐)𝕩}
}
⍝ starting built-ins
- names ⍎{𝔽 𝕨∾"←{⟨"∾𝕩∾"⟩ ⋄ ⍎""Using undefined built-in "∾𝕨∾"""}"}¨ nc/⟨"𝕨 ","𝕨,𝕗","𝕨,𝕘"⟩
+ inps←⟨"𝕨 ","𝕨,𝕗","𝕨,𝕘"⟩
+ ⍎¨names∾¨(nc/("←{⟨"∾∾⟜"⟩ ⋄ ⍎""Using undefined built-in ")¨inps)∾¨∾⟜"""}"¨chr
⍝ built-in assumptions
Mod ← ⍎{𝔽 ((⊑chr⊐𝕨)⊑names) ∾ " ↩ " ∾ 𝕩}