diff options
Diffstat (limited to 'new-luxc/source/luxc/lang/analysis.lux')
| -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)) |