From 0ef7f95fb75b4904473c67cc1a82450828d54bca Mon Sep 17 00:00:00 2001 From: dzaima Date: Fri, 13 Sep 2024 19:43:10 +0300 Subject: [PATCH] =?UTF-8?q?=E2=80=A2internal.PureKeep=20is=20now=20a=20thi?= =?UTF-8?q?ng?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- test/cases/cells.bqn | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) 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