aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/module
diff options
context:
space:
mode:
authorEduardo Julian2017-05-07 12:17:27 -0400
committerEduardo Julian2017-05-07 12:17:27 -0400
commit4744552df1f1285d600a13ed0a3cf8be2f336030 (patch)
tree69d4d2f1a8766b1e961a01caa00a26617f35246a /new-luxc/source/luxc/module
parent42848dd5a3b2e1d02752201343e18f075a733645 (diff)
- Removed "T" suffix from Type's tags.
Diffstat (limited to 'new-luxc/source/luxc/module')
-rw-r--r--new-luxc/source/luxc/module/descriptor/type.lux44
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)