From 76d209d7b33f713259bd9ddb453d571f814005c9 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 20 May 2017 15:39:29 -0400
Subject: - Some refactoring.

---
 new-luxc/source/luxc/lang/analysis.lux  | 3 +--
 new-luxc/source/luxc/lang/pattern.lux   | 3 +--
 new-luxc/source/luxc/lang/synthesis.lux | 3 +--
 3 files changed, 3 insertions(+), 6 deletions(-)

(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 d9064604a..8cfc9b108 100644
--- a/new-luxc/source/luxc/lang/analysis.lux
+++ b/new-luxc/source/luxc/lang/analysis.lux
@@ -4,7 +4,6 @@
   (.. ["lp" pattern]))
 
 (type: #export #rec Analysis
-  #Unit
   (#Bool Bool)
   (#Nat Nat)
   (#Int Int)
@@ -12,7 +11,7 @@
   (#Real Real)
   (#Char Char)
   (#Text Text)
-  (#Variant Nat Bool Analysis)
+  (#Variant Nat Nat Analysis)
   (#Tuple (List Analysis))
   (#Case Analysis (List [lp;Pattern Analysis]))
   (#Function Scope Analysis)
diff --git a/new-luxc/source/luxc/lang/pattern.lux b/new-luxc/source/luxc/lang/pattern.lux
index c422ea419..0b51e6284 100644
--- a/new-luxc/source/luxc/lang/pattern.lux
+++ b/new-luxc/source/luxc/lang/pattern.lux
@@ -3,7 +3,6 @@
 
 (type: #export #rec Pattern
   (#Bind Nat)
-  #Unit
   (#Bool Bool)
   (#Nat Nat)
   (#Int Int)
@@ -12,4 +11,4 @@
   (#Char Char)
   (#Text Text)
   (#Tuple (List Pattern))
-  (#Variant [Nat Nat] Pattern))
+  (#Variant Nat Nat Pattern))
diff --git a/new-luxc/source/luxc/lang/synthesis.lux b/new-luxc/source/luxc/lang/synthesis.lux
index 3eabd1d62..1edf0f1a0 100644
--- a/new-luxc/source/luxc/lang/synthesis.lux
+++ b/new-luxc/source/luxc/lang/synthesis.lux
@@ -3,7 +3,6 @@
   (.. ["lp" pattern]))
 
 (type: #export #rec Synthesis
-  #Unit
   (#Bool Bool)
   (#Nat Nat)
   (#Int Int)
@@ -11,7 +10,7 @@
   (#Real Real)
   (#Char Char)
   (#Text Text)
-  (#Variant Nat Bool Synthesis)
+  (#Variant Nat Nat Synthesis)
   (#Tuple (List Synthesis))
   (#Case (List [lp;Pattern Synthesis]))
   (#Function Scope Synthesis)
-- 
cgit v1.2.3