aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/analyser/reference.lux
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/source/luxc/analyser/reference.lux')
-rw-r--r--new-luxc/source/luxc/analyser/reference.lux8
1 files changed, 4 insertions, 4 deletions
diff --git a/new-luxc/source/luxc/analyser/reference.lux b/new-luxc/source/luxc/analyser/reference.lux
index d664ac9d0..9b051bb79 100644
--- a/new-luxc/source/luxc/analyser/reference.lux
+++ b/new-luxc/source/luxc/analyser/reference.lux
@@ -13,8 +13,8 @@
(do Monad<Lux>
[actual (macro;find-def-type def-name)
expected macro;expected-type
- _ (&;within-type-env
- (TC;check expected actual))]
+ _ (&;with-type-env
+ (TC;check expected actual))]
(wrap (#la;Definition def-name))))
(def: (analyse-variable var-name)
@@ -25,8 +25,8 @@
(#;Some [actual ref])
(do @
[expected macro;expected-type
- _ (&;within-type-env
- (TC;check expected actual))]
+ _ (&;with-type-env
+ (TC;check expected actual))]
(wrap (#;Some (#la;Variable ref))))
#;None