diff options
Diffstat (limited to '')
11 files changed, 34 insertions, 45 deletions
diff --git a/new-luxc/source/luxc/lang/translation/jvm.lux b/new-luxc/source/luxc/lang/translation/jvm.lux index 3f9189f4f..47fbbefcf 100644 --- a/new-luxc/source/luxc/lang/translation/jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm.lux @@ -20,10 +20,9 @@ [binary (#+ Binary)]] [platform [compiler - [default - ["." name] - [phase - ["." translation]]]]]] + ["." name] + [phase + ["." translation]]]]] [/// [host ["." jvm (#+ Inst Definition Host State) 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 4b9feebb4..78ef508e8 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux @@ -8,9 +8,8 @@ format]] [platform [compiler - [default - ["." phase ("operation/." Monad<Operation>) - ["." synthesis (#+ Path Synthesis)]]]]]] + ["." phase ("operation/." Monad<Operation>) + ["." synthesis (#+ Path Synthesis)]]]]] [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 67721c736..f0b73ac23 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/common.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/common.jvm.lux @@ -16,10 +16,9 @@ [binary (#+ Binary)]] [platform [compiler - [default - ["." name] - [reference (#+ Register)] - ["." phase]]]]] + ["." name] + [reference (#+ Register)] + ["." phase]]]] ## [luxc ## [lang ## [host 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 60e873323..7af459900 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/expression.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/expression.jvm.lux @@ -2,10 +2,9 @@ [lux #* [platform [compiler - [default - [phase - ["." synthesis] - ["." extension]]]]]] + [phase + ["." synthesis] + ["." extension]]]]] [luxc [lang [host 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 730d45641..8e5fe30b3 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/function.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/function.jvm.lux @@ -9,12 +9,11 @@ ["." list ("list/." Functor<List> Monoid<List>)]]] [platform [compiler - [default - ["_." reference (#+ Register Variable)] - ["." phase - [analysis (#+ Arity)] - [synthesis (#+ Synthesis Abstraction Apply)] - ["." translation]]]]]] + ["_." reference (#+ Register Variable)] + ["." phase + [analysis (#+ Arity)] + [synthesis (#+ Synthesis Abstraction Apply)] + ["." translation]]]]] [luxc [lang [host 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 ed40d498f..40f4decd9 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux @@ -9,11 +9,10 @@ ["." list ("list/." Functor<List> Monoid<List>)]]] [platform [compiler - [default - [reference (#+ Register)] - ["." phase - ["." synthesis (#+ Synthesis)] - ["." translation]]]]]] + [reference (#+ Register)] + ["." phase + ["." synthesis (#+ Synthesis)] + ["." translation]]]]] [luxc [lang [host diff --git a/new-luxc/source/luxc/lang/translation/jvm/primitive.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/primitive.jvm.lux index 392de6354..7129a3887 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/primitive.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/primitive.jvm.lux @@ -7,8 +7,7 @@ format]] [platform [compiler - [default - [phase ("operation/." Monad<Operation>)]]]]] + [phase ("operation/." Monad<Operation>)]]]] [luxc [lang [host 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 c1d8792d0..154dcbdcf 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,11 +15,10 @@ ["s" syntax (#+ syntax:)]] [platform [compiler - [default - ["." phase - [synthesis (#+ Synthesis)] - ["." extension - ["." bundle]]]]]] + ["." phase + [synthesis (#+ Synthesis)] + ["." extension + ["." bundle]]]]] [host (#+ import:)]] [luxc [lang diff --git a/new-luxc/source/luxc/lang/translation/jvm/reference.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/reference.jvm.lux index ec9facd2c..175338ba4 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/reference.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/reference.jvm.lux @@ -7,11 +7,10 @@ format]] [platform [compiler - [default - ["." name] - ["." reference (#+ Register Variable)] - ["." phase ("operation/." Monad<Operation>) - ["." translation]]]]]] + ["." name] + ["." reference (#+ Register Variable)] + ["." phase ("operation/." Monad<Operation>) + ["." translation]]]]] [luxc [lang [host diff --git a/new-luxc/source/luxc/lang/translation/jvm/runtime.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/runtime.jvm.lux index eaad9cced..a22ed2b07 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/runtime.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/runtime.jvm.lux @@ -10,10 +10,9 @@ ["." math] [platform [compiler - [default - ["." phase - [analysis (#+ Arity)] - ["." translation]]]]]] + ["." phase + [analysis (#+ Arity)] + ["." translation]]]]] [luxc [lang [host 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 f50788c58..9f69b1edd 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/structure.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/structure.jvm.lux @@ -10,9 +10,8 @@ ["." list]]] [platform [compiler - [default - ["." phase - [synthesis (#+ Synthesis)]]]]]] + ["." phase + [synthesis (#+ Synthesis)]]]]] [luxc [lang [host |