- Added module for predicates.

- Added refinement types.
- Small refactorings and fixes.
- Added the capacity to unquote expressions inside the 'lux.type' macro.

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])
   )