From b7873d4b68ffc041f9ff134c52a32b54c20febf9 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 9 Jan 2022 05:35:12 -0400
Subject: Fixed a bug when testing extensions on the JVM compiler.

---
 lux-jvm/source/luxc/lang/translation/jvm/case.lux | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

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

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/case.lux b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
index 0c9ad675f..94a3deb05 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/case.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
@@ -1,6 +1,6 @@
 (.using
   [library
-   [lux {"-" Type Label Primitive if let case}
+   [lux {"-" Type Label Primitive if exec let case}
     [abstract
      ["[0]" monad {"+" do}]]
     [control
@@ -253,6 +253,15 @@
                  elseI
                  (_.label @end))))))
 
+(def: .public (exec phase archive [this that])
+  (Generator [Synthesis Synthesis])
+  (do phase.monad
+    [this! (phase archive this)
+     that! (phase archive that)]
+    (in (|>> this!
+             _.POP
+             that!))))
+
 (def: .public (let phase archive [inputS register exprS])
   (Generator [Synthesis Nat Synthesis])
   (do phase.monad
-- 
cgit v1.2.3