diff options
author | Eduardo Julian | 2017-11-13 23:45:12 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-11-13 23:45:12 -0400 |
commit | 530a14bfe7714f94babdb34c237b88321408a685 (patch) | |
tree | e91f3059694f707a8b70c4b4adac2e3b6ec1553b /new-luxc/source/luxc/lang/analysis/common.lux | |
parent | 70005a6dee1eba3e3f5694aa4903e95988dcaa3d (diff) |
- More refactoring.
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 |