diff --git a/test/cases/cells.bqn b/test/cases/cells.bqn index c80db8d4..9ca95b06 100644 --- a/test/cases/cells.bqn +++ b/test/cases/cells.bqn @@ -1,8 +1,6 @@ %DEF k _k ← {𝔽○•internal.Keep} %DEF tcc %USE k ⋄ _tcc ← { ! ∧´ (<𝕨 𝔽_k˘⎊'e' 𝕩) ≡¨ (𝕨 𝔽˘⎊'e'•internal.Variation⟜𝕩)¨ "i"•internal.ListVariations 𝕩} -•internal.Type¨ {𝕩-˜𝕩+2‿3⥊'¯'}¨ 0‿100‿100000 %% "c8arr"‿"c16arr"‿"c32arr" # assumed by test/cells.bqn - 1‿2 1⎉0 1 %% 1‿1 1 1⎉0 1‿2 %% 1‿1 ! 20‿1200≡≢⥊˘a←20‿30‿40⥊↕24 ⋄ ! 20‿30‿40 ≡ ≢a diff --git a/test/cells.bqn b/test/cells.bqn index d6d87e89..b5ceac3d 100644 --- a/test/cells.bqn +++ b/test/cells.bqn @@ -68,7 +68,7 @@ GetTests ← { 𝕊: xs ← ⟨0, 2‿3⥊@+↕6⟩∾ {𝕩⥊↕×´⥊𝕩}¨ ⟨1, 2‿3, 0‿3, 2‿0‿3, 4‿2‿3, 2‿4‿2‿3, 3‿1⟩ ks ← ⟨¯∞, ¯1, 0, 1, 2, 3, 4, 0‿1, 2‿1⟩ AddTests FOk Prod ⟨xs, ≡, ks, xs⟩ - xs2 ← ⟨2‿3⥊175, [¯81‿¯81‿¯81, 0‿0‿0]⟩∾{𝕩-˜𝕩+2‿3⥊'¯'}¨ 0‿100‿100000 + xs2 ← ⟨2‿3⥊175, [¯81‿¯81‿¯81, 0‿0‿0]⟩ ∾ (2‿3⥊'¯')⊸{bqntype≡2? 𝕨; 𝕩 cbqni.Variation 𝕨}¨ "Ac8"‿"Ac16"‿"Ac32" AddTests FOk Prod ⟨xs2, ≡, ks, xs2⟩ }⍟⊢ 1