From a59fc865aee240afe21b82ffef2681bb9a6ea693 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 29 Jul 2018 02:30:13 -0400
Subject: Adapted new-luxc to some of the latest changes to Lux.

---
 new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

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

diff --git a/new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux
index 016edf3d2..0eb815458 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux
@@ -22,12 +22,12 @@
 (def: (pop-altI stack-depth)
   (-> Nat Inst)
   (.case stack-depth
-    +0 id
-    +1 _.POP
-    +2 _.POP2
-    _ ## (n/> +2)
+    0 id
+    1 _.POP
+    2 _.POP2
+    _ ## (n/> 2)
     (|>> _.POP2
-         (pop-altI (n/- +2 stack-depth)))))
+         (pop-altI (n/- 2 stack-depth)))))
 
 (def: peekI
   Inst
@@ -110,10 +110,10 @@
     (^template [<pattern> <method> <mod>]
       (^ (<pattern> idx))
       (operation/wrap (.case (<mod> idx)
-                        +0
+                        0
                         (|>> peekI
                              (_.CHECKCAST ($t.descriptor runtime.$Tuple))
-                             (_.int 0)
+                             (_.int +0)
                              _.AALOAD
                              pushI)
                         
@@ -179,7 +179,7 @@
   (-> Phase Path Label (Operation Inst))
   (do phase.Monad<Operation>
     [@else _.make-label
-     pathI (..path' translate +1 @else @end path)]
+     pathI (..path' translate 1 @else @end path)]
     (wrap (|>> pathI
                (_.label @else)
                _.POP
-- 
cgit v1.2.3