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 | |
parent | cf9e65352cb477982754c98fafe0a3a98a42670d (diff) |
Re-located code related to Lux's compilation across the different phases.
Diffstat (limited to 'new-luxc/source/luxc/lang/translation')
9 files changed, 60 insertions, 40 deletions
diff --git a/new-luxc/source/luxc/lang/translation/jvm/case.lux b/new-luxc/source/luxc/lang/translation/jvm/case.lux index 7ea571450..048acbdab 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/case.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/case.lux @@ -16,8 +16,10 @@ ["." signature (#+ Signature)]]]] [tool [compiler - ["." synthesis (#+ Path Synthesis)] - ["." phase ("operation@." monad)]]]] + ["." phase ("operation@." monad)] + [language + [lux + ["." synthesis (#+ Path Synthesis)]]]]]] [luxc [lang [host diff --git a/new-luxc/source/luxc/lang/translation/jvm/expression.lux b/new-luxc/source/luxc/lang/translation/jvm/expression.lux index c6b77e549..ad2da41b6 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/expression.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/expression.lux @@ -2,9 +2,11 @@ [lux #* [tool [compiler - ["." synthesis] - [phase - ["." extension]]]]] + [language + [lux + ["." synthesis] + [phase + ["." extension]]]]]]] [luxc [lang [host diff --git a/new-luxc/source/luxc/lang/translation/jvm/extension/common.lux b/new-luxc/source/luxc/lang/translation/jvm/extension/common.lux index b2f24de63..cc703f17d 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/extension/common.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/extension/common.lux @@ -18,13 +18,16 @@ ["." type]]] [tool [compiler - ["." synthesis (#+ Synthesis %synthesis)] - ["." phase - [generation - [extension (#+ Nullary Unary Binary Trinary Variadic - nullary unary binary trinary variadic)]] - ["." extension - ["." bundle]]]]] + ["." phase] + [language + [lux + ["." synthesis (#+ Synthesis %synthesis)] + [phase + [generation + [extension (#+ Nullary Unary Binary Trinary Variadic + nullary unary binary trinary variadic)]] + ["." extension + ["." bundle]]]]]]] [host (#+ import:)]] [luxc [lang diff --git a/new-luxc/source/luxc/lang/translation/jvm/extension/host.lux b/new-luxc/source/luxc/lang/translation/jvm/extension/host.lux index bee116b1a..b5577cfcd 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/extension/host.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/extension/host.lux @@ -1,5 +1,6 @@ (.module: [lux (#- Type primitive int char type) + [host (#+ import:)] [abstract ["." monad (#+ do)]] [control @@ -28,21 +29,23 @@ ["." parser]]]] [tool [compiler - [analysis (#+ Environment)] ["." reference (#+ Variable)] - ["." synthesis (#+ Synthesis Path %synthesis)] - ["." generation] - ["." phase ("#@." monad) - [generation - [extension (#+ Nullary Unary Binary - nullary unary binary)]] - [analysis - [".A" reference]] - ["." extension - ["." bundle] - [analysis - ["/" jvm]]]]]] - [host (#+ import:)]] + ["." phase ("#@." monad)] + [language + [lux + [analysis (#+ Environment)] + ["." synthesis (#+ Synthesis Path %synthesis)] + ["." generation] + [phase + [generation + [extension (#+ Nullary Unary Binary + nullary unary binary)]] + [analysis + [".A" reference]] + ["." extension + ["." bundle] + [analysis + ["/" jvm]]]]]]]]] [luxc [lang [host diff --git a/new-luxc/source/luxc/lang/translation/jvm/function.lux b/new-luxc/source/luxc/lang/translation/jvm/function.lux index 4d60c5fb0..ec5d9c61f 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/function.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/function.lux @@ -19,10 +19,12 @@ [compiler [arity (#+ Arity)] [reference (#+ Register)] - [analysis (#+ Environment)] - [synthesis (#+ Synthesis Abstraction Apply)] - ["." generation] - ["." phase]]]] + ["." phase] + [language + [lux + [analysis (#+ Environment)] + [synthesis (#+ Synthesis Abstraction Apply)] + ["." generation]]]]]] [luxc [lang [host diff --git a/new-luxc/source/luxc/lang/translation/jvm/loop.lux b/new-luxc/source/luxc/lang/translation/jvm/loop.lux index 6f336d7c1..a2c25e883 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/loop.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/loop.lux @@ -12,9 +12,11 @@ [tool [compiler [reference (#+ Register)] - ["." synthesis (#+ Synthesis)] - ["." generation] - ["." phase]]]] + ["." phase] + [language + [lux + ["." synthesis (#+ Synthesis)] + ["." generation]]]]]] [luxc [lang [host diff --git a/new-luxc/source/luxc/lang/translation/jvm/reference.lux b/new-luxc/source/luxc/lang/translation/jvm/reference.lux index fd4d12456..ba5cb33de 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/reference.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/reference.lux @@ -12,8 +12,10 @@ [compiler ["." name] ["." reference (#+ Register Variable)] - ["." generation] - ["." phase ("operation@." monad)]]]] + ["." phase ("operation@." monad)] + [language + [lux + ["." generation]]]]]] [luxc [lang [host diff --git a/new-luxc/source/luxc/lang/translation/jvm/runtime.lux b/new-luxc/source/luxc/lang/translation/jvm/runtime.lux index 56031fc5a..72763d01f 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/runtime.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/runtime.lux @@ -14,9 +14,11 @@ [tool [compiler [arity (#+ Arity)] - ["." synthesis] - ["." generation] - ["." phase]]]] + ["." phase] + [language + [lux + ["." synthesis] + ["." generation]]]]]] [luxc [lang [host 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 |