a couple more fill tests
This commit is contained in:
parent
ff406c9586
commit
0c424df8b7
@ -1,7 +1,14 @@
|
||||
%DEF fill Fill←•internal.HasFill◶'e'‿{⊑1↑0⥊𝕩}
|
||||
%DEF eqall EqAll ← {!∘≡⟜(⊑𝕩)¨ 𝕩 ⋄ ⊑𝕩}
|
||||
|
||||
%USE fill ⋄ F←¬ ⋄ ⟨Fill¨ F ⟨"",↕0,↕0‿0⟩, Fill∘F¨ ⟨⟨⟩, ↕0‿0, ↕0, 0‿2⥊↕0, "", 2‿0⥊""⟩⟩ %!HEAPVERIFY %% ⟨⟨' ',0,0‿0⟩,⟨'e',0‿0,0,0,' ',' '⟩⟩
|
||||
%USE fill ⋄ F←- ⋄ ⟨Fill¨ F ⟨"",↕0,↕0‿0⟩, Fill∘F¨ ⟨⟨⟩, ↕0‿0, ↕0, 0‿2⥊↕0, "", 2‿0⥊""⟩⟩ %!HEAPVERIFY %% ⟨⟨' ',0,0‿0⟩,⟨'e',0‿0,0,0,' ',' '⟩⟩
|
||||
%USE fill ⋄ F←| ⋄ ⟨Fill¨ F ⟨"",↕0,↕0‿0⟩, Fill∘F¨ ⟨⟨⟩, ↕0‿0, ↕0, 0‿2⥊↕0, "", 2‿0⥊""⟩⟩ %!HEAPVERIFY %% ⟨⟨' ',0,0‿0⟩,⟨'e',0‿0,0,0,' ',' '⟩⟩
|
||||
|
||||
%USE fill ⋄ F←⌊ ⋄ ⟨0,1,{⇐},+,@,'𝕩'⟩ Fill∘F⌜ ⟨⟨⟩, ↕0‿0, ↕0, 0‿2⥊↕0, "", 2‿0⥊""⟩ %!HEAPVERIFY %% 2‿4/[⟨'e',0‿0,0,0,'e','e'⟩,⟨'e','e','e','e','e','e'⟩]
|
||||
%USE fill ⋄ F←× ⋄ ⟨0,1,{⇐},+,@,'𝕩'⟩ Fill∘F⌜ ⟨⟨⟩, ↕0‿0, ↕0, 0‿2⥊↕0, "", 2‿0⥊""⟩ %!HEAPVERIFY %% 2‿4/[⟨'e',0‿0,0,0,'e','e'⟩,⟨'e','e','e','e','e','e'⟩]
|
||||
%USE fill ⋄ F←⋆ ⋄ ⟨0,1,{⇐},+,@,'𝕩'⟩ Fill∘F⌜ ⟨⟨⟩, ↕0‿0, ↕0, 0‿2⥊↕0, "", 2‿0⥊""⟩ %!HEAPVERIFY %% 2‿4/[⟨'e',0‿0,0,0,'e','e'⟩,⟨'e','e','e','e','e','e'⟩]
|
||||
%USE fill ⋄ F←= ⋄ ⟨0,1,{⇐},+,@,'𝕩'⟩ Fill∘F⌜ ⟨⟨⟩, ↕0‿0, ↕0, 0‿2⥊↕0, "", 2‿0⥊""⟩ %!HEAPVERIFY %% 6‿6⥊⟨'e',0‿0,0,0,0,0,'e',0‿0,0,0,0,0,'e','e',0,0,0,0,'e','e',0,0,0,0,'e',0‿0,0,0,0,0,'e',0‿0,0,0,0,0⟩
|
||||
%USE fill ⋄ F←+ ⋄ ⟨0,1,{⇐},+,@,'𝕩'⟩ Fill∘F⌜ ⟨⟨⟩, ↕0‿0, ↕0, 0‿2⥊↕0, "", 2‿0⥊""⟩ %!HEAPVERIFY %% 6‿6⥊⟨'e',0‿0,0,0,' ',' ','e',0‿0,0,0,' ',' ','e','e','e','e','e','e','e','e','e','e','e','e','e'," ",' ',' ','e','e','e'," ",' ',' ','e','e'⟩
|
||||
%USE fill ⋄ F←- ⋄ ⟨0,1,{⇐},+,@,'𝕩'⟩ Fill∘F⌜ ⟨⟨⟩, ↕0‿0, ↕0, 0‿2⥊↕0, "", 2‿0⥊""⟩ %!HEAPVERIFY %% 6‿6⥊⟨'e',0‿0,0,0,'e','e','e',0‿0,0,0,'e','e','e','e','e','e','e','e','e','e','e','e','e','e','e'," ",' ',' ',0,0,'e'," ",' ',' ',0,0⟩
|
||||
%USE fill ⋄ F←-˜ ⋄ ⟨0,1,{⇐},+,@,'𝕩'⟩ Fill∘F⌜ ⟨⟨⟩, ↕0‿0, ↕0, 0‿2⥊↕0, "", 2‿0⥊""⟩ %!HEAPVERIFY %% 6‿6⥊⟨'e',0‿0,0,0,' ',' ','e',0‿0,0,0,' ',' ','e','e','e','e','e','e','e','e','e','e','e','e','e','e','e','e',0,0,'e','e','e','e',0,0⟩
|
||||
|
||||
@ -88,6 +88,9 @@ w←1‿1⥊1 ⋄ x←2⥊1 ⋄ w‿x <¨↩ ⋄ {! (∾⟨"𝕨",•Repr𝕩,
|
||||
2‿3‿0‿1/4‿3⥊↕⋈12 %% ⋈¨6‿3⥊0‿1‿2‿0‿1‿2‿3‿4‿5‿3‿4‿5‿3‿4‿5‿9‿10‿11
|
||||
2‿3‿0‿1/↕4 %% 6⥊0‿0‿1‿1‿1‿3
|
||||
2‿3‿0‿1/↕⋈4 %% ⋈¨6⥊0‿0‿1‿1‿1‿3
|
||||
""/↕3 %% ↕3
|
||||
!"Expected non-negative integer, got character" % "abc"/↕3
|
||||
!"Expected non-negative integer, got character" % "ab"/2‿2⥊9
|
||||
!"Expected non-negative integer, got ¯3" % 2‿¯3/↕2
|
||||
!"Expected non-negative integer, got ¯3e20" % 2‿¯3e20/↕2
|
||||
!"𝕨/𝕩: Lengths of components of 𝕨 must match 𝕩 (3 ≠ 4)" % 1‿2‿3/4‿5‿6‿7
|
||||
|
||||
Loading…
Reference in New Issue
Block a user