From a12eb1ae67e36ee12dd434da948a25b6b18e34d6 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 30 Oct 2017 22:22:36 -0400
Subject: - Added "lux check type" to old compiler.

---
 luxc/src/lux/analyser.clj | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'luxc/src')

diff --git a/luxc/src/lux/analyser.clj b/luxc/src/lux/analyser.clj
index fe560ed10..116102f37 100644
--- a/luxc/src/lux/analyser.clj
+++ b/luxc/src/lux/analyser.clj
@@ -117,6 +117,10 @@
             (&/with-analysis-meta cursor exo-type
               (&&lux/analyse-ann analyse eval! exo-type ?type ?value)))
 
+          "lux check type"
+          (|let [(&/$Cons ?value (&/$Nil)) parameters]
+            (analyse-ast optimize eval! compile-module compilers &type/Type ?value))
+
           "lux coerce"
           (|let [(&/$Cons ?type
                           (&/$Cons ?value
-- 
cgit v1.2.3