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