aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc/lang/translation/jvm
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/case.lux29
1 files changed, 12 insertions, 17 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/case.lux b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
index e21cf9aec..7962ea991 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/case.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
@@ -153,18 +153,13 @@
([synthesis.side/left _.NULL function.identity]
[synthesis.side/right (_.string "") .inc])
- (^ (synthesis.member/left lefts))
- (operation@wrap (|>> peekI
- (..left-projection lefts)
- pushI))
-
- (^ (synthesis.member/right lefts))
- (operation@wrap (|>> peekI
- (..right-projection lefts)
- pushI))
-
## Extra optimization
(^template [<path> <projection>]
+ (^ (<path> lefts))
+ (operation@wrap (|>> peekI
+ (<projection> lefts)
+ pushI))
+
(^ (synthesis.path/seq
(<path> lefts)
(synthesis.!bind-top register thenP)))
@@ -177,6 +172,13 @@
([synthesis.member/left ..left-projection]
[synthesis.member/right ..right-projection])
+ (#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)]
+ (wrap (|>> leftI
+ rightI)))
+
(#synthesis.Alt leftP rightP)
(do phase.monad
[@alt-else _.make-label
@@ -187,13 +189,6 @@
(_.label @alt-else)
_.POP
rightI)))
-
- (#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)]
- (wrap (|>> leftI
- rightI)))
))
(def: (path @end phase archive path)