diff options
Diffstat (limited to '')
11 files changed, 67 insertions, 56 deletions
diff --git a/new-luxc/source/luxc/lang/translation/jvm.lux b/new-luxc/source/luxc/lang/translation/jvm.lux index 560994256..3f9189f4f 100644 --- a/new-luxc/source/luxc/lang/translation/jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm.lux @@ -18,11 +18,12 @@ ["." io (#+ IO io)] [world [binary (#+ Binary)]] - [compiler - [default - ["." name] - [phase - ["." translation]]]]] + [platform + [compiler + [default + ["." 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 ac7ab3b83..4b9feebb4 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux @@ -6,10 +6,11 @@ [data [text format]] - [compiler - [default - ["." phase ("operation/." Monad<Operation>) - ["." synthesis (#+ Path Synthesis)]]]]] + [platform + [compiler + [default + ["." 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 34e7f02c8..67721c736 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/common.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/common.jvm.lux @@ -14,11 +14,12 @@ [host (#+ import:)] [world [binary (#+ Binary)]] - [compiler - [default - ["." name] - [reference (#+ Register)] - ["." phase]]]] + [platform + [compiler + [default + ["." 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 9579acaa3..60e873323 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/expression.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/expression.jvm.lux @@ -1,10 +1,11 @@ (.module: [lux #* - [compiler - [default - [phase - ["." synthesis] - ["." extension]]]]] + [platform + [compiler + [default + [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 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 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 20be62066..ed40d498f 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux @@ -7,12 +7,13 @@ format] [collection ["." list ("list/." Functor<List> Monoid<List>)]]] - [compiler - [default - [reference (#+ Register)] - ["." phase - ["." synthesis (#+ Synthesis)] - ["." translation]]]]] + [platform + [compiler + [default + [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 c46d4d495..392de6354 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/primitive.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/primitive.jvm.lux @@ -5,9 +5,10 @@ [data [text format]] - [compiler - [default - [phase ("operation/." Monad<Operation>)]]]] + [platform + [compiler + [default + [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 e439ecdd6..c1d8792d0 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 @@ -13,12 +13,13 @@ ["." macro (#+ with-gensyms) ["." code] ["s" syntax (#+ syntax:)]] - [compiler - [default - ["." phase - [synthesis (#+ Synthesis)] - ["." extension - ["." bundle]]]]] + [platform + [compiler + [default + ["." 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 9d1d8134f..ec9facd2c 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/reference.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/reference.jvm.lux @@ -5,12 +5,13 @@ [data [text format]] - [compiler - [default - ["." name] - ["." reference (#+ Register Variable)] - ["." phase ("operation/." Monad<Operation>) - ["." translation]]]]] + [platform + [compiler + [default + ["." 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 05641fe22..eaad9cced 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/runtime.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/runtime.jvm.lux @@ -8,11 +8,12 @@ [collection ["." list ("list/." Functor<List>)]]] ["." math] - [compiler - [default - ["." phase - [analysis (#+ Arity)] - ["." translation]]]]] + [platform + [compiler + [default + ["." 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 f937d5bdb..f50788c58 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/structure.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/structure.jvm.lux @@ -8,10 +8,11 @@ format] [collection ["." list]]] - [compiler - [default - ["." phase - [synthesis (#+ Synthesis)]]]]] + [platform + [compiler + [default + ["." phase + [synthesis (#+ Synthesis)]]]]]] [luxc [lang [host |