diff options
Diffstat (limited to 'new-luxc/source/luxc/lang')
| -rw-r--r-- | new-luxc/source/luxc/lang/synthesis.lux | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/new-luxc/source/luxc/lang/synthesis.lux b/new-luxc/source/luxc/lang/synthesis.lux index f5d3f9c33..b86f49fb2 100644 --- a/new-luxc/source/luxc/lang/synthesis.lux +++ b/new-luxc/source/luxc/lang/synthesis.lux @@ -1,6 +1,8 @@ (;module: lux) +(def: #export Arity Nat) +(def: #export Register Nat) (def: #export Variable Int) (type: #export (Path' s) @@ -31,14 +33,14 @@ (#Variant Nat Bool Synthesis) (#Tuple (List Synthesis)) (#Case Synthesis (Path' Synthesis)) - (#Function Nat (List Variable) Synthesis) + (#Function Arity (List Variable) Synthesis) (#Call Synthesis (List Synthesis)) - (#Recur Nat (List Synthesis)) + (#Recur (List Synthesis)) (#Procedure Text (List Synthesis)) (#Variable Variable) (#Definition Ident) - (#Let Nat Synthesis Synthesis) + (#Let Register Synthesis Synthesis) (#If Synthesis Synthesis Synthesis) - (#Loop Nat (List Synthesis) Synthesis)) + (#Loop Register (List Synthesis) Synthesis)) (type: #export Path (Path' Synthesis)) |