diff options
Diffstat (limited to 'new-luxc/source/luxc/lang')
12 files changed, 27 insertions, 22 deletions
diff --git a/new-luxc/source/luxc/lang/host/jvm/def.lux b/new-luxc/source/luxc/lang/host/jvm/def.lux index 9abf0db35..b663b9b31 100644 --- a/new-luxc/source/luxc/lang/host/jvm/def.lux +++ b/new-luxc/source/luxc/lang/host/jvm/def.lux @@ -14,11 +14,11 @@ ["." list ("#/." functor)]]] [target [jvm - ["." descriptor (#+ Descriptor)] [encoding ["." name]] ["$t" type (#+ Method Class Type Parameter) - ["." reflection]]]]] + ["." reflection] + ["." descriptor (#+ Descriptor)]]]]] ["." //]) (import: #long java/lang/Object) diff --git a/new-luxc/source/luxc/lang/host/jvm/inst.lux b/new-luxc/source/luxc/lang/host/jvm/inst.lux index a54367a72..8d5bd3b6e 100644 --- a/new-luxc/source/luxc/lang/host/jvm/inst.lux +++ b/new-luxc/source/luxc/lang/host/jvm/inst.lux @@ -22,11 +22,11 @@ [syntax (#+ syntax:)]] [target [jvm - ["." descriptor (#+ Descriptor Primitive) ("#@." equivalence)] [encoding ["." name]] [type - ["." box]]]] + ["." box] + ["." descriptor (#+ Descriptor Primitive) ("#@." equivalence)]]]] [tool [compiler [phase (#+ Operation)]]]] diff --git a/new-luxc/source/luxc/lang/statement/jvm.lux b/new-luxc/source/luxc/lang/statement/jvm.lux index 4ca0744db..bc0cd375e 100644 --- a/new-luxc/source/luxc/lang/statement/jvm.lux +++ b/new-luxc/source/luxc/lang/statement/jvm.lux @@ -16,9 +16,9 @@ ["." check (#+ Check)]] [target [jvm - ["." descriptor (#+ Descriptor)] ["." type (#+ Var Parameter Class Argument Typed Return) - [".T" lux]]]] + [".T" lux] + ["." descriptor (#+ Descriptor)]]]] [tool [compiler ["." statement (#+ Handler Bundle)] diff --git a/new-luxc/source/luxc/lang/translation/jvm.lux b/new-luxc/source/luxc/lang/translation/jvm.lux index b56d285d2..7388e8c30 100644 --- a/new-luxc/source/luxc/lang/translation/jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm.lux @@ -21,7 +21,8 @@ [target [jvm ["." loader (#+ Library)] - ["." descriptor]]] + [type + ["." descriptor]]]] [tool [compiler ["." name]]]] diff --git a/new-luxc/source/luxc/lang/translation/jvm/case.lux b/new-luxc/source/luxc/lang/translation/jvm/case.lux index 1f3129cd2..f57671f36 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/case.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/case.lux @@ -10,7 +10,8 @@ ["n" nat]]] [target [jvm - ["." descriptor]]] + [type + ["." descriptor]]]] [tool [compiler ["." synthesis (#+ Path Synthesis)] diff --git a/new-luxc/source/luxc/lang/translation/jvm/function.lux b/new-luxc/source/luxc/lang/translation/jvm/function.lux index 5da2839cd..dca622efa 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/function.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/function.lux @@ -13,7 +13,8 @@ ["." list ("#@." functor monoid)]]] [target [jvm - ["." descriptor (#+ Descriptor Class Method Value)]]] + [type + ["." descriptor (#+ Descriptor Class Method Value)]]]] [tool [compiler [arity (#+ Arity)] diff --git a/new-luxc/source/luxc/lang/translation/jvm/primitive.lux b/new-luxc/source/luxc/lang/translation/jvm/primitive.lux index 6903b065d..d5f8d56cb 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/primitive.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/primitive.lux @@ -2,8 +2,8 @@ [lux (#- i64) [target [jvm - ["." descriptor] - ["$t" type]]] + [type + ["." descriptor]]]] [tool [compiler [phase ("operation@." monad)]]]] diff --git a/new-luxc/source/luxc/lang/translation/jvm/procedure/common.lux b/new-luxc/source/luxc/lang/translation/jvm/procedure/common.lux index dbf3a13be..6e7891460 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/procedure/common.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/procedure/common.lux @@ -16,7 +16,8 @@ ["." dictionary]]] [target [jvm - ["." descriptor]]] + [type + ["." descriptor]]]] [tool [compiler ["." synthesis (#+ Synthesis %synthesis)] diff --git a/new-luxc/source/luxc/lang/translation/jvm/procedure/host.lux b/new-luxc/source/luxc/lang/translation/jvm/procedure/host.lux index 62fd37fdb..a51d1715b 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/procedure/host.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/procedure/host.lux @@ -20,10 +20,10 @@ ["." set]]] [target ["." jvm #_ - ["." descriptor (#+ Descriptor Value Primitive Object Method)] ["#" type (#+ Bound Generic Class Var Typed Argument Return) ["." box] - ["." reflection]]]] + ["." reflection] + ["." descriptor (#+ Descriptor Value Primitive Object Method)]]]] [tool [compiler [analysis (#+ Environment)] diff --git a/new-luxc/source/luxc/lang/translation/jvm/reference.lux b/new-luxc/source/luxc/lang/translation/jvm/reference.lux index 8352c7d6f..1995fcd74 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/reference.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/reference.lux @@ -7,7 +7,8 @@ ["%" format (#+ format)]]] [target [jvm - ["." descriptor]]] + [type + ["." descriptor]]]] [tool [compiler ["." name] diff --git a/new-luxc/source/luxc/lang/translation/jvm/runtime.lux b/new-luxc/source/luxc/lang/translation/jvm/runtime.lux index 755ae7a3b..0f3a89faf 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/runtime.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/runtime.lux @@ -4,12 +4,12 @@ [monad (#+ do)]] [data [collection - ["." list ("#/." functor)]]] + ["." list ("#@." functor)]]] ["." math] [target [jvm - ["." descriptor (#+ Descriptor)] - ["$t" type]]] + [type + ["." descriptor (#+ Descriptor)]]]] [tool [compiler [arity (#+ Arity)] @@ -329,10 +329,10 @@ (def: translate-function (Operation ByteCode) (let [applyI (|> (list.n/range 2 num-apply-variants) - (list/map (function (_ arity) + (list@map (function (_ arity) ($d.method #$.Public $.noneM apply-method (apply-signature arity) (let [preI (|> (list.n/range 0 (dec arity)) - (list/map _.ALOAD) + (list@map _.ALOAD) _.fuse)] (|>> preI (_.INVOKEVIRTUAL //.$Function apply-method (apply-signature (dec arity)) #0) diff --git a/new-luxc/source/luxc/lang/translation/jvm/structure.lux b/new-luxc/source/luxc/lang/translation/jvm/structure.lux index 92bf41256..e224f1f2f 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/structure.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/structure.lux @@ -13,8 +13,8 @@ ["." list]]] [target [jvm - ["." descriptor] - ["$t" type (#+ Type)]]] + [type + ["." descriptor]]]] [tool [compiler [synthesis (#+ Synthesis)] |