diff options
author | Eduardo Julian | 2020-01-11 02:53:52 -0400 |
---|---|---|
committer | Eduardo Julian | 2020-01-11 02:53:52 -0400 |
commit | 8ebf2d5b9d368338b2be1fa53042c84a6f8ef682 (patch) | |
tree | eb8e4d21be967507da72fb3cbd49da7d936f93c8 /new-luxc/source/luxc/lang/translation/jvm/structure.lux | |
parent | cf9e65352cb477982754c98fafe0a3a98a42670d (diff) |
Re-located code related to Lux's compilation across the different phases.
Diffstat (limited to '')
-rw-r--r-- | new-luxc/source/luxc/lang/translation/jvm/structure.lux | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/new-luxc/source/luxc/lang/translation/jvm/structure.lux b/new-luxc/source/luxc/lang/translation/jvm/structure.lux index 10c9bacb9..9ce90085c 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/structure.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/structure.lux @@ -19,8 +19,10 @@ ["." signature (#+ Signature)]]]] [tool [compiler - [synthesis (#+ Synthesis)] - ["." phase]]]] + ["." phase] + [language + [lux + [synthesis (#+ Synthesis)]]]]]] [luxc [lang [host |