diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/type.lux | 56 |
1 files changed, 28 insertions, 28 deletions
diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux index 0ffd8ca7f..94f7b92fd 100644 --- a/stdlib/source/test/lux/type.lux +++ b/stdlib/source/test/lux/type.lux @@ -3,37 +3,37 @@ [lux "*" ["_" test {"+" [Test]}] [abstract - ["." monad {"+" [do]}] + ["[0]" monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control [pipe {"+" [case>]}] - ["." maybe]] + ["[0]" maybe]] [data - ["." bit ("#\." equivalence)] - ["." text ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." list] - ["." array]]] + ["[0]" list] + ["[0]" array]]] [macro - ["." code ("#\." equivalence)]] + ["[0]" code ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]]]] [\\library - ["." / ("#\." equivalence)]] - ["." / "_" - ["#." abstract] - ["#." check] - ["#." dynamic] - ["#." implicit] - ["#." poly] - ["#." quotient] - ["#." refinement] - ["#." resource] - ["#." unit] - ["#." variance]]) + ["[0]" / ("[1]\[0]" equivalence)]] + ["[0]" / "_" + ["[1][0]" abstract] + ["[1][0]" check] + ["[1][0]" dynamic] + ["[1][0]" implicit] + ["[1][0]" poly] + ["[1][0]" quotient] + ["[1][0]" refinement] + ["[1][0]" resource] + ["[1][0]" unit] + ["[1][0]" variance]]) (def: short (Random Text) @@ -104,8 +104,8 @@ #1))) (list.repeated size) (monad.all !)) - .let [(^open "/\.") /.equivalence - (^open "list\.") (list.equivalence /.equivalence)]] + .let [(^open "/\[0]") /.equivalence + (^open "list\[0]") (list.equivalence /.equivalence)]] (`` ($_ _.and (~~ (template [<ctor> <dtor> <unit>] [(_.cover [<ctor> <dtor>] @@ -137,8 +137,8 @@ _ #1)))) - .let [(^open "/\.") /.equivalence - (^open "list\.") (list.equivalence /.equivalence)]] + .let [(^open "/\[0]") /.equivalence + (^open "list\[0]") (list.equivalence /.equivalence)]] ($_ _.and (_.cover [/.function /.flat_function] (let [[inputs output] (|> (/.function members extra) /.flat_function)] @@ -158,7 +158,7 @@ _ #1)))) - .let [(^open "/\.") /.equivalence]] + .let [(^open "/\[0]") /.equivalence]] (`` ($_ _.and (~~ (template [<ctor> <dtor>] [(_.cover [<ctor> <dtor>] @@ -184,7 +184,7 @@ _ #1)))) - .let [(^open "/\.") /.equivalence]] + .let [(^open "/\[0]") /.equivalence]] ($_ _.and (_.cover [/.array /.flat_array] (let [[flat_depth flat_element] (|> element_type (/.array depth) /.flat_array)] @@ -229,7 +229,7 @@ (I64 a) (.i64 expected))))) (do random.monad - [.let [(^open "/\.") /.equivalence] + [.let [(^open "/\[0]") /.equivalence] left (..random 0) right (..random 0)] ($_ _.and |