aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/analyser/common.lux
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/source/luxc/analyser/common.lux')
-rw-r--r--new-luxc/source/luxc/analyser/common.lux16
1 files changed, 8 insertions, 8 deletions
diff --git a/new-luxc/source/luxc/analyser/common.lux b/new-luxc/source/luxc/analyser/common.lux
index b9142713c..4cbf5aedf 100644
--- a/new-luxc/source/luxc/analyser/common.lux
+++ b/new-luxc/source/luxc/analyser/common.lux
@@ -4,15 +4,15 @@
pipe)
(data text/format
[product])
- [macro #+ Monad<Lux>]
- [type]
- (type ["tc" check]))
+ [meta #+ Monad<Meta>]
+ (meta [type]
+ (type ["tc" check])))
(luxc ["&" base]
(lang analysis)))
(def: #export (with-unknown-type action)
- (All [a] (-> (Lux Analysis) (Lux [Type Analysis])))
- (do Monad<Lux>
+ (All [a] (-> (Meta Analysis) (Meta [Type Analysis])))
+ (do Monad<Meta>
[[var-id var-type] (&;with-type-env
tc;create)
analysis (&;with-expected-type var-type
@@ -24,8 +24,8 @@
(wrap [analysis-type analysis])))
(def: #export (with-var body)
- (All [a] (-> (-> [Nat Type] (Lux a)) (Lux a)))
- (do Monad<Lux>
+ (All [a] (-> (-> [Nat Type] (Meta a)) (Meta a)))
+ (do Monad<Meta>
[[id var] (&;with-type-env
tc;create)
output (body [id var])
@@ -34,7 +34,7 @@
(wrap output)))
(def: #export (variant-out-of-bounds-error type size tag)
- (All [a] (-> Type Nat Nat (Lux a)))
+ (All [a] (-> Type Nat Nat (Meta a)))
(&;fail (format "Trying to create variant with tag beyond type's limitations." "\n"
" Tag: " (%i (nat-to-int tag)) "\n"
"Size: " (%i (nat-to-int size)) "\n"