From 4744552df1f1285d600a13ed0a3cf8be2f336030 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 7 May 2017 12:17:27 -0400
Subject: - Removed "T" suffix from Type's tags.

---
 new-luxc/source/luxc/analyser/common.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'new-luxc/source/luxc/analyser/common.lux')

diff --git a/new-luxc/source/luxc/analyser/common.lux b/new-luxc/source/luxc/analyser/common.lux
index 0deceaa39..e77819779 100644
--- a/new-luxc/source/luxc/analyser/common.lux
+++ b/new-luxc/source/luxc/analyser/common.lux
@@ -27,13 +27,13 @@
 (def: #export (clean type analysis)
   (-> Type Analysis (Lux Analysis))
   (case type
-    (#;VarT id)
+    (#;Var id)
     (do Monad<Lux>
       [=type (&;within-type-env
               (TC;clean id type))]
       (wrap (replace-type =type analysis)))
     
-    (#;ExT id)
+    (#;Ex id)
     (undefined)
     
     _
@@ -55,7 +55,7 @@
 (def: #export (realize expected)
   (-> Type (TC;Check [(List Type) Type]))
   (case expected
-    (#;NamedT [module name] _expected)
+    (#;Named [module name] _expected)
     (realize _expected)
 
     (#;UnivQ env body)
-- 
cgit v1.2.3