aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/analyser
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/source/luxc/analyser')
-rw-r--r--new-luxc/source/luxc/analyser/common.lux6
-rw-r--r--new-luxc/source/luxc/analyser/lux.lux6
2 files changed, 6 insertions, 6 deletions
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)