diff --git a/test/cases/cells.bqn b/test/cases/cells.bqn index fa433e72..fc32e2d7 100644 --- a/test/cases/cells.bqn +++ b/test/cases/cells.bqn @@ -132,10 +132,9 @@ {π•Šf: {{f Test 0β€Ώ1β₯ŠΛœ π•©βŠ0β€Ώ2β€Ώ4β€Ώ8β€Ώ32}Β¨ ↕𝕩β₯Š3 β‹„ 1}Β¨ ranks}Β¨ +β€Ώβˆ§β€Ώβˆ¨β€Ώ=β€Ώβ‰ β€ΏβŠ£β€ΏβŠ’ } - # TODO replace β—‹βŠ’ with some pureness-preserving β€’internal.Keep # w F _thing x tests F _thingβŽ‰w x - _testFoldCells ← {βˆ¨Β΄π•—=βŠ’β€ΏβŠ£? 0=Γ—Β΄(-𝕨)↑≒𝕩? 1; heapverify? 0=β‰ β₯Šπ•©? 1 ⊣ π”½ΛβŽ‰π•¨ 𝕩; ! (π”½ΛβŽ‰π•¨ ≑ π”½Λβ—‹βŠ’βŽ‰π•¨) 𝕩} - _testScanCells ← { heapverify? 0=β‰ β₯Šπ•©? 1 ⊣ 𝔽`βŽ‰π•¨ 𝕩; ! (𝔽`βŽ‰π•¨ ≑ 𝔽`β—‹βŠ’βŽ‰π•¨) 𝕩} + _testFoldCells ← {βˆ¨Β΄π•—=βŠ’β€ΏβŠ£? 0=Γ—Β΄(-𝕨)↑≒𝕩? 1; heapverify? 0=β‰ β₯Šπ•©? 1 ⊣ π”½ΛβŽ‰π•¨ 𝕩; ! (π”½ΛβŽ‰π•¨ ≑ 𝔽˝○‒internal.PureKeepβŽ‰π•¨) 𝕩} + _testScanCells ← { heapverify? 0=β‰ β₯Šπ•©? 1 ⊣ 𝔽`βŽ‰π•¨ 𝕩; ! (𝔽`βŽ‰π•¨ ≑ 𝔽`β—‹β€’internal.PureKeepβŽ‰π•¨) 𝕩} {1 𝕨 _testFoldCells 𝕩} _basicArgs 2β€Ώ3β€Ώ4 {1 𝕨 _testScanCells 𝕩} _basicArgs 2β€Ώ3β€Ώ4