aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/analysis
diff options
context:
space:
mode:
authorEduardo Julian2017-11-15 20:35:56 -0400
committerEduardo Julian2017-11-15 20:35:56 -0400
commit094c0904470f85ff0d63c788e07ce1ecf355577e (patch)
treea55c642d0ae834e79ddd8549ff2bc5c4c39e4b30 /new-luxc/source/luxc/lang/analysis
parentaf1417bf28529a8fec06901d586b60b41bba8f76 (diff)
- Moved type-cleaning to lux/meta/type/check.
Diffstat (limited to 'new-luxc/source/luxc/lang/analysis')
-rw-r--r--new-luxc/source/luxc/lang/analysis/common.lux5
1 files changed, 3 insertions, 2 deletions
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)