diff options
Diffstat (limited to '')
-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)))) |