diff options
author | Eduardo Julian | 2017-05-15 22:19:14 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-05-15 22:19:14 -0400 |
commit | 824482b2e8b13e42a524a5e4945ea3e172395c9e (patch) | |
tree | 959bb7684461318b1026cd773ae29ac76d426054 /new-luxc/source/luxc/lang/analysis.lux | |
parent | 04c0a8d2fceae628099673e62527fc48e2afd7e7 (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 '')
-rw-r--r-- | new-luxc/source/luxc/lang/analysis.lux | 14 |
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)) |