diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/type/check.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux index 27c63dc0b..d8e92bebc 100644 --- a/stdlib/source/test/lux/type/check.lux +++ b/stdlib/source/test/lux/type/check.lux @@ -2,7 +2,7 @@ [library [lux (.except type symbol) ["_" test (.only Test)] - ["[0]" type ("[1]#[0]" equivalence)] + ["[0]" type (.open: "[1]#[0]" equivalence)] [abstract ["[0]" monad (.only do)] [\\specification @@ -15,17 +15,17 @@ ["[0]" try] ["[0]" exception (.only exception:)]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] ["[0]" product] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor monoid)] + ["[0]" list (.open: "[1]#[0]" functor monoid)] ["[0]" set]]] [macro ["^" pattern]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat]]]]] [\\library |