diff options
author | Eduardo Julian | 2021-08-09 23:02:01 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-08-09 23:02:01 -0400 |
commit | 464b6e8f5e6c62f58fa8c7ff61ab2ad215e98bd1 (patch) | |
tree | 1ae9d95956cee4251cd29a3e24c246c4360d567d /lux-jvm/source/luxc/lang/translation/jvm/case.lux | |
parent | f621a133e6e0a516c0586270fea8eaffb4829d82 (diff) |
Improved single-line comment syntax (from "##" to "...").
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 |