From a4c4a5b8c744eae8108c02e402600a61fdc74d02 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 25 Dec 2017 00:24:18 -0400
Subject: - Added module for predicates. - Added refinement types. - Small
 refactorings and fixes. - Added the capacity to unquote expressions inside
 the 'lux.type' macro.

---
 stdlib/test/tests.lux | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'stdlib/test/tests.lux')

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])
   )
-- 
cgit v1.2.3