From c0acd75d41ed0e927ec318d4b12c0ec4f5f2e1d3 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 2 Jul 2017 15:52:36 -0400
Subject: - Adjusted compiler to the new lack of Char type. - WIP: PM/case
 synthesis.

---
 new-luxc/source/luxc/lang/analysis.lux  |  6 ++----
 new-luxc/source/luxc/lang/synthesis.lux | 10 ++++------
 2 files changed, 6 insertions(+), 10 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 2e122a526..308296086 100644
--- a/new-luxc/source/luxc/lang/analysis.lux
+++ b/new-luxc/source/luxc/lang/analysis.lux
@@ -4,16 +4,15 @@
        (data (coll [list "L/" Fold<List>]))))
 
 (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))
+  (#VariantP Nat Nat Pattern)
+  (#BindP Nat))
 
 (type: #export #rec Analysis
   #Unit
@@ -22,7 +21,6 @@
   (#Int Int)
   (#Deg Deg)
   (#Real Real)
-  (#Char Char)
   (#Text Text)
   (#Sum (Either Analysis Analysis))
   (#Product Analysis Analysis)
diff --git a/new-luxc/source/luxc/lang/synthesis.lux b/new-luxc/source/luxc/lang/synthesis.lux
index b86f49fb2..ad31d0138 100644
--- a/new-luxc/source/luxc/lang/synthesis.lux
+++ b/new-luxc/source/luxc/lang/synthesis.lux
@@ -6,17 +6,16 @@
 (def: #export Variable Int)
 
 (type: #export (Path' s)
-  #PopP
-  (#BindP Nat)
+  #UnitP
   (#BoolP Bool)
   (#NatP Nat)
   (#IntP Int)
   (#DegP Deg)
   (#RealP Real)
-  (#CharP Char)
   (#TextP Text)
-  (#VariantP (Either Nat Nat))
-  (#TupleP (Either Nat Nat))
+  (#VariantP (Either Nat Nat) (Path' s))
+  (#TupleP (Either Nat Nat) (Path' s))
+  (#BindP Nat)
   (#AltP (Path' s) (Path' s))
   (#SeqP (Path' s) (Path' s))
   (#ExecP s))
@@ -28,7 +27,6 @@
   (#Int Int)
   (#Deg Deg)
   (#Real Real)
-  (#Char Char)
   (#Text Text)
   (#Variant Nat Bool Synthesis)
   (#Tuple (List Synthesis))
-- 
cgit v1.2.3