From 094c0904470f85ff0d63c788e07ce1ecf355577e Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 15 Nov 2017 20:35:56 -0400
Subject: - Moved type-cleaning to lux/meta/type/check.

---
 new-luxc/source/luxc/lang/analysis/common.lux | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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

diff --git a/new-luxc/source/luxc/lang/analysis/common.lux b/new-luxc/source/luxc/lang/analysis/common.lux
index 5e618d64c..2f3e3a37d 100644
--- a/new-luxc/source/luxc/lang/analysis/common.lux
+++ b/new-luxc/source/luxc/lang/analysis/common.lux
@@ -15,8 +15,9 @@
   (do meta;Monad<Meta>
     [[_ varT] (&;with-type-env tc;var)
      analysis (&;with-expected-type varT
-                action)]
-    (wrap [varT analysis])))
+                action)
+     knownT (&;with-type-env (tc;clean varT))]
+    (wrap [knownT analysis])))
 
 (exception: #export Variant-Tag-Out-Of-Bounds)
 
-- 
cgit v1.2.3