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/translation/js/runtime.jvm.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'new-luxc/source/luxc/lang/translation/js/runtime.jvm.lux')

diff --git a/new-luxc/source/luxc/lang/translation/js/runtime.jvm.lux b/new-luxc/source/luxc/lang/translation/js/runtime.jvm.lux
index 2c7303c31..6039a33c7 100644
--- a/new-luxc/source/luxc/lang/translation/js/runtime.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/js/runtime.jvm.lux
@@ -27,7 +27,7 @@
 
 (def: #export (variant tag last? value)
   (-> Nat Bool Expression Expression)
-  (variant' (%i (nat-to-int tag)) (flag last?) value))
+  (variant' (%i (.int tag)) (flag last?) value))
 
 (def: none
   Expression
@@ -69,9 +69,9 @@
 (def: #export (int value)
   (-> Int Expression)
   (format "({"
-          //.int-high-field " : " (|> value int-to-nat //.high nat-to-int %i)
+          //.int-high-field " : " (|> value .nat //.high .int %i)
           ", "
-          //.int-low-field " : " (|> value int-to-nat //.low nat-to-int %i)
+          //.int-low-field " : " (|> value .nat //.low .int %i)
           "})"))
 
 (def: #export frac
-- 
cgit v1.2.3