From fb7f85d1095cb9ba6a402f18e701a4b14b7657dc Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 30 Dec 2019 02:53:25 -0400 Subject: Re-located generation infrastructure. --- new-luxc/source/luxc/lang/translation/jvm/extension/host.lux | 3 ++- new-luxc/source/luxc/lang/translation/jvm/function.lux | 6 +++--- new-luxc/source/luxc/lang/translation/jvm/loop.lux | 4 ++-- new-luxc/source/luxc/lang/translation/jvm/reference.lux | 4 ++-- new-luxc/source/luxc/lang/translation/jvm/runtime.lux | 4 ++-- 5 files changed, 11 insertions(+), 10 deletions(-) (limited to 'new-luxc/source/luxc/lang/translation/jvm') 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 7b03bc451..bee116b1a 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/extension/host.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/extension/host.lux @@ -31,8 +31,9 @@ [analysis (#+ Environment)] ["." reference (#+ Variable)] ["." synthesis (#+ Synthesis Path %synthesis)] + ["." generation] ["." phase ("#@." monad) - ["." generation + [generation [extension (#+ Nullary Unary Binary nullary unary binary)]] [analysis diff --git a/new-luxc/source/luxc/lang/translation/jvm/function.lux b/new-luxc/source/luxc/lang/translation/jvm/function.lux index d141b2392..4d60c5fb0 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/function.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/function.lux @@ -18,11 +18,11 @@ [tool [compiler [arity (#+ Arity)] + [reference (#+ Register)] [analysis (#+ Environment)] [synthesis (#+ Synthesis Abstraction Apply)] - [reference (#+ Register)] - ["." phase - ["." generation]]]]] + ["." generation] + ["." phase]]]] [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 bc5ca5b98..6f336d7c1 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/loop.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/loop.lux @@ -13,8 +13,8 @@ [compiler [reference (#+ Register)] ["." synthesis (#+ Synthesis)] - ["." phase - ["." generation]]]]] + ["." generation] + ["." phase]]]] [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 77e98b73b..fd4d12456 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/reference.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/reference.lux @@ -12,8 +12,8 @@ [compiler ["." name] ["." reference (#+ Register Variable)] - ["." phase ("operation@." monad) - ["." generation]]]]] + ["." generation] + ["." phase ("operation@." monad)]]]] [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 87a5d535c..56031fc5a 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/runtime.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/runtime.lux @@ -15,8 +15,8 @@ [compiler [arity (#+ Arity)] ["." synthesis] - ["." phase - ["." generation]]]]] + ["." generation] + ["." phase]]]] [luxc [lang [host -- cgit v1.2.3