diff options
| author | Eduardo Julian | 2020-10-14 21:48:00 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-10-14 21:48:00 -0400 |
| commit | 440608bc32916329c9f3c0f2bd9a8d1152ed5da8 (patch) | |
| tree | e27ae0f41a437c24275293b151b23e63bf938392 /stdlib/source/lux/tool | |
| parent | 00d5ccbc043960037f644d4ff09b6a46fd0093d0 (diff) | |
Gave the Location type its own module.
Diffstat (limited to 'stdlib/source/lux/tool')
3 files changed, 9 insertions, 6 deletions
diff --git a/stdlib/source/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/lux/tool/compiler/language/lux/analysis.lux index 96296a39a..18189b405 100644 --- a/stdlib/source/lux/tool/compiler/language/lux/analysis.lux +++ b/stdlib/source/lux/tool/compiler/language/lux/analysis.lux @@ -20,7 +20,9 @@ ["." text ("#@." equivalence) ["%" format (#+ Format format)]] [collection - ["." list ("#@." functor fold)]]]] + ["." list ("#@." functor fold)]]] + [meta + ["." location]]] [// [phase ["." extension (#+ Extension)]] @@ -522,7 +524,7 @@ (def: dummy-source Source - [.dummy-location 0 ""]) + [location.dummy 0 ""]) (def: type-context Type-Context @@ -540,7 +542,7 @@ (-> Info Lux) {#.info info #.source ..dummy-source - #.location .dummy-location + #.location location.dummy #.current-module #.None #.modules (list) #.scopes (list) diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/analysis.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/analysis.lux index e490ba168..41c99534a 100644 --- a/stdlib/source/lux/tool/compiler/language/lux/phase/analysis.lux +++ b/stdlib/source/lux/tool/compiler/language/lux/phase/analysis.lux @@ -7,7 +7,8 @@ [data [text ["%" format (#+ format)]]] - ["." meta]] + ["." meta + ["." location]]] ["." / #_ ["#." type] ["#." primitive] @@ -128,7 +129,7 @@ (/function.apply compile argsC+ functionT functionA archive functionC))) _ - (//.throw unrecognized-syntax [.dummy-location code']))) + (//.throw unrecognized-syntax [location.dummy code']))) (def: #export (phase expander) (-> Expander Phase) diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/analysis/inference.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/analysis/inference.lux index c0bf41a7e..f05b0e1ba 100644 --- a/stdlib/source/lux/tool/compiler/language/lux/phase/analysis/inference.lux +++ b/stdlib/source/lux/tool/compiler/language/lux/phase/analysis/inference.lux @@ -88,7 +88,7 @@ (def: (named-type location id) (-> Location Nat Type) - (let [name (format "{New Type @ " (.location-description location) " " (%.nat id) "}")] + (let [name (format "{New Type " (format.location location) " " (%.nat id) "}")] (#.Primitive name (list)))) (def: new-named-type |