From 824482b2e8b13e42a524a5e4945ea3e172395c9e Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 15 May 2017 22:19:14 -0400
Subject: WIP - Simplified the Analysis type, by removing all meta-data. -
 Added analysis of function calls. - Added analysis of common Lux procedures.
 - Lots of refactoring.

---
 new-luxc/source/luxc/lang/analysis.lux | 14 +++-----------
 1 file changed, 3 insertions(+), 11 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 092b561f0..71073f901 100644
--- a/new-luxc/source/luxc/lang/analysis.lux
+++ b/new-luxc/source/luxc/lang/analysis.lux
@@ -3,7 +3,7 @@
   (lux (data [product]))
   (.. ["lp" pattern]))
 
-(type: #export (Analysis' Analysis)
+(type: #export #rec Analysis
   #Unit
   (#Bool Bool)
   (#Nat Nat)
@@ -16,15 +16,7 @@
   (#Tuple (List Analysis))
   (#Case (List [lp;Pattern Analysis]))
   (#Function Scope Analysis)
-  (#Call Analysis (List Analysis))
-  (#Procedure Text (List Analysis))
+  (#Apply Analysis Analysis)
+  (#Procedure Ident (List Analysis))
   (#Relative Ref)
   (#Absolute Ident))
-
-(type: #export #rec Analysis
-  (Meta [Type Cursor]
-        (Analysis' Analysis)))
-
-(def: #export (get-type analysis)
-  (-> Analysis Type)
-  (|> analysis product;left product;left))
-- 
cgit v1.2.3