From c0acd75d41ed0e927ec318d4b12c0ec4f5f2e1d3 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 2 Jul 2017 15:52:36 -0400
Subject: - Adjusted compiler to the new lack of Char type. - WIP: PM/case
 synthesis.

---
 new-luxc/source/luxc/synthesizer/function.lux | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'new-luxc/source/luxc/synthesizer/function.lux')

diff --git a/new-luxc/source/luxc/synthesizer/function.lux b/new-luxc/source/luxc/synthesizer/function.lux
index 42aa7a6cd..e8b2a7ec4 100644
--- a/new-luxc/source/luxc/synthesizer/function.lux
+++ b/new-luxc/source/luxc/synthesizer/function.lux
@@ -44,6 +44,10 @@
   (-> Nat Int)
   (|> idx n.inc nat-to-int (i.* -1)))
 
+(def: #export (captured-idx idx)
+  (-> Int Nat)
+  (|> idx (i.* -1) int-to-nat n.dec))
+
 (def: #export (to-local idx)
   (-> Nat Int)
   (nat-to-int idx))
-- 
cgit v1.2.3