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