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/lang/analysis.lux | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'new-luxc/source/luxc/lang/analysis.lux')

diff --git a/new-luxc/source/luxc/lang/analysis.lux b/new-luxc/source/luxc/lang/analysis.lux
index 8cfc9b108..4e823276d 100644
--- a/new-luxc/source/luxc/lang/analysis.lux
+++ b/new-luxc/source/luxc/lang/analysis.lux
@@ -11,8 +11,9 @@
   (#Real Real)
   (#Char Char)
   (#Text Text)
-  (#Variant Nat Nat Analysis)
-  (#Tuple (List Analysis))
+  #Unit
+  (#Sum (Either Analysis Analysis))
+  (#Product Analysis Analysis)
   (#Case Analysis (List [lp;Pattern Analysis]))
   (#Function Scope Analysis)
   (#Apply Analysis Analysis)
-- 
cgit v1.2.3