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 | |
| parent | 539ad81bbb9034e41e6ca8f5445a9dd239c60be1 (diff) | |
Some refactoring around synthesis.
Diffstat (limited to 'new-luxc/source')
7 files changed, 9 insertions, 9 deletions
diff --git a/new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux index 72c316d83..457c052a2 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux @@ -9,8 +9,8 @@ format]] [tool [compiler - ["." phase ("operation/." monad) - ["." synthesis (#+ Path Synthesis)]]]]] + ["." synthesis (#+ Path Synthesis)] + ["." phase ("operation/." monad)]]]] [luxc [lang [host diff --git a/new-luxc/source/luxc/lang/translation/jvm/common.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/common.jvm.lux index 57fc576fa..896fc9de3 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/common.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/common.jvm.lux @@ -16,8 +16,8 @@ [binary (#+ Binary)]] [tool [compiler - ["." name] [reference (#+ Register)] + ["." name] ["." phase]]]] ## [luxc ## [lang diff --git a/new-luxc/source/luxc/lang/translation/jvm/expression.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/expression.jvm.lux index ba96731a8..c6b77e549 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/expression.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/expression.jvm.lux @@ -2,8 +2,8 @@ [lux #* [tool [compiler + ["." synthesis] [phase - ["." synthesis] ["." extension]]]]] [luxc [lang 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 diff --git a/new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux index 5e01a4ea0..6e3f01c78 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux @@ -11,8 +11,8 @@ [tool [compiler [reference (#+ Register)] + ["." synthesis (#+ Synthesis)] ["." phase - ["." synthesis (#+ Synthesis)] ["." translation]]]]] [luxc [lang diff --git a/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux index afd140997..f63c82108 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux @@ -15,8 +15,8 @@ ["s" syntax (#+ syntax:)]] [tool [compiler + [synthesis (#+ Synthesis)] ["." phase - [synthesis (#+ Synthesis)] ["." extension ["." bundle]]]]] [host (#+ import:)]] diff --git a/new-luxc/source/luxc/lang/translation/jvm/structure.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/structure.jvm.lux index a8d135f7a..7bf54b7ea 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/structure.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/structure.jvm.lux @@ -10,8 +10,8 @@ ["." list]]] [tool [compiler - ["." phase - [synthesis (#+ Synthesis)]]]]] + [synthesis (#+ Synthesis)] + ["." phase]]]] [luxc [lang [host |