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/lux.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

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