synchronize test helpers

This commit is contained in:
dzaima 2025-05-24 01:17:42 +03:00
parent dd82d3fb54
commit 7aaa240ab1
4 changed files with 15 additions and 14 deletions

View File

@ -1,8 +1,8 @@
%DEF var V•internal.Variation LV•internal.ListVariations CLR•internal.ClearRefs
%DEF tvar %USE var _tvar {F _𝕣 x: (CLR@) {F 𝕩 V x}¨ LV 𝕩; w F _𝕣 x: (CLR@) (LV 𝕨) {(𝕨 V w) F 𝕩 V x} LV 𝕩}
%DEF eqvar %USE tvar _eqvar {r 𝕨 𝔽 _tvar 𝕩 !(r)¨ r r}
%DEF evar %USE tvar _evar {ok{} r𝕨 ok𝔽{𝕊: •CurrentError@} _tvar 𝕩 {okr? !"TEST FAIL: variation didn't error"; ("TEST FAIL: varying error messages" ! 1=)r !r}}
%DEF eqerr %USE eqvar _eqerr {ok{} r𝕨 ok𝔽{𝕊: •CurrentError@} 𝕩 {okr? !"TEST FAIL: case didn't error"; ("TEST FAIL: varying error messages" ! 1=)r !r}}
%DEF eqvar %USE tvar _eqvar {r 𝕨 𝔽 _tvar 𝕩 "failed eqvar"!•internal.EEqual(r)¨ r r}
%DEF evar %USE tvar _evar {ok{} r𝕨 ok𝔽{𝕊: •CurrentError@} _tvar 𝕩 {okr? !"TEST FAIL: variation didn't error"; ("TEST FAIL: varying error messages" ! 1=)r (r)!0}}
%DEF eqerr %USE eqvar _eqerr {ok{} r𝕨 ok𝔽{𝕊: •CurrentError@} 𝕩 {okr? !"TEST FAIL: case didn't error"; ("TEST FAIL: varying error messages" ! 1=)r (r)!0}}
%DEF k _k {𝔽•internal.Keep}
%DEF pk _pk {𝔽•internal.PureKeep}

View File

@ -1,5 +1,5 @@
%DEF var V•internal.Variation LV•internal.ListVariations CLR•internal.ClearRefs
%DEF tvar2 %USE var _tvar2_ {F _𝕣_ 𝕘 x: (CLR@) {F 𝕩 V x}¨ 𝕘 LV 𝕩; w F _𝕣_ 𝕘 x: (CLR@) (𝕘 LV 𝕨) {(𝕨 V w) F 𝕩 V x} 𝕘 LV 𝕩}
%DEF tvar %USE var _tvar {F _𝕣 x: (CLR@) {F 𝕩 V x}¨ LV 𝕩; w F _𝕣 x: (CLR@) (LV 𝕨) {(𝕨 V w) F 𝕩 V x} LV 𝕩}
%DEF fastone (
_fastone { F _𝕣 𝕩:
t 0
@ -42,9 +42,9 @@
%USE fastone a225+1e6@+10000 n{𝕊: a 1+(133¯1)}_fastone 4 ! a (n×1,3,¯1+a˜a) + 225+1e6@+10000 %!DEBUG
# in-place ∾⟜atom & ∾⟜list
%USE fastone %USE tvar2 {𝕊v: j<(×) v {a𝕩 n{𝕊: aj}_fastone 4 !( n +𝕩)a !av¨a}_tvar2_"f" 1e6 <𝕩}¨ 1, 12, 'a'
%USE fastone %USE tvar2 {𝕊v: j10<v {a𝕩 n{𝕊: aj}_fastone 4 !((10×n)+𝕩)a !av¨a}_tvar2_"f" 1e6 <𝕩}¨ 1, 12, 'a'
%USE fastone %USE tvar2 {𝕊v: j10<v {a𝕩 n{𝕊: aj}_fastone 4 !(10˜ n+𝕩)a !av¨a}_tvar2_"f" 1e510<𝕩}¨ 1, 12, 'a'
%USE fastone %USE tvar LV"f"LV {𝕊v: j<(×) v {a𝕩 n{𝕊: aj}_fastone 4 !( n +𝕩)a !av¨a}_tvar 1e6 <𝕩}¨ 1, 12, 'a'
%USE fastone %USE tvar LV"f"LV {𝕊v: j10<v {a𝕩 n{𝕊: aj}_fastone 4 !((10×n)+𝕩)a !av¨a}_tvar 1e6 <𝕩}¨ 1, 12, 'a'
%USE fastone %USE tvar LV"f"LV {𝕊v: j10<v {a𝕩 n{𝕊: aj}_fastone 4 !(10˜ n+𝕩)a !av¨a}_tvar 1e510<𝕩}¨ 1, 12, 'a'
# amortized fast ⍋ with long 𝕨 & tiny 𝕩
%USE fastone %USE tvar2 (1e6/10) {𝕨𝕩 _fastone 1} _tvar2_"f" 10
%USE fastone %USE tvar LV"f"LV (1e6/10) {𝕨𝕩 _fastone 1} _tvar 10

View File

@ -1,8 +1,8 @@
%DEF var V•internal.Variation LV•internal.ListVariations CLR•internal.ClearRefs
%DEF tvar %USE var _tvar {F _𝕣 x: (CLR@) {F 𝕩 V x}¨ LV 𝕩; w F _𝕣 x: (CLR@) (LV 𝕨) {(𝕨 V w) F 𝕩 V x} LV 𝕩}
%DEF eqvar %USE tvar _eqvar {r 𝕨 𝔽 _tvar 𝕩 !(r)¨ r r}
%DEF evar %USE tvar _evar {ok{} r𝕨 ok𝔽{𝕊: •CurrentError@} _tvar 𝕩 {okr? !"TEST FAIL: variation didn't error"; ("TEST FAIL: varying error messages" ! 1=)r !r}}
%DEF eqerr %USE eqvar _eqerr {ok{} r𝕨 ok𝔽{𝕊: •CurrentError@} 𝕩 {okr? !"TEST FAIL: case didn't error"; ("TEST FAIL: varying error messages" ! 1=)r !r}}
%DEF eqvar %USE tvar _eqvar {r 𝕨 𝔽 _tvar 𝕩 "failed eqvar"!•internal.EEqual(r)¨ r r}
%DEF evar %USE tvar _evar {ok{} r𝕨 ok𝔽{𝕊: •CurrentError@} _tvar 𝕩 {okr? !"TEST FAIL: variation didn't error"; ("TEST FAIL: varying error messages" ! 1=)r (r)!0}}
%DEF eqerr %USE eqvar _eqerr {ok{} r𝕨 ok𝔽{𝕊: •CurrentError@} 𝕩 {okr? !"TEST FAIL: case didn't error"; ("TEST FAIL: varying error messages" ! 1=)r (r)!0}}
%DEF k _k {𝔽•internal.Keep}
# batch checks

View File

@ -1,8 +1,9 @@
# not tested here: •Out •Show •Exit •GetLine •Cmp •CurrentError •FFI •internal.HeapDump
%DEF var V•internal.Variation LV•internal.ListVariations CLR•internal.ClearRefs
%DEF tvar %USE var _tvar {F _𝕣 x: (CLR@) {F 𝕩 V x}¨ LV 𝕩; w F _𝕣 x: (CLR@) (LV 𝕨) {(𝕨 V w) F 𝕩 V x} LV 𝕩}
%DEF eqvar %USE tvar _eqvar {r 𝕨 𝔽 _tvar 𝕩 !(r)¨ r r}
%DEF eqvar %USE tvar _eqvar {r 𝕨 𝔽 _tvar 𝕩 "failed eqvar"!•internal.EEqual(r)¨ r r}
# not tested here: •Out •Show •Exit •GetLine •Cmp •CurrentError •FFI •internal.HeapDump
# standard system values