aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang
diff options
context:
space:
mode:
authorEduardo Julian2017-05-30 19:42:20 -0400
committerEduardo Julian2017-05-30 19:42:20 -0400
commitbbf78668e9ae2fb3deb78217ae97791df89ada56 (patch)
treeb6767b688d87c820d80fc8c54b0a352142d0fcbe /new-luxc/source/luxc/lang
parent953f49d5a46209f2d75e67b50edea378261108cd (diff)
- Some refactoring.
Diffstat (limited to '')
-rw-r--r--new-luxc/source/luxc/lang/analysis.lux18
-rw-r--r--new-luxc/source/luxc/lang/pattern.lux14
2 files changed, 14 insertions, 18 deletions
diff --git a/new-luxc/source/luxc/lang/analysis.lux b/new-luxc/source/luxc/lang/analysis.lux
index 3cd63b65f..b96bd9ba2 100644
--- a/new-luxc/source/luxc/lang/analysis.lux
+++ b/new-luxc/source/luxc/lang/analysis.lux
@@ -1,7 +1,17 @@
(;module:
- lux
- (lux (data [product]))
- (.. ["lp" pattern]))
+ lux)
+
+(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))
(type: #export #rec Analysis
#Unit
@@ -14,7 +24,7 @@
(#Text Text)
(#Sum (Either Analysis Analysis))
(#Product Analysis Analysis)
- (#Case Analysis (List [lp;Pattern Analysis]))
+ (#Case Analysis (List [Pattern Analysis]))
(#Function Scope Analysis)
(#Apply Analysis Analysis)
(#Procedure Text (List Analysis))
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))