diff options
Diffstat (limited to 'new-luxc/source/luxc/lang/translation/jvm/function.jvm.lux')
| -rw-r--r-- | new-luxc/source/luxc/lang/translation/jvm/function.jvm.lux | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/new-luxc/source/luxc/lang/translation/jvm/function.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/function.jvm.lux index 4e2b71f39..730d45641 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/function.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/function.jvm.lux @@ -7,13 +7,14 @@ format] [collection ["." list ("list/." Functor<List> Monoid<List>)]]] - [compiler - [default - ["_." reference (#+ Register Variable)] - ["." phase - [analysis (#+ Arity)] - [synthesis (#+ Synthesis Abstraction Apply)] - ["." translation]]]]] + [platform + [compiler + [default + ["_." reference (#+ Register Variable)] + ["." phase + [analysis (#+ Arity)] + [synthesis (#+ Synthesis Abstraction Apply)] + ["." translation]]]]]] [luxc [lang [host |