diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/test/test/lux/math/modular.lux | 2 | ||||
| -rw-r--r-- | stdlib/test/tests.lux | 6 |
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]) ) |