diff options
author | Eduardo Julian | 2017-12-25 00:24:18 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-12-25 00:24:18 -0400 |
commit | a4c4a5b8c744eae8108c02e402600a61fdc74d02 (patch) | |
tree | 8b11a6c4a6adc3dd28e289426c3a923449b7e0d0 /stdlib/test/tests.lux | |
parent | 342cc20371fd43a6d6ac93620283072dbdcc26ac (diff) |
- Added module for predicates.
- Added refinement types.
- Small refactorings and fixes.
- Added the capacity to unquote expressions inside the 'lux.type' macro.
Diffstat (limited to '')
-rw-r--r-- | stdlib/test/tests.lux | 6 |
1 files changed, 4 insertions, 2 deletions
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]) ) |