diff options
author | Eduardo Julian | 2021-12-31 00:58:08 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-12-31 00:58:08 -0400 |
commit | 9afaa3a3236366d57cb1c3d771b25779ee76269b (patch) | |
tree | 83016d292711e242be3bdaef4dd2cca0aae05dc9 /lux-jvm/source | |
parent | 00d92539208da86557e592a8c8df03d3b08e6b40 (diff) |
Fixes for the pure-Lux JVM compiler machinery.
Diffstat (limited to 'lux-jvm/source')
-rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/runtime.lux | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux index 33cf199ea..518e921cd 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux @@ -307,7 +307,8 @@ ))) ))) -(def: .public try (type.method [(list) (list //.$Function) //.$Variant (list)])) +(def: .public try + (type.method [(list) (list //.$Function) //.$Variant (list)])) (def: io_methods Def |