aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm.lux11
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux9
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/common.jvm.lux11
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/expression.jvm.lux11
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/function.jvm.lux15
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux13
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/primitive.jvm.lux7
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux13
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/reference.jvm.lux13
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/runtime.jvm.lux11
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/structure.jvm.lux9
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