aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source
diff options
context:
space:
mode:
authorEduardo Julian2019-03-03 12:09:56 -0400
committerEduardo Julian2019-03-03 12:09:56 -0400
commitf4bb7ff1455659a766a074506b54129e0037db64 (patch)
treebbf79c07fa08088c99aca93236ce1eaa0974d333 /new-luxc/source
parent539ad81bbb9034e41e6ca8f5445a9dd239c60be1 (diff)
Some refactoring around synthesis.
Diffstat (limited to '')
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux4
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/common.jvm.lux2
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/expression.jvm.lux2
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/function.jvm.lux2
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux2
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux2
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/structure.jvm.lux4
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