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/source/lux.lux | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'stdlib/source/lux.lux')

diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux
index cf5707996..e4214a899 100644
--- a/stdlib/source/lux.lux
+++ b/stdlib/source/lux.lux
@@ -2608,6 +2608,9 @@
                                           #Nil))))]
            (` ("lux in-module" (~ (text$ module)) (~ (walk-type type'))))
 
+           [_ (#Form (#Cons [_ (#Symbol ["" "~"])] (#Cons expression #Nil)))]
+           expression
+
            [_ (#Form (#Cons type-fn args))]
            (list/fold ("lux check" (-> Code Code Code)
                        (function' [arg type-fn] (` (#.Apply (~ arg) (~ type-fn)))))
-- 
cgit v1.2.3