From 2a3946e713821880ecc47580e754315349f2fe73 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 13 Nov 2017 20:02:18 -0400
Subject: - Type-vars no longer get deleted. - Fixed some bugs.

---
 new-luxc/source/luxc/lang/analysis/type.lux | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'new-luxc/source/luxc/lang/analysis/type.lux')

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))))
-- 
cgit v1.2.3