run •internal.ClearRefs@ in tests
This commit is contained in:
parent
55e0409582
commit
650be21129
@ -1,5 +1,5 @@
|
|||||||
%DEF var V←•internal.Variation ⋄ LV←•internal.ListVariations
|
%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}
|
%DEF k _k ← {𝔽○•internal.Keep}
|
||||||
|
|
||||||
# batch checks
|
# batch checks
|
||||||
|
|||||||
@ -1,7 +1,7 @@
|
|||||||
# not tested here: •Out •Show •Exit •term •GetLine •Cmp •CurrentError •FFI •internal.HeapDump •file.MapBytes
|
# not tested here: •Out •Show •Exit •term •GetLine •Cmp •CurrentError •FFI •internal.HeapDump •file.MapBytes
|
||||||
|
|
||||||
%DEF var V←•internal.Variation ⋄ LV←•internal.ListVariations
|
%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
|
# standard system values
|
||||||
|
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user