- Added "lux check type" to old compiler.

1 files changed, 4 insertions, 0 deletions

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