diff options
author | Eduardo Julian | 2019-03-03 12:09:56 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-03-03 12:09:56 -0400 |
commit | f4bb7ff1455659a766a074506b54129e0037db64 (patch) | |
tree | bbf79c07fa08088c99aca93236ce1eaa0974d333 /new-luxc/source/luxc/lang/translation/jvm/function.jvm.lux | |
parent | 539ad81bbb9034e41e6ca8f5445a9dd239c60be1 (diff) |
Some refactoring around synthesis.
Diffstat (limited to '')
-rw-r--r-- | new-luxc/source/luxc/lang/translation/jvm/function.jvm.lux | 2 |
1 files changed, 1 insertions, 1 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 87a930b7a..8c35952fd 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/function.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/function.jvm.lux @@ -12,9 +12,9 @@ [tool [compiler [analysis (#+ Arity)] + [synthesis (#+ Synthesis Abstraction Apply)] ["_." reference (#+ Register Variable)] ["." phase - [synthesis (#+ Synthesis Abstraction Apply)] ["." translation]]]]] [luxc [lang |