From f4bb7ff1455659a766a074506b54129e0037db64 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 3 Mar 2019 12:09:56 -0400
Subject: Some refactoring around synthesis.

---
 new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux             | 4 ++--
 new-luxc/source/luxc/lang/translation/jvm/common.jvm.lux           | 2 +-
 new-luxc/source/luxc/lang/translation/jvm/expression.jvm.lux       | 2 +-
 new-luxc/source/luxc/lang/translation/jvm/function.jvm.lux         | 2 +-
 new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux             | 2 +-
 new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux | 2 +-
 new-luxc/source/luxc/lang/translation/jvm/structure.jvm.lux        | 4 ++--
 7 files changed, 9 insertions(+), 9 deletions(-)

(limited to 'new-luxc/source')

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
-- 
cgit v1.2.3