From 74a835634fc9ee5457f3cc7109af069dad9f2d2f Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 11 Oct 2017 18:57:44 -0400
Subject: - Migrated new-luxc to latest version of stdlib. - Some refactoring.

---
 new-luxc/source/luxc/analyser/reference.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'new-luxc/source/luxc/analyser/reference.lux')

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
-- 
cgit v1.2.3