diff options
author | Eduardo Julian | 2017-11-13 21:13:00 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-11-13 21:13:00 -0400 |
commit | b08f7d83a591be770af64b4c9ccd59f3306689e8 (patch) | |
tree | 443c68c07a4b45a5d978347c2747922722242ec4 /new-luxc/source/luxc/lang/analysis/type.lux | |
parent | 2a3946e713821880ecc47580e754315349f2fe73 (diff) |
- Improved handling of type variables.
Diffstat (limited to 'new-luxc/source/luxc/lang/analysis/type.lux')
-rw-r--r-- | new-luxc/source/luxc/lang/analysis/type.lux | 8 |
1 files changed, 2 insertions, 6 deletions
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)))) |