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 ++--
 new-luxc/source/luxc/module/descriptor/type.lux | 44 ++++++++++++-------------
 3 files changed, 28 insertions(+), 28 deletions(-)

(limited to 'new-luxc/source')

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)
diff --git a/new-luxc/source/luxc/module/descriptor/type.lux b/new-luxc/source/luxc/module/descriptor/type.lux
index c4078ec0e..d9079e893 100644
--- a/new-luxc/source/luxc/module/descriptor/type.lux
+++ b/new-luxc/source/luxc/module/descriptor/type.lux
@@ -37,22 +37,22 @@
           (Type/= Type type))
     type-signal
     (case type
-      (#;HostT name params)
+      (#;Host name params)
       (format host-signal name &;stop-signal (&;encode-list encode-type params))
 
-      #;VoidT
+      #;Void
       void-signal
 
-      #;UnitT
+      #;Unit
       unit-signal
 
       (^template [<tag> <prefix>]
         (<tag> left right)
         (format <prefix> (encode-type left) (encode-type right)))
-      ([#;ProdT     product-signal]
-       [#;SumT      sum-signal]
-       [#;FunctionT function-signal]
-       [#;AppT      application-signal])
+      ([#;Product      product-signal]
+       [#;Sum      sum-signal]
+       [#;Function function-signal]
+       [#;App      application-signal])
 
 
       (^template [<tag> <prefix>]
@@ -64,11 +64,11 @@
       (^template [<tag> <prefix>]
         (<tag> idx)
         (format <prefix> (%i (nat-to-int idx)) &;stop-signal))
-      ([#;BoundT bound-signal]
-       [#;ExT ex-signal]
-       [#;VarT var-signal])
+      ([#;Bound bound-signal]
+       [#;Ex ex-signal]
+       [#;Var var-signal])
 
-      (#;NamedT [module name] type*)
+      (#;Named [module name] type*)
       (format named-signal module &;ident-separator name &;stop-signal (encode-type type*))
       )))
 
@@ -80,8 +80,8 @@
                        [(|> (l/wrap <type>) (l;after (l;text <signal>)))]
 
                        [Type    type-signal]
-                       [#;VoidT void-signal]
-                       [#;UnitT unit-signal])
+                       [#;Void void-signal]
+                       [#;Unit unit-signal])
             <combinators> (do-template [<tag> <prefix>]
                             [(do l;Monad<Lexer>
                                [_ (l;text <prefix>)
@@ -89,10 +89,10 @@
                                 right type-decoder]
                                (wrap (<tag> left right)))]
 
-                            [#;ProdT     product-signal]
-                            [#;SumT      sum-signal]
-                            [#;FunctionT function-signal]
-                            [#;AppT      application-signal])
+                            [#;Product     product-signal]
+                            [#;Sum      sum-signal]
+                            [#;Function function-signal]
+                            [#;App      application-signal])
             <abstractions> (do-template [<tag> <prefix>]
                              [(do l;Monad<Lexer>
                                 [_ (l;text <prefix>)
@@ -110,16 +110,16 @@
                               _ (l;text &;stop-signal)]
                              (wrap (<tag> (int-to-nat id))))]
 
-                          [#;BoundT bound-signal]
-                          [#;ExT    ex-signal]
-                          [#;VarT   var-signal])]
+                          [#;Bound bound-signal]
+                          [#;Ex    ex-signal]
+                          [#;Var   var-signal])]
        ($_ l;either
            (do l;Monad<Lexer>
              [_ (l;text host-signal)
               name (l;many' (l;none-of &;stop-signal))
               _ (l;text &;stop-signal)
               params (&;decode-list type-decoder)]
-             (wrap (#;HostT name params)))
+             (wrap (#;Host name params)))
            <simple>
            <combinators>
            <abstractions>
@@ -131,7 +131,7 @@
               name (l;many' (l;none-of &;stop-signal))
               _ (l;text &;stop-signal)
               unnamed type-decoder]
-             (wrap (#;NamedT [module name] unnamed)))
+             (wrap (#;Named [module name] unnamed)))
            )))))
 
 (def: (decode-type input)
-- 
cgit v1.2.3