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 +++---
 new-luxc/source/luxc/analyser/lux.lux    | 6 +++---
 2 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'new-luxc/source/luxc/analyser')

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)
diff --git a/new-luxc/source/luxc/analyser/lux.lux b/new-luxc/source/luxc/analyser/lux.lux
index 24ac1e093..86f9839dc 100644
--- a/new-luxc/source/luxc/analyser/lux.lux
+++ b/new-luxc/source/luxc/analyser/lux.lux
@@ -180,10 +180,10 @@
   (do Monad<Lux>
     [expected macro;expected-type]
     (case expected
-      (#;ProdT _)
+      (#;Product _)
       (analyse-typed-tuple analyse cursor members)
 
-      (#;VarT id)
+      (#;Var id)
       (do @
         [bound? (&;within-type-env
                  (TC;bound? id))]
@@ -224,7 +224,7 @@
   (do Monad<Lux>
     [expected macro;expected-type]
     (case expected
-      (#;SumT _)
+      (#;Sum _)
       (let [flat (type;flatten-variant expected)
             type-size (list;size flat)]
         (if (n.< type-size tag)
-- 
cgit v1.2.3