aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang
diff options
context:
space:
mode:
authorEduardo Julian2017-05-15 22:19:14 -0400
committerEduardo Julian2017-05-15 22:19:14 -0400
commit824482b2e8b13e42a524a5e4945ea3e172395c9e (patch)
tree959bb7684461318b1026cd773ae29ac76d426054 /new-luxc/source/luxc/lang
parent04c0a8d2fceae628099673e62527fc48e2afd7e7 (diff)
WIP
- Simplified the Analysis type, by removing all meta-data. - Added analysis of function calls. - Added analysis of common Lux procedures. - Lots of refactoring.
Diffstat (limited to 'new-luxc/source/luxc/lang')
-rw-r--r--new-luxc/source/luxc/lang/analysis.lux14
1 files changed, 3 insertions, 11 deletions
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))