diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/data/collection/set/ordered.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index c2133dd11..b89bad1bb 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -6,18 +6,18 @@ [monad {"+" [do]}] [order {"+" [Order]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [collection - ["." list]]] + ["[0]" list]]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]]]] [\\library - ["." / {"+" [Set]} - ["." //]]]) + ["[0]" / {"+" [Set]} + ["[0]" //]]]) (def: size (random.Random Nat) @@ -48,7 +48,7 @@ random.nat) .let [listL (//.list usetL)] listR (|> (random.set n.hash sizeR random.nat) (\ ! each //.list)) - .let [(^open "/\.") /.equivalence + .let [(^open "/\[0]") /.equivalence setL (/.of_list n.order listL) setR (/.of_list n.order listR) empty (/.empty n.order)]] |