- Added loop synthesis.

- Some refactoring.

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))