diff options
Diffstat (limited to 'stdlib/source/test/lux/type/check.lux')
-rw-r--r-- | stdlib/source/test/lux/type/check.lux | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux index 1a3d50373..d3825ef80 100644 --- a/stdlib/source/test/lux/type/check.lux +++ b/stdlib/source/test/lux/type/check.lux @@ -2,32 +2,32 @@ [library [lux {"-" [type]} ["_" test {"+" [Test]}] - ["." type ("#\." equivalence)] + ["[0]" type ("[1]\[0]" equivalence)] [abstract - ["." monad {"+" [do]}] + ["[0]" monad {"+" [do]}] [\\specification - ["$." functor {"+" [Injection Comparison]}] - ["$." apply] - ["$." monad]]] + ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" apply] + ["$[0]" monad]]] [control [pipe {"+" [case>]}] - ["." function] - ["." try] - ["." exception {"+" [exception:]}]] + ["[0]" function] + ["[0]" try] + ["[0]" exception {"+" [exception:]}]] [data - ["." bit ("#\." equivalence)] - ["." product] - ["." text ("#\." equivalence) + ["[0]" bit ("[1]\[0]" equivalence)] + ["[0]" product] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["." list ("#\." functor monoid)] - ["." set]]] + ["[0]" list ("[1]\[0]" functor monoid)] + ["[0]" set]]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) ... TODO: Remove the following 3 definitions ASAP. //.type already exists... (def: short |