aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/ffi.old.lux
diff options
context:
space:
mode:
authorEduardo Julian2021-09-12 15:39:55 -0400
committerEduardo Julian2021-09-12 15:39:55 -0400
commit2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (patch)
tree14bc8b5abe09b46ef005c3ff7cf132f1d98ddf0d /stdlib/source/test/lux/ffi.old.lux
parentdda05bca0956af5e5b3875c4cc36e61aa04772e4 (diff)
Re-named \ => # && \\ => ##
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/ffi.old.lux20
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)))))
)))