From 530a14bfe7714f94babdb34c237b88321408a685 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 13 Nov 2017 23:45:12 -0400 Subject: - More refactoring. --- new-luxc/source/luxc/lang/analysis/common.lux | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'new-luxc/source/luxc/lang/analysis/common.lux') 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 - [[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 -- cgit v1.2.3