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
[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
[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