aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/analyser/primitive.lux
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/source/luxc/analyser/primitive.lux')
-rw-r--r--new-luxc/source/luxc/analyser/primitive.lux16
1 files changed, 8 insertions, 8 deletions
diff --git a/new-luxc/source/luxc/analyser/primitive.lux b/new-luxc/source/luxc/analyser/primitive.lux
index 127e5896c..0023e43e0 100644
--- a/new-luxc/source/luxc/analyser/primitive.lux
+++ b/new-luxc/source/luxc/analyser/primitive.lux
@@ -1,17 +1,17 @@
(;module:
lux
(lux (control monad)
- [macro #+ Monad<Lux>]
- (type ["TC" check]))
+ [meta #+ Monad<Meta>]
+ (meta (type ["TC" check])))
(luxc ["&" base]
(lang ["la" analysis #+ Analysis])))
## [Analysers]
(do-template [<name> <type> <tag>]
[(def: #export (<name> value)
- (-> <type> (Lux Analysis))
- (do Monad<Lux>
- [expected macro;expected-type
+ (-> <type> (Meta Analysis))
+ (do Monad<Meta>
+ [expected meta;expected-type
_ (&;with-type-env
(TC;check expected <type>))]
(wrap (<tag> value))))]
@@ -25,9 +25,9 @@
)
(def: #export analyse-unit
- (Lux Analysis)
- (do Monad<Lux>
- [expected macro;expected-type
+ (Meta Analysis)
+ (do Monad<Meta>
+ [expected meta;expected-type
_ (&;with-type-env
(TC;check expected Unit))]
(wrap #la;Unit)))