From cbdfb79633cc858a55d559b3bf41fc067a913552 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Wed, 1 Jul 2020 11:47:51 -0400 Subject: Simplify builtin initialization --- spec/dzref | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'spec') diff --git a/spec/dzref b/spec/dzref index 55033a88..f6ea490a 100755 --- a/spec/dzref +++ b/spec/dzref @@ -331,15 +331,12 @@ ProgressiveIndexOf ← {𝕨⊐○(≍˘⟜OccurrenceCount𝕨⊸⊐)𝕩} n←0 ⋄ itr↩{n↩1+𝕩}⌾(i⊑⊢)itr names↩((i⊑init)∾(•UCS 48+n)∾i⊑post)⌾(i⊑⊢)names } - Name ← {(⊑chr⊐𝕩)⊑names} ⍝ starting built-ins - ⍎{𝔽 (Name 𝕩)∾"←{⟨𝕨 ⟩ ⋄ ⍎""Using undefined built-in "∾𝕩∾"""}"}¨ 0⊑chrs - ⍎{𝔽 (Name 𝕩)∾"←{⟨𝕨,𝕗⟩ ⋄ ⍎""Using undefined built-in "∾𝕩∾"""}"}¨ 1⊑chrs - ⍎{𝔽 (Name 𝕩)∾"←{⟨𝕨,𝕘⟩ ⋄ ⍎""Using undefined built-in "∾𝕩∾"""}"}¨ 2⊑chrs + names ⍎{𝔽 𝕨∾"←{⟨"∾𝕩∾"⟩ ⋄ ⍎""Using undefined built-in "∾𝕨∾"""}"}¨ nc/⟨"𝕨 ","𝕨,𝕗","𝕨,𝕘"⟩ ⍝ built-in assumptions - Mod ← ⍎{𝔽 (Name 𝕨) ∾ " ↩ " ∾ 𝕩} + Mod ← ⍎{𝔽 ((⊑chr⊐𝕨)⊑names) ∾ " ↩ " ∾ 𝕩} ⍎"IsArray ← 0≠≡" ⍎"_amend ← {𝕨{𝕩⋄𝕗}⌾(𝕗⊑⊢)𝕩}" -- cgit v1.2.3