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/base.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/new-luxc/source/luxc/base.lux b/new-luxc/source/luxc/base.lux
index c0108da7e..fe57cc1dd 100644
--- a/new-luxc/source/luxc/base.lux
+++ b/new-luxc/source/luxc/base.lux
@@ -57,7 +57,7 @@
       (#R;Error error)
       (#R;Error error))))
 
-(def: #export (within-type-env action)
+(def: #export (with-type-env action)
   (All [a] (-> (tc;Check a) (Lux a)))
   (function [compiler]
     (case (action (get@ #;type-context compiler))
@@ -72,8 +72,8 @@
   (-> Type (Lux Unit))
   (do macro;Monad<Lux>
     [expectedT macro;expected-type]
-    (within-type-env
-     (tc;check expectedT actualT))))
+    (with-type-env
+      (tc;check expectedT actualT))))
 
 (def: #export (pl-get key table)
   (All [a] (-> Text (List [Text a]) (Maybe a)))
-- 
cgit v1.2.3