diff options
| author | Eduardo Julian | 2017-05-20 20:23:32 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-05-20 20:23:32 -0400 |
| commit | d1171dc59edd34418e1b8b4da432c78cd59a9cb4 (patch) | |
| tree | c76bd1a825197069ec380ac81b00a447a2c7fbf3 /new-luxc/source/luxc/lang | |
| parent | 8f88e4bf4b380e2f09d046fbef05fca452eae62c (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.lux | 5 |
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) |