From 190b512a822fefbb9c66271feb189cc6ccebaf85 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 15 Nov 2017 23:22:30 -0400
Subject: - Re-named "lux/meta" to to "lux/macro".
---
new-luxc/source/luxc/lang/analysis/type.lux | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
(limited to 'new-luxc/source/luxc/lang/analysis/type.lux')
diff --git a/new-luxc/source/luxc/lang/analysis/type.lux b/new-luxc/source/luxc/lang/analysis/type.lux
index c91fdab38..f85608e19 100644
--- a/new-luxc/source/luxc/lang/analysis/type.lux
+++ b/new-luxc/source/luxc/lang/analysis/type.lux
@@ -1,7 +1,7 @@
(;module:
lux
(lux (control monad)
- [meta]
+ [macro]
(lang (type ["tc" check])))
(luxc ["&" lang]
(lang ["la" analysis #+ Analysis])))
@@ -11,7 +11,7 @@
## computing Lux type values.
(def: #export (analyse-check analyse eval type value)
(-> &;Analyser &;Eval Code Code (Meta Analysis))
- (do meta;Monad
+ (do macro;Monad
[actualT (eval Type type)
#let [actualT (:! Type actualT)]
_ (&;infer actualT)]
@@ -20,7 +20,7 @@
(def: #export (analyse-coerce analyse eval type value)
(-> &;Analyser &;Eval Code Code (Meta Analysis))
- (do meta;Monad
+ (do macro;Monad
[actualT (eval Type type)
_ (&;infer (:! Type actualT))]
(&;with-type Top
--
cgit v1.2.3