diff options
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm/runtime.lux')
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/runtime.lux | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux index dc2cb5053..33cf199ea 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux @@ -11,7 +11,8 @@ ["%" format {"+" format}]] [collection ["[0]" list ("[1]@[0]" functor)] - ["[0]" sequence]]] + ["[0]" sequence] + ["[0]" set]]] ["[0]" math [number ["n" nat]]] @@ -411,10 +412,11 @@ ... function_payload ..translate_function ] (in [(|> artifact.empty - artifact.resource + (artifact.resource true artifact.no_dependencies) product.right - artifact.resource - product.right) + ... (artifact.resource true artifact.no_dependencies) + ... product.right + ) (sequence.sequence runtime_payload ... function_payload )]))) |