From 63624fd6b7f9f2563898655472025020483d398f Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 9 Nov 2017 14:19:54 -0400 Subject: - Fixed the tests. - Fixed a few bugs. - Can now translate recursion. --- new-luxc/source/luxc/lang/variable.lux | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'new-luxc/source/luxc/lang/variable.lux') diff --git a/new-luxc/source/luxc/lang/variable.lux b/new-luxc/source/luxc/lang/variable.lux index c04269e63..f766ffdcf 100644 --- a/new-luxc/source/luxc/lang/variable.lux +++ b/new-luxc/source/luxc/lang/variable.lux @@ -6,11 +6,11 @@ (def: #export Register Nat) (def: #export (captured register) - (-> Nat Variable) + (-> Register Variable) (|> register n.inc nat-to-int (i.* -1))) (def: #export (local register) - (-> Nat Variable) + (-> Register Variable) (nat-to-int register)) (def: #export (local-register variable) -- cgit v1.2.3