diff options
| author | Eduardo Julian | 2017-05-09 17:48:27 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-05-09 17:48:27 -0400 |
| commit | dd5220e13b03c8f85972feac535a34ef64525222 (patch) | |
| tree | 2ac08a118eaa63f11c2397a08eaca74d199f2d1e /new-luxc/source/luxc/lang/pattern.lux | |
| parent | 7b74c1258f345d576b0c798303b0ed28f1734368 (diff) | |
- Added tests for some kinds of analysis.
- WIP: Porting more code.
Diffstat (limited to '')
| -rw-r--r-- | new-luxc/source/luxc/lang/pattern.lux | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/new-luxc/source/luxc/lang/pattern.lux b/new-luxc/source/luxc/lang/pattern.lux new file mode 100644 index 000000000..a0077133b --- /dev/null +++ b/new-luxc/source/luxc/lang/pattern.lux @@ -0,0 +1,15 @@ +(;module: + lux) + +(type: #export #rec Pattern + (#Ref Nat) + #Unit + (#Bool Bool) + (#Nat Nat) + (#Int Int) + (#Deg Deg) + (#Real Real) + (#Char Char) + (#Text Text) + (#Tuple (List Pattern)) + (#Variant [Nat Nat] Pattern)) |