- Type-vars no longer get deleted.

- Fixed some bugs.

1 files changed, 6 insertions, 6 deletions

diff --git a/new-luxc/source/luxc/lang/analysis/type.lux b/new-luxc/source/luxc/lang/analysis/type.lux
index 74bb712f4..0a8abd76b 100644
--- a/new-luxc/source/luxc/lang/analysis/type.lux
+++ b/new-luxc/source/luxc/lang/analysis/type.lux
@@ -1,8 +1,8 @@
 (;module:
   lux
   (lux (control monad)
-       [meta #+ Monad<Meta>]
-       (meta (type ["TC" check])))
+       [meta]
+       (meta (type ["tc" check])))
   (luxc ["&" base]
         (lang ["la" analysis #+ Analysis])))
 
@@ -11,21 +11,21 @@
 ## computing Lux type values.
 (def: #export (analyse-check analyse eval type value)
   (-> &;Analyser &;Eval Code Code (Meta Analysis))
-  (do Monad<Meta>
+  (do meta;Monad<Meta>
     [actualT (eval Type type)
      #let [actualT (:! Type actualT)]
      expectedT meta;expected-type
      _ (&;with-type-env
-         (TC;check expectedT actualT))]
+         (tc;check expectedT actualT))]
     (&;with-expected-type actualT
       (analyse value))))
 
 (def: #export (analyse-coerce analyse eval type value)
   (-> &;Analyser &;Eval Code Code (Meta Analysis))
-  (do Monad<Meta>
+  (do meta;Monad<Meta>
     [actualT (eval Type type)
      expectedT meta;expected-type
      _ (&;with-type-env
-         (TC;check expectedT (:! Type actualT)))]
+         (tc;check expectedT (:! Type actualT)))]
     (&;with-expected-type Top
       (analyse value))))