From c50667a431a5ca67328a230f0c59956dc6ff43fa Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 9 Jun 2017 20:53:26 -0400
Subject: - Added loop synthesis. - Some refactoring.

---
 new-luxc/source/luxc/lang/synthesis.lux | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'new-luxc/source/luxc/lang/synthesis.lux')

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))
-- 
cgit v1.2.3