diff options
| author | Eduardo Julian | 2020-09-16 05:54:25 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-09-16 05:54:25 -0400 |
| commit | c10e3c13866ef25bab020ec597fd11aa8d01c862 (patch) | |
| tree | 02fbc9123f93eb3768423cbe4f256f988215cf17 /stdlib/source/lux/tool | |
| parent | b1f0014dd9080c6643ecd73db5233fbdff032419 (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.lux | 4 |
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)))) |