From bcd3d9ee8f6797f758a2abea98d5cb6a74cc7df0 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 15 Jun 2018 00:11:33 -0400
Subject: - WIP: Adjustments to new-luxc based on recent changes to stdlib.

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

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

diff --git a/new-luxc/source/luxc/lang/synthesis/variable.lux b/new-luxc/source/luxc/lang/synthesis/variable.lux
index b1988018d..4a3317d9f 100644
--- a/new-luxc/source/luxc/lang/synthesis/variable.lux
+++ b/new-luxc/source/luxc/lang/synthesis/variable.lux
@@ -11,7 +11,7 @@
   (-> ls.Path (List Variable))
   (case path
     (#ls.BindP register)
-    (list (nat-to-int register))
+    (list (.int register))
 
     (^or (#ls.SeqP pre post) (#ls.AltP pre post))
     (list/compose (bound-vars pre) (bound-vars post))
@@ -37,7 +37,7 @@
 (def: (non-arg? arity var)
   (-> ls.Arity Variable Bool)
   (and (variableL.local? var)
-       (n/> arity (int-to-nat var))))
+       (n/> arity (.nat var))))
 
 (type: Tracker (s.Set Variable))
 
-- 
cgit v1.2.3