From ca297162d5416a8c7b8af5f27757900d82d3ad03 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 12 Nov 2017 23:49:34 -0400
Subject: - Fixed some bugs. - Improved error reporting. - Optimized
 pattern-matching a bit.

---
 new-luxc/source/luxc/lang/analysis/type.lux | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'new-luxc/source/luxc/lang/analysis/type.lux')

diff --git a/new-luxc/source/luxc/lang/analysis/type.lux b/new-luxc/source/luxc/lang/analysis/type.lux
index d0b038d93..74bb712f4 100644
--- a/new-luxc/source/luxc/lang/analysis/type.lux
+++ b/new-luxc/source/luxc/lang/analysis/type.lux
@@ -12,20 +12,20 @@
 (def: #export (analyse-check analyse eval type value)
   (-> &;Analyser &;Eval Code Code (Meta Analysis))
   (do Monad<Meta>
-    [actual (eval Type type)
-     #let [actual (:! Type actual)]
-     expected meta;expected-type
+    [actualT (eval Type type)
+     #let [actualT (:! Type actualT)]
+     expectedT meta;expected-type
      _ (&;with-type-env
-         (TC;check expected actual))]
-    (&;with-expected-type actual
+         (TC;check expectedT actualT))]
+    (&;with-expected-type actualT
       (analyse value))))
 
 (def: #export (analyse-coerce analyse eval type value)
   (-> &;Analyser &;Eval Code Code (Meta Analysis))
   (do Monad<Meta>
-    [actual (eval Type type)
-     expected meta;expected-type
+    [actualT (eval Type type)
+     expectedT meta;expected-type
      _ (&;with-type-env
-         (TC;check expected (:! Type actual)))]
+         (TC;check expectedT (:! Type actualT)))]
     (&;with-expected-type Top
       (analyse value))))
-- 
cgit v1.2.3