From bf53ee92fc3c33a4885aa227e55d24f7ba3cb2c4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 16 Mar 2022 08:37:23 -0400
Subject: De-sigil-ification: prefix :

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

(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 8e90b4510..cb5004f83 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/case.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
@@ -133,22 +133,22 @@
     (^.template [<tag> <unwrap> <dup> <pop> <test> <comparison> <if>]
       [{<tag> cons}
        (do [@ phase.monad]
-         [forkG (: (Operation Inst)
-                   (monad.mix @ (function (_ [test thenP] elseG)
-                                  (do @
-                                    [thenG (path' stack_depth @else @end phase archive thenP)]
-                                    (in (<| _.with_label (function (_ @else))
-                                            (|>> <dup>
-                                                 (<test> test)
-                                                 <comparison>
-                                                 (<if> @else)
-                                                 <pop>
-                                                 thenG
-                                                 (_.label @else)
-                                                 elseG)))))
-                              (|>> <pop>
-                                   (_.GOTO @else))
-                              {.#Item cons}))]
+         [forkG (is (Operation Inst)
+                    (monad.mix @ (function (_ [test thenP] elseG)
+                                   (do @
+                                     [thenG (path' stack_depth @else @end phase archive thenP)]
+                                     (in (<| _.with_label (function (_ @else))
+                                             (|>> <dup>
+                                                  (<test> test)
+                                                  <comparison>
+                                                  (<if> @else)
+                                                  <pop>
+                                                  thenG
+                                                  (_.label @else)
+                                                  elseG)))))
+                               (|>> <pop>
+                                    (_.GOTO @else))
+                               {.#Item cons}))]
          (in (|>> peekI
                   <unwrap>
                   forkG)))])
-- 
cgit v1.2.3