- Removed "T" suffix from Type's tags.

1 files changed, 22 insertions, 22 deletions

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)