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/synthesis.lux | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'new-luxc/source/luxc/lang/synthesis.lux')

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