aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/type/check.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/type/check.lux57
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...