From d1171dc59edd34418e1b8b4da432c78cd59a9cb4 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 20 May 2017 20:23:32 -0400 Subject: - Simplified the analytic model of tuples into products, and variants into sums. --- new-luxc/source/luxc/analyser/primitive.lux | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'new-luxc/source/luxc/analyser/primitive.lux') diff --git a/new-luxc/source/luxc/analyser/primitive.lux b/new-luxc/source/luxc/analyser/primitive.lux index 48be75c3c..26580a503 100644 --- a/new-luxc/source/luxc/analyser/primitive.lux +++ b/new-luxc/source/luxc/analyser/primitive.lux @@ -31,4 +31,4 @@ [expected macro;expected-type _ (&;within-type-env (TC;check expected Unit))] - (wrap (#la;Tuple (list))))) + (wrap #la;Unit))) -- cgit v1.2.3