diff options
| author | Eduardo Julian | 2017-06-06 20:23:15 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-06-06 20:23:15 -0400 |
| commit | 4480e41e949ba3ba0c9bceeed43e3f144f82103b (patch) | |
| tree | e31476d83b24a55746738c0b0b5100931ce289c3 /new-luxc/source/luxc/lang | |
| parent | aa3dcb411db1bfbf41ca59c334c6c792b9e40d0c (diff) | |
- Now optimizing functions.
Diffstat (limited to 'new-luxc/source/luxc/lang')
| -rw-r--r-- | new-luxc/source/luxc/lang/synthesis.lux | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/new-luxc/source/luxc/lang/synthesis.lux b/new-luxc/source/luxc/lang/synthesis.lux index 5fd6a3a81..f5d3f9c33 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 Variable Int) + (type: #export (Path' s) #PopP (#BindP Nat) @@ -29,12 +31,12 @@ (#Variant Nat Bool Synthesis) (#Tuple (List Synthesis)) (#Case Synthesis (Path' Synthesis)) - (#Function Nat Scope Synthesis) + (#Function Nat (List Variable) Synthesis) (#Call Synthesis (List Synthesis)) (#Recur Nat (List Synthesis)) (#Procedure Text (List Synthesis)) - (#Relative Int) - (#Absolute Ident) + (#Variable Variable) + (#Definition Ident) (#Let Nat Synthesis Synthesis) (#If Synthesis Synthesis Synthesis) (#Loop Nat (List Synthesis) Synthesis)) |