From b52409599fc5e93ad20e1aa61e44b75f5d6d2789 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 1 May 2019 22:33:17 -0400
Subject: Now inlining the pattern-matching POP and PEEK operations.

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

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

diff --git a/new-luxc/source/luxc/lang/translation/jvm/case.lux b/new-luxc/source/luxc/lang/translation/jvm/case.lux
index 3c50f6124..63d440c72 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/case.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/case.lux
@@ -36,21 +36,7 @@
 (def: peekI
   Inst
   (|>> _.DUP
-       (_.INVOKESTATIC //.runtime-class
-                       "pm_peek"
-                       ($t.method (list runtime.$Stack)
-                                  (#.Some $Object)
-                                  (list))
-                       #0)))
-
-(def: popI
-  Inst
-  (|>> (_.INVOKESTATIC //.runtime-class
-                       "pm_pop"
-                       ($t.method (list runtime.$Stack)
-                                  (#.Some runtime.$Stack)
-                                  (list))
-                       #0)))
+       runtime.peekI))
 
 (def: pushI
   Inst
@@ -65,7 +51,7 @@
   (-> Phase Nat Label Label Path (Operation Inst))
   (.case path
     #synthesis.Pop
-    (operation@wrap popI)
+    (operation@wrap runtime.popI)
     
     (#synthesis.Bind register)
     (operation@wrap (|>> peekI
-- 
cgit v1.2.3