diff options
Diffstat (limited to 'stdlib/source/test/lux/type/check.lux')
-rw-r--r-- | stdlib/source/test/lux/type/check.lux | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux index e6e0f4b16..b9f0f570f 100644 --- a/stdlib/source/test/lux/type/check.lux +++ b/stdlib/source/test/lux/type/check.lux @@ -3,11 +3,10 @@ ["_" test (#+ Test)] [abstract ["." monad (#+ do)] - {[0 #spec] - [/ - ["$." functor (#+ Injection Comparison)] - ["$." apply] - ["$." monad]]}] + [\spec + ["$." functor (#+ Injection Comparison)] + ["$." apply] + ["$." monad]]] [control [pipe (#+ case>)] ["." function] @@ -27,8 +26,8 @@ [number ["n" nat]]] ["." type ("#\." equivalence)]] - {1 - ["." /]}) + [\\ + ["." /]]) ## TODO: Remove the following 3 definitions ASAP. //.type already exists... (def: short |