diff options
| author | Eduardo Julian | 2017-07-02 15:52:36 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-07-02 15:52:36 -0400 |
| commit | c0acd75d41ed0e927ec318d4b12c0ec4f5f2e1d3 (patch) | |
| tree | 2dce468eaee847cfb6ab51cd21b7bebffb3b2478 /new-luxc/source/luxc/lang/analysis.lux | |
| parent | 38d5f05977c54770195129df5ede2c91be4a32af (diff) | |
- Adjusted compiler to the new lack of Char type.
- WIP: PM/case synthesis.
Diffstat (limited to 'new-luxc/source/luxc/lang/analysis.lux')
| -rw-r--r-- | new-luxc/source/luxc/lang/analysis.lux | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/new-luxc/source/luxc/lang/analysis.lux b/new-luxc/source/luxc/lang/analysis.lux index 2e122a526..308296086 100644 --- a/new-luxc/source/luxc/lang/analysis.lux +++ b/new-luxc/source/luxc/lang/analysis.lux @@ -4,16 +4,15 @@ (data (coll [list "L/" Fold<List>])))) (type: #export #rec Pattern - (#BindP Nat) (#BoolP Bool) (#NatP Nat) (#IntP Int) (#DegP Deg) (#RealP Real) - (#CharP Char) (#TextP Text) (#TupleP (List Pattern)) - (#VariantP Nat Nat Pattern)) + (#VariantP Nat Nat Pattern) + (#BindP Nat)) (type: #export #rec Analysis #Unit @@ -22,7 +21,6 @@ (#Int Int) (#Deg Deg) (#Real Real) - (#Char Char) (#Text Text) (#Sum (Either Analysis Analysis)) (#Product Analysis Analysis) |