From 953f49d5a46209f2d75e67b50edea378261108cd Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 29 May 2017 22:05:57 -0400
Subject: - Fixes for pattern-matching (case) analysis. - Small refactorings. -
 Improved common procedures analysis. - Can now handle tagged structures
 (variants & records). - Tests for pattern-matching, functions (definition &
 application), and common procedures.

---
 new-luxc/source/luxc/lang/analysis.lux  | 4 ++--
 new-luxc/source/luxc/lang/synthesis.lux | 8 +++++---
 2 files changed, 7 insertions(+), 5 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 4e823276d..3cd63b65f 100644
--- a/new-luxc/source/luxc/lang/analysis.lux
+++ b/new-luxc/source/luxc/lang/analysis.lux
@@ -4,6 +4,7 @@
   (.. ["lp" pattern]))
 
 (type: #export #rec Analysis
+  #Unit
   (#Bool Bool)
   (#Nat Nat)
   (#Int Int)
@@ -11,12 +12,11 @@
   (#Real Real)
   (#Char Char)
   (#Text Text)
-  #Unit
   (#Sum (Either Analysis Analysis))
   (#Product Analysis Analysis)
   (#Case Analysis (List [lp;Pattern Analysis]))
   (#Function Scope Analysis)
   (#Apply Analysis Analysis)
-  (#Procedure Ident (List Analysis))
+  (#Procedure Text (List Analysis))
   (#Relative Ref)
   (#Absolute Ident))
diff --git a/new-luxc/source/luxc/lang/synthesis.lux b/new-luxc/source/luxc/lang/synthesis.lux
index 1edf0f1a0..491891600 100644
--- a/new-luxc/source/luxc/lang/synthesis.lux
+++ b/new-luxc/source/luxc/lang/synthesis.lux
@@ -3,6 +3,7 @@
   (.. ["lp" pattern]))
 
 (type: #export #rec Synthesis
+  #Unit
   (#Bool Bool)
   (#Nat Nat)
   (#Int Int)
@@ -10,11 +11,12 @@
   (#Real Real)
   (#Char Char)
   (#Text Text)
-  (#Variant Nat Nat Synthesis)
+  (#Variant Nat Bool Synthesis)
   (#Tuple (List Synthesis))
   (#Case (List [lp;Pattern Synthesis]))
-  (#Function Scope Synthesis)
+  (#Function Nat Scope Synthesis)
   (#Call Synthesis (List Synthesis))
-  (#Procedure Ident (List Synthesis))
+  (#Recur Nat (List Synthesis))
+  (#Procedure Text (List Synthesis))
   (#Relative Ref)
   (#Absolute Ident))
-- 
cgit v1.2.3