diff options
Diffstat (limited to '')
-rw-r--r-- | new-luxc/source/luxc/analyser.lux | 2 | ||||
-rw-r--r-- | new-luxc/source/luxc/analyser/reference.lux | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/new-luxc/source/luxc/analyser.lux b/new-luxc/source/luxc/analyser.lux index 799e2365d..6f9eda064 100644 --- a/new-luxc/source/luxc/analyser.lux +++ b/new-luxc/source/luxc/analyser.lux @@ -110,7 +110,7 @@ [[funcT =func] (&&common;with-unknown-type (analyse func))] (case =func - (#la;Absolute def-name) + (#la;Definition def-name) (do @ [[def-type def-anns def-value] (macro;find-def def-name)] (if (macro;macro? def-anns) diff --git a/new-luxc/source/luxc/analyser/reference.lux b/new-luxc/source/luxc/analyser/reference.lux index ea0505c3b..5f09ee774 100644 --- a/new-luxc/source/luxc/analyser/reference.lux +++ b/new-luxc/source/luxc/analyser/reference.lux @@ -15,7 +15,7 @@ expected macro;expected-type _ (&;within-type-env (TC;check expected actual))] - (wrap (#la;Absolute def-name)))) + (wrap (#la;Definition def-name)))) (def: (analyse-variable var-name) (-> Text (Lux (Maybe Analysis))) @@ -27,7 +27,7 @@ [expected macro;expected-type _ (&;within-type-env (TC;check expected actual))] - (wrap (#;Some (#la;Relative ref)))) + (wrap (#;Some (#la;Variable ref)))) #;None (wrap #;None)))) |