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/common-lisp/eval.jvm.lux      | 2 +-
 new-luxc/source/luxc/lang/translation/common-lisp/function.jvm.lux  | 6 +++---
 new-luxc/source/luxc/lang/translation/common-lisp/loop.jvm.lux      | 2 +-
 .../luxc/lang/translation/common-lisp/procedure/common.jvm.lux      | 4 ++--
 new-luxc/source/luxc/lang/translation/common-lisp/reference.jvm.lux | 6 +++---
 5 files changed, 10 insertions(+), 10 deletions(-)

(limited to 'new-luxc/source/luxc/lang/translation/common-lisp')

diff --git a/new-luxc/source/luxc/lang/translation/common-lisp/eval.jvm.lux b/new-luxc/source/luxc/lang/translation/common-lisp/eval.jvm.lux
index eef9a985f..cb6f03d17 100644
--- a/new-luxc/source/luxc/lang/translation/common-lisp/eval.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/common-lisp/eval.jvm.lux
@@ -81,7 +81,7 @@
           (#e.Error error)
 
           (#e.Success lux-value)
-          (recur (n/inc idx) (array.write idx (:! Any lux-value) output)))
+          (recur (inc idx) (array.write idx (:! Any lux-value) output)))
         (#e.Success output)))))
 
 (def: (variant tag flag value)
diff --git a/new-luxc/source/luxc/lang/translation/common-lisp/function.jvm.lux b/new-luxc/source/luxc/lang/translation/common-lisp/function.jvm.lux
index 543cbe899..54834b65c 100644
--- a/new-luxc/source/luxc/lang/translation/common-lisp/function.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/common-lisp/function.jvm.lux
@@ -26,7 +26,7 @@
 (def: $missing (_.var "missing"))
 
 (def: input-declaration
-  (|>> n/inc referenceT.variable))
+  (|>> inc referenceT.variable))
 
 (def: (with-closure function-name inits function-definition)
   (-> Text (List Expression) Expression (Meta Expression))
@@ -55,7 +55,7 @@
                                (//.with-anchor [function-name +1]
                                  (translate bodyS))))
      closureO+ (monad.map @ referenceT.translate-variable env)
-     #let [arityO (|> arity nat-to-int _.int)
+     #let [arityO (|> arity .int _.int)
            $num_args (_.var "num_args")
            $function (_.var function-name)]]
     (with-closure function-name closureO+
@@ -63,7 +63,7 @@
                                   (_.let (list [$num_args (_.length (@@ $curried))])
                                     (<| (_.if (|> (@@ $num_args) (_.= arityO))
                                           (_.let (list [(referenceT.variable +0) (_.function (@@ $function))])
-                                            (_.destructuring-bind [(|> (list.n/range +0 (n/dec arity))
+                                            (_.destructuring-bind [(|> (list.n/range +0 (dec arity))
                                                                        (list/map input-declaration)
                                                                        _.poly)
                                                                    (@@ $curried)]
diff --git a/new-luxc/source/luxc/lang/translation/common-lisp/loop.jvm.lux b/new-luxc/source/luxc/lang/translation/common-lisp/loop.jvm.lux
index ecaf12c7c..c64973d8f 100644
--- a/new-luxc/source/luxc/lang/translation/common-lisp/loop.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/common-lisp/loop.jvm.lux
@@ -23,7 +23,7 @@
      #let [$loop-name (r.var loop-name)
            @loop-name (@@ $loop-name)]
      _ (//.save (r.set! $loop-name
-                        (r.function (|> (list.n/range +0 (n/dec (list.size initsS+)))
+                        (r.function (|> (list.n/range +0 (dec (list.size initsS+)))
                                         (list/map (|>> (n/+ offset) referenceT.variable)))
                           bodyO)))]
     (wrap (r.apply initsO+ @loop-name))))
diff --git a/new-luxc/source/luxc/lang/translation/common-lisp/procedure/common.jvm.lux b/new-luxc/source/luxc/lang/translation/common-lisp/procedure/common.jvm.lux
index 100e99ef8..7387c0dda 100644
--- a/new-luxc/source/luxc/lang/translation/common-lisp/procedure/common.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/common-lisp/procedure/common.jvm.lux
@@ -58,8 +58,8 @@
 (def: (wrong-arity proc expected actual)
   (-> Text Nat Nat Text)
   (format "Wrong number of arguments for " (%t proc) "\n"
-          "Expected: " (|> expected nat-to-int %i) "\n"
-          "  Actual: " (|> actual nat-to-int %i)))
+          "Expected: " (|> expected .int %i) "\n"
+          "  Actual: " (|> actual .int %i)))
 
 (syntax: (arity: {name s.local-symbol} {arity s.nat})
   (with-gensyms [g!_ g!proc g!name g!translate g!inputs]
diff --git a/new-luxc/source/luxc/lang/translation/common-lisp/reference.jvm.lux b/new-luxc/source/luxc/lang/translation/common-lisp/reference.jvm.lux
index 9de2121a1..9fd2f42ea 100644
--- a/new-luxc/source/luxc/lang/translation/common-lisp/reference.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/common-lisp/reference.jvm.lux
@@ -12,7 +12,7 @@
 (do-template [<register> <translation> <prefix>]
   [(def: #export (<register> register)
      (-> Register SVar)
-     (_.var (format <prefix> (%i (nat-to-int register)))))
+     (_.var (format <prefix> (%i (.int register)))))
    
    (def: #export (<translation> register)
      (-> Register (Meta Expression))
@@ -25,13 +25,13 @@
   (-> Variable SVar)
   (if (variableL.captured? var)
     (closure (variableL.captured-register var))
-    (variable (int-to-nat var))))
+    (variable (.nat var))))
 
 (def: #export (translate-variable var)
   (-> Variable (Meta Expression))
   (if (variableL.captured? var)
     (translate-captured (variableL.captured-register var))
-    (translate-local (int-to-nat var))))
+    (translate-local (.nat var))))
 
 (def: #export global
   (-> Ident SVar)
-- 
cgit v1.2.3