diff options
author | Eduardo Julian | 2017-05-30 19:42:20 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-05-30 19:42:20 -0400 |
commit | bbf78668e9ae2fb3deb78217ae97791df89ada56 (patch) | |
tree | b6767b688d87c820d80fc8c54b0a352142d0fcbe /new-luxc/source/luxc/lang/pattern.lux | |
parent | 953f49d5a46209f2d75e67b50edea378261108cd (diff) |
- Some refactoring.
Diffstat (limited to '')
-rw-r--r-- | new-luxc/source/luxc/lang/pattern.lux | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/new-luxc/source/luxc/lang/pattern.lux b/new-luxc/source/luxc/lang/pattern.lux deleted file mode 100644 index 0b51e6284..000000000 --- a/new-luxc/source/luxc/lang/pattern.lux +++ /dev/null @@ -1,14 +0,0 @@ -(;module: - lux) - -(type: #export #rec Pattern - (#Bind Nat) - (#Bool Bool) - (#Nat Nat) - (#Int Int) - (#Deg Deg) - (#Real Real) - (#Char Char) - (#Text Text) - (#Tuple (List Pattern)) - (#Variant Nat Nat Pattern)) |