aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/test/test/lux/math/modular.lux2
-rw-r--r--stdlib/test/tests.lux6
2 files changed, 5 insertions, 3 deletions
diff --git a/stdlib/test/test/lux/math/modular.lux b/stdlib/test/test/lux/math/modular.lux
index 76d56cbc2..1adc737a4 100644
--- a/stdlib/test/test/lux/math/modular.lux
+++ b/stdlib/test/test/lux/math/modular.lux
@@ -11,7 +11,7 @@
lux/test)
(def: %3 (/.modulus 3))
-(def: Mod3 Type (type-of %3))
+(type: Mod3 (~ (type-of %3)))
(def: modulusR
(r.Random Int)
diff --git a/stdlib/test/tests.lux b/stdlib/test/tests.lux
index 1742334d8..12ab83fc0 100644
--- a/stdlib/test/tests.lux
+++ b/stdlib/test/tests.lux
@@ -74,7 +74,8 @@
["_." udp]))
))
(lux (control [contract]
- [concatenative])
+ [concatenative]
+ [predicate])
(data [env]
[trace]
[store]
@@ -85,7 +86,8 @@
(coll (tree ["tree_." parser])))
[macro]
(macro (poly [json]))
- (type [unit])
+ (type [unit]
+ [refinement])
[world/env]
[world/console])
)