diff options
author | Eduardo Julian | 2021-09-12 15:39:55 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-12 15:39:55 -0400 |
commit | 2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (patch) | |
tree | 14bc8b5abe09b46ef005c3ff7cf132f1d98ddf0d /stdlib/source/test/lux/ffi.old.lux | |
parent | dda05bca0956af5e5b3875c4cc36e61aa04772e4 (diff) |
Re-named \ => # && \\ => ##
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/ffi.old.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/test/lux/ffi.old.lux b/stdlib/source/test/lux/ffi.old.lux index 9a1e0de54..294106143 100644 --- a/stdlib/source/test/lux/ffi.old.lux +++ b/stdlib/source/test/lux/ffi.old.lux @@ -8,7 +8,7 @@ [control [pipe {"+" [case>]}]] [data - ["[0]" text ("[1]\[0]" equivalence) + ["[0]" text ("[1]#[0]" equivalence) ["%" format {"+" [format]}]]] [macro ["[0]" template]] @@ -18,7 +18,7 @@ ["n" nat] ["i" int] ["f" frac]]] - ["[0]" type ("[1]\[0]" equivalence)]]] + ["[0]" type ("[1]#[0]" equivalence)]]] [\\library ["[0]" /]]) @@ -89,13 +89,13 @@ Test (do [! random.monad] [long random.int - int (\ ! each (|>> /.long_to_int) random.int) - char (\ ! each (|>> /.long_to_int /.int_to_char) random.int) + int (# ! each (|>> /.long_to_int) random.int) + char (# ! each (|>> /.long_to_int /.int_to_char) random.int) double (|> random.frac (random.only (|>> f.not_a_number? not))) float (|> random.frac (random.only (|>> f.not_a_number? not)) - (\ ! each (|>> /.double_to_float)))] + (# ! each (|>> /.double_to_float)))] (`` ($_ _.and (~~ (template [<=> <sample> <to> <from>] [(_.cover [<to> <from>] @@ -156,8 +156,8 @@ (def: arrays Test (do [! random.monad] - [size (|> random.nat (\ ! each (|>> (n.% 100) (n.max 1)))) - idx (|> random.nat (\ ! each (n.% size))) + [size (|> random.nat (# ! each (|>> (n.% 100) (n.max 1)))) + idx (|> random.nat (# ! each (n.% size))) value random.int] ($_ _.and (_.cover [/.array /.length] @@ -206,7 +206,7 @@ (_.cover [/.class_for /.import:] (|> (/.class_for java/lang/Class) java/lang/Class::getName - (text\= "java.lang.Class"))) + (text#= "java.lang.Class"))) (_.cover [/.class: /.do_to] (|> (/.do_to (test/lux/ffi/TestClass::new increase counter) (test/lux/ffi/TestClass::upC) @@ -222,9 +222,9 @@ test/lux/ffi/TestInterface::current (i.= (i.+ increase counter)))) (_.cover [/.type] - (and (type\= (primitive "java.lang.Char") + (and (type#= (primitive "java.lang.Char") (/.type java/lang/Char)) - (type\= (primitive "java.util.List" [(primitive "java.lang.Byte")]) + (type#= (primitive "java.util.List" [(primitive "java.lang.Byte")]) (/.type (java/util/List java/lang/Byte))))) ))) |