From b08f7d83a591be770af64b4c9ccd59f3306689e8 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 13 Nov 2017 21:13:00 -0400
Subject: - Improved handling of type variables.

---
 new-luxc/source/luxc/lang/analysis/type.lux | 8 ++------
 1 file changed, 2 insertions(+), 6 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 0a8abd76b..89b25334f 100644
--- a/new-luxc/source/luxc/lang/analysis/type.lux
+++ b/new-luxc/source/luxc/lang/analysis/type.lux
@@ -14,9 +14,7 @@
   (do meta;Monad<Meta>
     [actualT (eval Type type)
      #let [actualT (:! Type actualT)]
-     expectedT meta;expected-type
-     _ (&;with-type-env
-         (tc;check expectedT actualT))]
+     _ (&;infer actualT)]
     (&;with-expected-type actualT
       (analyse value))))
 
@@ -24,8 +22,6 @@
   (-> &;Analyser &;Eval Code Code (Meta Analysis))
   (do meta;Monad<Meta>
     [actualT (eval Type type)
-     expectedT meta;expected-type
-     _ (&;with-type-env
-         (tc;check expectedT (:! Type actualT)))]
+     _ (&;infer (:! Type actualT))]
     (&;with-expected-type Top
       (analyse value))))
-- 
cgit v1.2.3