aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang
diff options
context:
space:
mode:
authorEduardo Julian2017-05-20 20:23:32 -0400
committerEduardo Julian2017-05-20 20:23:32 -0400
commitd1171dc59edd34418e1b8b4da432c78cd59a9cb4 (patch)
treec76bd1a825197069ec380ac81b00a447a2c7fbf3 /new-luxc/source/luxc/lang
parent8f88e4bf4b380e2f09d046fbef05fca452eae62c (diff)
- Simplified the analytic model of tuples into products, and variants into sums.
Diffstat (limited to 'new-luxc/source/luxc/lang')
-rw-r--r--new-luxc/source/luxc/lang/analysis.lux5
1 files changed, 3 insertions, 2 deletions
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)