1 files changed, 14 insertions, 14 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/case.lux b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
index 0959130a3..04a9571a9 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/case.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
@@ -103,21 +103,21 @@
 (def: (path' stack_depth @else @end phase archive path)
   (-> Nat Label Label Phase Archive Path (Operation Inst))
   (.case path
-    #synthesis.Pop
+    {synthesis.#Pop}
     (operation@in ..popI)
     
-    {#synthesis.Bind register}
+    {synthesis.#Bind register}
     (operation@in (|>> peekI
                        (_.ASTORE register)))
 
-    {#synthesis.Bit_Fork when thenP elseP}
+    {synthesis.#Bit_Fork when thenP elseP}
     (do phase.monad
       [thenG (path' stack_depth @else @end phase archive thenP)
        elseG (.case elseP
-               {#.Some elseP}
+               {.#Some elseP}
                (path' stack_depth @else @end phase archive elseP)
 
-               #.None
+               {.#None}
                (in (_.GOTO @else)))
        .let [ifI (.if when _.IFEQ _.IFNE)]]
       (in (<| _.with_label (function (_ @else))
@@ -146,17 +146,17 @@
                                                  elseG)))))
                               (|>> <pop>
                                    (_.GOTO @else))
-                              {#.Item cons}))]
+                              {.#Item cons}))]
          (in (|>> peekI
                   <unwrap>
                   forkG)))])
-    ([#synthesis.I64_Fork (_.unwrap type.long) _.DUP2 _.POP2 (|>> .int _.long) _.LCMP _.IFNE]
-     [#synthesis.F64_Fork (_.unwrap type.double) _.DUP2 _.POP2 _.double _.DCMPL _.IFNE]
-     [#synthesis.Text_Fork (|>) _.DUP _.POP _.string
+    ([synthesis.#I64_Fork (_.unwrap type.long) _.DUP2 _.POP2 (|>> .int _.long) _.LCMP _.IFNE]
+     [synthesis.#F64_Fork (_.unwrap type.double) _.DUP2 _.POP2 _.double _.DCMPL _.IFNE]
+     [synthesis.#Text_Fork (|>) _.DUP _.POP _.string
       (_.INVOKEVIRTUAL (type.class "java.lang.Object" (list)) "equals" ..equalsJT)
       _.IFEQ])
     
-    {#synthesis.Then bodyS}
+    {synthesis.#Then bodyS}
     (do phase.monad
       [bodyI (phase archive bodyS)]
       (in (|>> (pop_altI stack_depth)
@@ -202,14 +202,14 @@
     ([synthesis.member/left  ..left_projection]
      [synthesis.member/right ..right_projection])
 
-    {#synthesis.Seq leftP rightP}
+    {synthesis.#Seq leftP rightP}
     (do phase.monad
       [leftI (path' stack_depth @else @end phase archive leftP)
        rightI (path' stack_depth @else @end phase archive rightP)]
       (in (|>> leftI
                rightI)))
 
-    {#synthesis.Alt leftP rightP}
+    {synthesis.#Alt leftP rightP}
     (do phase.monad
       [@alt_else _.make_label
        leftI (path' (++ stack_depth) @alt_else @end phase archive leftP)
@@ -268,10 +268,10 @@
     [recordG (phase archive recordS)]
     (in (list@mix (function (_ step so_far)
                     (.let [next (.case step
-                                  {#.Left lefts}
+                                  {.#Left lefts}
                                   (..left_projection lefts)
                                   
-                                  {#.Right lefts}
+                                  {.#Right lefts}
                                   (..right_projection lefts))]
                       (|>> so_far next)))
                   recordG