From 4480e41e949ba3ba0c9bceeed43e3f144f82103b Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 6 Jun 2017 20:23:15 -0400
Subject: - Now optimizing functions.

---
 new-luxc/source/luxc/lang/synthesis.lux | 8 +++++---
 1 file changed, 5 insertions(+), 3 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 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))
-- 
cgit v1.2.3