aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/tool
diff options
context:
space:
mode:
authorEduardo Julian2020-09-16 05:54:25 -0400
committerEduardo Julian2020-09-16 05:54:25 -0400
commitc10e3c13866ef25bab020ec597fd11aa8d01c862 (patch)
tree02fbc9123f93eb3768423cbe4f256f988215cf17 /stdlib/source/lux/tool
parentb1f0014dd9080c6643ecd73db5233fbdff032419 (diff)
Changed the format of project descriptor files.
Diffstat (limited to 'stdlib/source/lux/tool')
-rw-r--r--stdlib/source/lux/tool/compiler/language/lux/phase/analysis/type.lux4
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/analysis/type.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/analysis/type.lux
index 1de24a1c0..5d5aa835d 100644
--- a/stdlib/source/lux/tool/compiler/language/lux/phase/analysis/type.lux
+++ b/stdlib/source/lux/tool/compiler/language/lux/phase/analysis/type.lux
@@ -7,7 +7,7 @@
["." try]]
[type
["." check (#+ Check)]]
- ["." macro]]
+ ["." meta]]
["." /// #_
["#." extension]
[//
@@ -39,7 +39,7 @@
(def: #export (infer actualT)
(-> Type (Operation Any))
(do ///.monad
- [expectedT (///extension.lift macro.expected-type)]
+ [expectedT (///extension.lift meta.expected-type)]
(with-env
(check.check expectedT actualT))))