From 650be211298da059ec3399b8c66985246391e84a Mon Sep 17 00:00:00 2001 From: dzaima Date: Wed, 24 May 2023 15:41:23 +0300 Subject: [PATCH] =?UTF-8?q?run=20=E2=80=A2internal.ClearRefs@=20in=20tests?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- test/cases/prims.bqn | 2 +- test/cases/system.bqn | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/test/cases/prims.bqn b/test/cases/prims.bqn index 5d4fc729..b3bc9b89 100644 --- a/test/cases/prims.bqn +++ b/test/cases/prims.bqn @@ -1,5 +1,5 @@ %DEF var V←•internal.Variation ⋄ LV←•internal.ListVariations -%DEF tvar %USE var ⋄ _tvar ← {F _𝕣 x: {F 𝕩 V x}¨ LV 𝕩; w F _𝕣 x: (LV 𝕨) {(𝕨 V w) F 𝕩 V x}⌜ LV 𝕩} +%DEF tvar %USE var ⋄ _tvar ← {F _𝕣 x: {F 𝕩 V x}¨ LV 𝕩; w F _𝕣 x: (•internal.ClearRefs@) ⊢ (LV 𝕨) {(𝕨 V w) F 𝕩 V x}⌜ LV 𝕩} %DEF k _k ← {𝔽○•internal.Keep} # batch checks diff --git a/test/cases/system.bqn b/test/cases/system.bqn index 9f3377bb..00f4c228 100644 --- a/test/cases/system.bqn +++ b/test/cases/system.bqn @@ -1,7 +1,7 @@ # not tested here: •Out •Show •Exit •term •GetLine •Cmp •CurrentError •FFI •internal.HeapDump •file.MapBytes %DEF var V←•internal.Variation ⋄ LV←•internal.ListVariations -%DEF tvar %USE var ⋄ _tvar ← {F _𝕣 x: {F 𝕩 V x}¨ LV 𝕩; w F _𝕣 x: (LV 𝕨) {(𝕨 V w) F 𝕩 V x}⌜ LV 𝕩} +%DEF tvar %USE var ⋄ _tvar ← {F _𝕣 x: {F 𝕩 V x}¨ LV 𝕩; w F _𝕣 x: (•internal.ClearRefs@) ⊢ (LV 𝕨) {(𝕨 V w) F 𝕩 V x}⌜ LV 𝕩} # standard system values