diff options
author | Eduardo Julian | 2019-08-10 23:46:33 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-08-10 23:46:33 -0400 |
commit | 85239d2c294a28b45f46f0b1333d161a403270f6 (patch) | |
tree | a3c8a06f244a0bdf48ab1e337cdabc5113827c50 /new-luxc/source/luxc/lang/translation/jvm | |
parent | c06ee7d55123c4f87cd15e15f8d25b9ab08ea3f3 (diff) |
Got the new compiler working again.
Diffstat (limited to 'new-luxc/source/luxc/lang/translation/jvm')
10 files changed, 54 insertions, 65 deletions
diff --git a/new-luxc/source/luxc/lang/translation/jvm/case.lux b/new-luxc/source/luxc/lang/translation/jvm/case.lux index 898c211f4..7cea61f14 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/case.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/case.lux @@ -6,8 +6,8 @@ ["." function] ["ex" exception (#+ exception:)]] [data - [text - format]] + [number + ["n" nat]]] [target [jvm ["$t" type]]] @@ -29,9 +29,9 @@ 0 function.identity 1 _.POP 2 _.POP2 - _ ## (n/> 2) + _ ## (n.> 2) (|>> _.POP2 - (pop-altI (n/- 2 stack-depth))))) + (pop-altI (n.- 2 stack-depth))))) (def: peekI Inst diff --git a/new-luxc/source/luxc/lang/translation/jvm/common.lux b/new-luxc/source/luxc/lang/translation/jvm/common.lux index ea6665dc5..26dbcfbc8 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/common.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/common.lux @@ -6,6 +6,7 @@ ["ex" exception (#+ exception:)] ["." io]] [data + [binary (#+ Binary)] ["." error (#+ Error)] ["." text ("#/." hash) format] @@ -13,8 +14,6 @@ ["." dictionary (#+ Dictionary)]]] ["." macro] [host (#+ import:)] - [world - [binary (#+ Binary)]] [tool [compiler [reference (#+ Register)] diff --git a/new-luxc/source/luxc/lang/translation/jvm/function.lux b/new-luxc/source/luxc/lang/translation/jvm/function.lux index cc618ca0d..ea9c4ef84 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/function.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/function.lux @@ -6,8 +6,9 @@ [pipe (#+ when> new>)] ["." function]] [data - ["." text - format] + [number + ["n" nat] + ["i" int]] [collection ["." list ("#@." functor monoid)]]] [target @@ -15,7 +16,8 @@ ["#" type (#+ Type Method)]]] [tool [compiler - [analysis (#+ Arity Environment)] + [arity (#+ Arity)] + [analysis (#+ Environment)] [synthesis (#+ Synthesis Abstraction Apply)] [reference (#+ Register)] ["." phase @@ -35,7 +37,7 @@ (def: (poly-arg? arity) (-> Arity Bit) - (n/> 1 arity)) + (n.> 1 arity)) (def: (reset-method class) (-> Text Method) @@ -70,15 +72,15 @@ (def: (inputsI start amount) (-> Register Nat Inst) - (|> (list.n/range start (n/+ start (dec amount))) + (|> (list.n/range start (n.+ start (dec amount))) (list@map _.ALOAD) _.fuse)) (def: (applysI start amount) (-> Register Nat Inst) - (let [max-args (n/min amount runtime.num-apply-variants) - later-applysI (if (n/> runtime.num-apply-variants amount) - (applysI (n/+ runtime.num-apply-variants start) (n/- runtime.num-apply-variants amount)) + (let [max-args (n.min amount runtime.num-apply-variants) + later-applysI (if (n.> runtime.num-apply-variants amount) + (applysI (n.+ runtime.num-apply-variants start) (n.- runtime.num-apply-variants amount)) function.identity)] (|>> (_.CHECKCAST //.function-class) (inputsI start max-args) @@ -106,7 +108,7 @@ (def: (with-partial arity) (-> Arity Def) (if (poly-arg? arity) - (|> (list.n/range 0 (n/- 2 arity)) + (|> (list.n/range 0 (n.- 2 arity)) (list@map (.function (_ idx) (def.field #$.Private $.finalF (reference.partial-name idx) $Object))) def.fuse) @@ -164,7 +166,7 @@ (def: (function-init arity env-size) (-> Arity Nat Inst) - (if (n/= 1 arity) + (if (n.= 1 arity) (|>> (_.int +0) (_.INVOKESPECIAL //.function-class "<init>" function-init-method #0)) (|>> (_.ILOAD (inc env-size)) @@ -174,7 +176,7 @@ (-> Text Environment Arity Def) (let [env-size (list.size env) offset-partial (: (-> Nat Nat) - (|>> inc (n/+ env-size))) + (|>> inc (n.+ env-size))) store-capturedI (|> (case env-size 0 (list) _ (list.n/range 0 (dec env-size))) @@ -184,7 +186,7 @@ (_.PUTFIELD class (reference.foreign-name register) $Object)))) _.fuse) store-partialI (if (poly-arg? arity) - (|> (list.n/range 0 (n/- 2 arity)) + (|> (list.n/range 0 (n.- 2 arity)) (list@map (.function (_ idx) (let [register (offset-partial idx)] (|>> (_.ALOAD 0) @@ -205,28 +207,28 @@ (let [num-partials (dec function-arity) @default ($.new-label []) @labels (list@map $.new-label (list.repeat num-partials [])) - arity-over-extent (|> (.int function-arity) (i/- (.int apply-arity))) + arity-over-extent (|> (.int function-arity) (i.- (.int apply-arity))) casesI (|> (list@compose @labels (list @default)) (list.zip2 (list.n/range 0 num-partials)) (list@map (.function (_ [stage @label]) - (let [load-partialsI (if (n/> 0 stage) + (let [load-partialsI (if (n.> 0 stage) (|> (list.n/range 0 (dec stage)) (list@map (|>> reference.partial-name (load-fieldI class))) _.fuse) function.identity)] - (cond (i/= arity-over-extent (.int stage)) + (cond (i.= arity-over-extent (.int stage)) (|>> (_.label @label) (_.ALOAD 0) - (when> [(new> (n/> 0 stage) [])] + (when> [(new> (n.> 0 stage) [])] [(_.INVOKEVIRTUAL class "reset" (reset-method class) #0)]) load-partialsI (inputsI 1 apply-arity) (_.INVOKEVIRTUAL class "impl" (implementation-method function-arity) #0) _.ARETURN) - (i/> arity-over-extent (.int stage)) - (let [args-to-completion (|> function-arity (n/- stage)) - args-left (|> apply-arity (n/- args-to-completion))] + (i.> arity-over-extent (.int stage)) + (let [args-to-completion (|> function-arity (n.- stage)) + args-left (|> apply-arity (n.- args-to-completion))] (|>> (_.label @label) (_.ALOAD 0) (_.INVOKEVIRTUAL class "reset" (reset-method class) #0) @@ -236,7 +238,7 @@ (applysI (inc args-to-completion) args-left) _.ARETURN)) - ## (i/< arity-over-extent (.int stage)) + ## (i.< arity-over-extent (.int stage)) (let [env-size (list.size env) load-capturedI (|> (case env-size 0 (list) @@ -251,7 +253,7 @@ (inc-intI apply-arity) load-partialsI (inputsI 1 apply-arity) - (nullsI (|> num-partials (n/- apply-arity) (n/- stage))) + (nullsI (|> num-partials (n.- apply-arity) (n.- stage))) (_.INVOKESPECIAL class "<init>" (init-method env function-arity) #0) _.ARETURN)) )))) @@ -272,7 +274,7 @@ (let [env-size (list.size env) applyD (: Def (if (poly-arg? arity) - (|> (n/min arity runtime.num-apply-variants) + (|> (n.min arity runtime.num-apply-variants) (list.n/range 1) (list@map (with-apply class env arity @begin bodyI)) (list& (with-implementation arity @begin bodyI)) @@ -293,13 +295,13 @@ [instanceI (instance class arity env)] (wrap [functionD instanceI])))) -(def: #export (function translate [env arity bodyS]) +(def: #export (function generate [env arity bodyS]) (-> Phase Abstraction (Operation Inst)) (do phase.monad [@begin _.make-label [function-class bodyI] (generation.with-context (generation.with-anchor [@begin 1] - (translate bodyS))) + (generate bodyS))) [functionD instanceI] (with-function @begin function-class env arity bodyI) _ (generation.save! true ["" function-class] [function-class @@ -309,19 +311,13 @@ functionD)])] (wrap instanceI))) -(def: (segment size elems) - (All [a] (-> Nat (List a) (List (List a)))) - (let [[pre post] (list.split size elems)] - (if (list.empty? post) - (list pre) - (list& pre (segment size post))))) - -(def: #export (call translate [functionS argsS]) +(def: #export (call generate [functionS argsS]) (-> Phase Apply (Operation Inst)) (do phase.monad - [functionI (translate functionS) - argsI (monad.map @ translate argsS) - #let [applyI (|> (segment runtime.num-apply-variants argsI) + [functionI (generate functionS) + argsI (monad.map @ generate argsS) + #let [applyI (|> argsI + (list.split-all runtime.num-apply-variants) (list@map (.function (_ chunkI+) (|>> (_.CHECKCAST //.function-class) (_.fuse chunkI+) diff --git a/new-luxc/source/luxc/lang/translation/jvm/loop.lux b/new-luxc/source/luxc/lang/translation/jvm/loop.lux index d7e706aaf..5b4f981f6 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/loop.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/loop.lux @@ -5,8 +5,8 @@ [control ["." function]] [data - ["." text - format] + [number + ["n" nat]] [collection ["." list ("#/." functor monoid)]]] [tool @@ -26,7 +26,7 @@ (-> Register Synthesis Bit) (case changeS (^ (synthesis.variable/local var)) - (n/= register var) + (n.= register var) _ #0)) @@ -35,7 +35,7 @@ (-> Phase (List Synthesis) (Operation Inst)) (do phase.monad [[@begin start] generation.anchor - #let [end (|> argsS list.size dec (n/+ start)) + #let [end (|> argsS list.size dec (n.+ start)) pairs (list.zip2 (list.n/range start end) argsS)] ## It may look weird that first I compile the values separately, @@ -72,7 +72,7 @@ #let [initializationI (|> (list.enumerate initsI+) (list/map (function (_ [register initI]) (|>> initI - (_.ASTORE (n/+ start register))))) + (_.ASTORE (n.+ start register))))) _.fuse)]] (wrap (|>> initializationI (_.label @begin) diff --git a/new-luxc/source/luxc/lang/translation/jvm/primitive.lux b/new-luxc/source/luxc/lang/translation/jvm/primitive.lux index b97e50419..85fed0a8e 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/primitive.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/primitive.lux @@ -1,10 +1,5 @@ (.module: [lux (#- i64) - [abstract - monad] - [data - [text - format]] [target [jvm ["$t" type]]] 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 34462d9ba..93d4b6c0b 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/procedure/common.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/procedure/common.lux @@ -9,8 +9,8 @@ [data ["." product] ["." error] - ["." text - format] + [number + ["f" frac]] [collection ["." list ("#@." monad)] ["." dictionary]]] @@ -161,7 +161,7 @@ (|>> <const> (_.wrap <type>)))] [frac::smallest (_.double (Double::MIN_VALUE)) #_t.Double] - [frac::min (_.double (f/* -1.0 (Double::MAX_VALUE))) #_t.Double] + [frac::min (_.double (f.* -1.0 (Double::MAX_VALUE))) #_t.Double] [frac::max (_.double (Double::MAX_VALUE)) #_t.Double] ) 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 173bb9066..1b3d3c345 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/procedure/host.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/procedure/host.lux @@ -14,8 +14,7 @@ ["." error] [number ["." nat]] - ["." text - format] + ["." text] [collection ["." list ("#@." monad)] ["." dictionary (#+ Dictionary)] diff --git a/new-luxc/source/luxc/lang/translation/jvm/reference.lux b/new-luxc/source/luxc/lang/translation/jvm/reference.lux index 886f461ce..5fb0e0d63 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/reference.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/reference.lux @@ -4,7 +4,7 @@ [monad (#+ do)]] [data [text - format]] + ["%" format (#+ format)]]] [tool [compiler ["." name] @@ -19,9 +19,9 @@ ["." //]) (template [<name> <prefix>] - [(def: #export (<name> idx) + [(def: #export <name> (-> Nat Text) - (|> idx %n (format <prefix>)))] + (|>> %.nat (format <prefix>)))] [foreign-name "f"] [partial-name "p"] diff --git a/new-luxc/source/luxc/lang/translation/jvm/runtime.lux b/new-luxc/source/luxc/lang/translation/jvm/runtime.lux index 26d98771b..05d43a367 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/runtime.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/runtime.lux @@ -3,8 +3,6 @@ [abstract [monad (#+ do)]] [data - [text - format] [collection ["." list ("#/." functor)]]] ["." math] @@ -13,7 +11,7 @@ ["$t" type (#+ Type Method)]]] [tool [compiler - [analysis (#+ Arity)] + [arity (#+ Arity)] ["." synthesis] ["." phase ["." generation]]]]] diff --git a/new-luxc/source/luxc/lang/translation/jvm/structure.lux b/new-luxc/source/luxc/lang/translation/jvm/structure.lux index fe5d6bd6d..5e721f65a 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/structure.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/structure.lux @@ -5,8 +5,10 @@ [control ["ex" exception (#+ exception:)]] [data + [number + ["n" nat]] [text - format] + ["%" format (#+ format)]] [collection ["." list]]] [target @@ -25,7 +27,7 @@ (exception: #export (not-a-tuple {size Nat}) (ex.report ["Expected size" ">= 2"] - ["Actual size" (%n size)])) + ["Actual size" (%.nat size)])) (def: $Object ($t.class "java.lang.Object" (list))) @@ -34,7 +36,7 @@ (do phase.monad [#let [size (list.size members)] _ (phase.assert not-a-tuple size - (n/>= 2 size)) + (n.>= 2 size)) membersI (|> members list.enumerate (monad.map @ (function (_ [idx member]) |