From bbf78668e9ae2fb3deb78217ae97791df89ada56 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 30 May 2017 19:42:20 -0400
Subject: - Some refactoring.

---
 new-luxc/source/luxc/lang/analysis.lux | 18 ++++++++++++++----
 new-luxc/source/luxc/lang/pattern.lux  | 14 --------------
 2 files changed, 14 insertions(+), 18 deletions(-)
 delete mode 100644 new-luxc/source/luxc/lang/pattern.lux

(limited to 'new-luxc/source/luxc/lang')

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))
-- 
cgit v1.2.3