diff options
Diffstat (limited to '')
-rw-r--r-- | new-luxc/source/luxc/lang/analysis/common.lux | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/new-luxc/source/luxc/lang/analysis/common.lux b/new-luxc/source/luxc/lang/analysis/common.lux index 1eb2b8b37..b14524559 100644 --- a/new-luxc/source/luxc/lang/analysis/common.lux +++ b/new-luxc/source/luxc/lang/analysis/common.lux @@ -13,8 +13,7 @@ (def: #export (with-unknown-type action) (All [a] (-> (Meta Analysis) (Meta [Type Analysis]))) (do meta;Monad<Meta> - [[var-id var-type] (&;with-type-env - tc;var) + [[var-id var-type] (&;with-type-env tc;var) analysis (&;with-expected-type var-type action) analysis-type (&;with-type-env |