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 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

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