diff options
author | Eduardo Julian | 2017-06-09 20:53:26 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-06-09 20:53:26 -0400 |
commit | c50667a431a5ca67328a230f0c59956dc6ff43fa (patch) | |
tree | d07416c74b5e4a477038bcf3fcfbd79106cc3fb4 /new-luxc/source/luxc/lang/synthesis.lux | |
parent | 4480e41e949ba3ba0c9bceeed43e3f144f82103b (diff) |
- Added loop synthesis.
- Some refactoring.
Diffstat (limited to 'new-luxc/source/luxc/lang/synthesis.lux')
-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)) |