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