diff options
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm/case.lux')
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/case.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/case.lux b/lux-jvm/source/luxc/lang/translation/jvm/case.lux index a863f9113..d3f6a29c1 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/case.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/case.lux @@ -41,7 +41,7 @@ 0 function.identity 1 _.POP 2 _.POP2 - _ ## (n.> 2) + _ ... (n.> 2) (|>> _.POP2 (pop_altI (n.- 2 stack_depth))))) @@ -183,7 +183,7 @@ ([synthesis.side/left false] [synthesis.side/right true]) - ## Extra optimization + ... Extra optimization (^template [<path> <projection>] [(^ (<path> lefts)) (operation@in (|>> peekI |