diff options
Diffstat (limited to 'stdlib/source/library/lux/type/check.lux')
| -rw-r--r-- | stdlib/source/library/lux/type/check.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/type/check.lux b/stdlib/source/library/lux/type/check.lux index 7241146ec..0c91e0c24 100644 --- a/stdlib/source/library/lux/type/check.lux +++ b/stdlib/source/library/lux/type/check.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except try except with) ["@" target] @@ -12,16 +12,16 @@ ["[0]" exception (.only Exception exception:)]] [data ["[0]" product] - ["[0]" text (.open: "[1]#[0]" monoid equivalence)] + ["[0]" text (.use "[1]#[0]" monoid equivalence)] [collection - ["[0]" list (.open: "[1]#[0]" mix)] + ["[0]" list (.use "[1]#[0]" mix)] ["[0]" set (.only Set)]]] [macro ["^" pattern]] [math [number - ["n" nat (.open: "[1]#[0]" decimal)]]]]] - ["[0]" // (.open: "[1]#[0]" equivalence)]) + ["n" nat (.use "[1]#[0]" decimal)]]]]] + ["[0]" // (.use "[1]#[0]" equivalence)]) (def !n#= (template (_ reference subject) @@ -132,7 +132,7 @@ ))) )) -(open: "check#[0]" ..monad) +(use "check#[0]" ..monad) (def (var::new id plist) (-> Var Type_Vars Type_Vars) |