From 1137f61adeb416d89436a6849a07f28c8f329fc1 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 14 Jul 2018 03:23:38 -0400 Subject: Switched to using new bit syntax in new-luxc. --- .../source/luxc/lang/translation/jvm/case.jvm.lux | 14 ++--- .../luxc/lang/translation/jvm/function.jvm.lux | 24 ++++----- .../luxc/lang/translation/jvm/imports.jvm.lux | 10 ++-- .../source/luxc/lang/translation/jvm/loop.jvm.lux | 4 +- .../lang/translation/jvm/procedure/common.jvm.lux | 48 ++++++++--------- .../lang/translation/jvm/procedure/host.jvm.lux | 12 ++--- .../luxc/lang/translation/jvm/runtime.jvm.lux | 60 +++++++++++----------- .../luxc/lang/translation/jvm/statement.jvm.lux | 2 +- .../luxc/lang/translation/jvm/structure.jvm.lux | 2 +- 9 files changed, 88 insertions(+), 88 deletions(-) (limited to 'new-luxc/source/luxc/lang/translation/jvm') diff --git a/new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux index d29b9ae7c..e47e123ad 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux @@ -32,7 +32,7 @@ ($t.method (list //runtime.$Stack) (#.Some $Object) (list)) - false))) + #0))) (def: popI $.Inst @@ -41,7 +41,7 @@ ($t.method (list //runtime.$Stack) (#.Some //runtime.$Stack) (list)) - false))) + #0))) (def: pushI $.Inst @@ -50,7 +50,7 @@ ($t.method (list //runtime.$Stack $Object) (#.Some //runtime.$Stack) (list)) - false))) + #0))) (exception: #export (Unrecognized-Path {message Text}) message) @@ -101,7 +101,7 @@ ($t.method (list $Object) (#.Some $t.boolean) (list)) - false) + #0) ($i.IFEQ @else))) (^template [ ] @@ -123,7 +123,7 @@ ($t.method (list //runtime.$Tuple $t.int) (#.Some $Object) (list)) - false) + #0) pushI)))) (["lux case tuple left" "pm_left"] ["lux case tuple right" "pm_right"]) @@ -140,7 +140,7 @@ ($t.method (list //runtime.$Variant //runtime.$Tag //runtime.$Flag) (#.Some //runtime.$Datum) (list)) - false) + #0) $i.DUP ($i.IFNULL @fail) ($i.GOTO @success) @@ -185,7 +185,7 @@ ($i.INVOKESTATIC hostL.runtime-class "pm_fail" ($t.method (list) #.None (list)) - false) + #0) $i.NULL ($i.GOTO @end))))) diff --git a/new-luxc/source/luxc/lang/translation/jvm/function.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/function.jvm.lux index 062cf5d52..d9ecba1e4 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/function.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/function.jvm.lux @@ -71,7 +71,7 @@ id)] (|>> ($i.CHECKCAST hostL.function-class) (inputsI start max-args) - ($i.INVOKEVIRTUAL hostL.function-class runtimeT.apply-method (runtimeT.apply-signature max-args) false) + ($i.INVOKEVIRTUAL hostL.function-class runtimeT.apply-method (runtimeT.apply-signature max-args) #0) later-applysI))) (def: (inc-intI by) @@ -114,7 +114,7 @@ $i.DUP ($i.fuse captureI+) argsI - ($i.INVOKESPECIAL class "" (init-method env arity) false))))) + ($i.INVOKESPECIAL class "" (init-method env arity) #0))))) (def: (with-reset class arity env) (-> Text ls.Arity (List Variable) $.Def) @@ -135,7 +135,7 @@ $i.DUP captureI argsI - ($i.INVOKESPECIAL class "" (init-method env arity) false) + ($i.INVOKESPECIAL class "" (init-method env arity) #0) $i.ARETURN)) (|>> ($i.ALOAD +0) $i.ARETURN)))) @@ -155,9 +155,9 @@ (-> ls.Arity Nat $.Inst) (if (n/= +1 arity) (|>> ($i.int 0) - ($i.INVOKESPECIAL hostL.function-class "" function-init-method false)) + ($i.INVOKESPECIAL hostL.function-class "" function-init-method #0)) (|>> ($i.ILOAD (inc env-size)) - ($i.INVOKESPECIAL hostL.function-class "" function-init-method false)))) + ($i.INVOKESPECIAL hostL.function-class "" function-init-method #0)))) (def: (with-init class env arity) (-> Text (List Variable) ls.Arity $.Def) @@ -207,10 +207,10 @@ (|>> ($i.label @label) ($i.ALOAD +0) (when (n/> +0 stage) - ($i.INVOKEVIRTUAL class "reset" (reset-method class) false)) + ($i.INVOKEVIRTUAL class "reset" (reset-method class) #0)) load-partialsI (inputsI +1 apply-arity) - ($i.INVOKEVIRTUAL class "impl" (implementation-method function-arity) false) + ($i.INVOKEVIRTUAL class "impl" (implementation-method function-arity) #0) $i.ARETURN) (i/> arity-over-extent (.int stage)) @@ -218,10 +218,10 @@ args-left (|> apply-arity (n/- args-to-completion))] (|>> ($i.label @label) ($i.ALOAD +0) - ($i.INVOKEVIRTUAL class "reset" (reset-method class) false) + ($i.INVOKEVIRTUAL class "reset" (reset-method class) #0) load-partialsI (inputsI +1 args-to-completion) - ($i.INVOKEVIRTUAL class "impl" (implementation-method function-arity) false) + ($i.INVOKEVIRTUAL class "impl" (implementation-method function-arity) #0) (applysI (inc args-to-completion) args-left) $i.ARETURN)) @@ -241,7 +241,7 @@ load-partialsI (inputsI +1 apply-arity) (nullsI (|> num-partials (n/- apply-arity) (n/- stage))) - ($i.INVOKESPECIAL class "" (init-method env function-arity) false) + ($i.INVOKESPECIAL class "" (init-method env function-arity) #0) $i.ARETURN)) )))) $i.fuse)] @@ -250,7 +250,7 @@ ($i.TABLESWITCH 0 (|> num-partials dec .int) @default @labels) casesI - ($i.INVOKESTATIC hostL.runtime-class "apply_fail" ($t.method (list) #.None (list)) false) + ($i.INVOKESTATIC hostL.runtime-class "apply_fail" ($t.method (list) #.None (list)) #0) $i.NULL $i.ARETURN )))) @@ -319,7 +319,7 @@ (list/map (function (_ chunkI+) (|>> ($i.CHECKCAST hostL.function-class) ($i.fuse chunkI+) - ($i.INVOKEVIRTUAL hostL.function-class runtimeT.apply-method (runtimeT.apply-signature (list.size chunkI+)) false)))) + ($i.INVOKEVIRTUAL hostL.function-class runtimeT.apply-method (runtimeT.apply-signature (list.size chunkI+)) #0)))) $i.fuse)]] (wrap (|>> functionI applyI)))) diff --git a/new-luxc/source/luxc/lang/translation/jvm/imports.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/imports.jvm.lux index 820024153..9c344e7e9 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/imports.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/imports.jvm.lux @@ -71,7 +71,7 @@ [current-compilations (stm.read compilations)] (case (dict.get dependency current-compilations) (#.Some ongoing) - (wrap [false ongoing]) + (wrap [#0 ongoing]) #.None (do @ @@ -79,7 +79,7 @@ (CompletableFuture::new []))] _ (stm.write (dict.put dependency pending current-compilations) compilations)] - (wrap [true pending]))))))] + (wrap [#1 pending]))))))] (if new? (exec (promise.future (io (CompletableFuture::complete [(io.run (translate-module dependency compiler))] future))) @@ -91,10 +91,10 @@ (|>> (get@ #.module-state) (case> (^or #.Cached #.Compiled) - true + #1 _ - false))) + #0))) (def: (merge-modules current-module from-dependency from-current) (-> Text (List [Text Module]) (List [Text Module]) (List [Text Module])) @@ -132,7 +132,7 @@ already-seen? (moduleL.exists? dependency) circular-dependency? (if already-seen? (moduleL.active? dependency) - (wrap false)) + (wrap #0)) _ (&.assert Circular-Dependency (format "From: " current-module "\n" " To: " dependency) (not circular-dependency?)) diff --git a/new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux index 120a3e384..19da0dd78 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux @@ -24,10 +24,10 @@ (^multi (^code ((~ [_ (#.Int var)]))) (i/= (variableL.local register) var)) - true + #1 _ - false)) + #0)) (def: #export (translate-recur translate argsS) (-> (-> ls.Synthesis (Meta $.Inst)) diff --git a/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux index 527ec4f2d..0bf625624 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux @@ -155,7 +155,7 @@ ($i.CHECKCAST hostL.function-class) ($i.INVOKESTATIC hostL.runtime-class "try" ($t.method (list $Function) (#.Some $Object-Array) (list)) - false))) + #0))) (exception: #export (Wrong-Syntax {message Text}) message) @@ -303,13 +303,13 @@ [int//to-frac ($i.unwrap #$.Long) (<| ($i.wrap #$.Double) $i.L2D)] [int//char ($i.unwrap #$.Long) - ((|>> $i.L2I $i.I2C ($i.INVOKESTATIC "java.lang.Character" "toString" ($t.method (list $t.char) (#.Some $String) (list)) false)))] + ((|>> $i.L2I $i.I2C ($i.INVOKESTATIC "java.lang.Character" "toString" ($t.method (list $t.char) (#.Some $String) (list)) #0)))] [frac//to-int ($i.unwrap #$.Double) (<| ($i.wrap #$.Long) $i.D2L)] [frac//encode ($i.unwrap #$.Double) - ($i.INVOKESTATIC "java.lang.Double" "toString" ($t.method (list $t.double) (#.Some $String) (list)) false)] + ($i.INVOKESTATIC "java.lang.Double" "toString" ($t.method (list $t.double) (#.Some $String) (list)) #0)] [frac//decode ($i.CHECKCAST "java.lang.String") - ($i.INVOKESTATIC hostL.runtime-class "decode_frac" ($t.method (list $String) (#.Some $Object-Array) (list)) false)] + ($i.INVOKESTATIC hostL.runtime-class "decode_frac" ($t.method (list $String) (#.Some $Object-Array) (list)) #0)] ) ## [[Text]] @@ -318,7 +318,7 @@ Unary (|>> inputI ($i.CHECKCAST "java.lang.String") - ($i.INVOKEVIRTUAL ($t.method (list) (#.Some ) (list)) false) + ($i.INVOKEVIRTUAL ($t.method (list) (#.Some ) (list)) #0) ))] [text//size "java.lang.String" "length" lux-intI $t.int] @@ -332,16 +332,16 @@ ))] [text//eq id id - ($i.INVOKEVIRTUAL "java.lang.Object" "equals" ($t.method (list $Object) (#.Some $t.boolean) (list)) false) + ($i.INVOKEVIRTUAL "java.lang.Object" "equals" ($t.method (list $Object) (#.Some $t.boolean) (list)) #0) ($i.wrap #$.Boolean)] [text//lt ($i.CHECKCAST "java.lang.String") ($i.CHECKCAST "java.lang.String") - ($i.INVOKEVIRTUAL "java.lang.String" "compareTo" ($t.method (list $String) (#.Some $t.int) (list)) false) + ($i.INVOKEVIRTUAL "java.lang.String" "compareTo" ($t.method (list $String) (#.Some $t.int) (list)) #0) (<| (predicateI $i.IF_ICMPEQ) ($i.int -1))] [text//concat ($i.CHECKCAST "java.lang.String") ($i.CHECKCAST "java.lang.String") - ($i.INVOKEVIRTUAL "java.lang.String" "concat" ($t.method (list $String) (#.Some $String) (list)) false) + ($i.INVOKEVIRTUAL "java.lang.String" "concat" ($t.method (list $String) (#.Some $String) (list)) #0) id] [text//char ($i.CHECKCAST "java.lang.String") jvm-intI - ($i.INVOKESTATIC hostL.runtime-class "text_char" ($t.method (list $String $t.int) (#.Some $Variant) (list)) false) + ($i.INVOKESTATIC hostL.runtime-class "text_char" ($t.method (list $String $t.int) (#.Some $Variant) (list)) #0) id] ) @@ -355,7 +355,7 @@ [text//clip ($i.CHECKCAST "java.lang.String") jvm-intI jvm-intI ($i.INVOKESTATIC hostL.runtime-class "text_clip" - ($t.method (list $String $t.int $t.int) (#.Some $Variant) (list)) false)] + ($t.method (list $String $t.int $t.int) (#.Some $Variant) (list)) #0)] ) (def: index-method $.Method ($t.method (list $String $t.int) (#.Some $t.int) (list))) @@ -366,7 +366,7 @@ (|>> textI ($i.CHECKCAST "java.lang.String") partI ($i.CHECKCAST "java.lang.String") startI jvm-intI - ($i.INVOKEVIRTUAL "java.lang.String" "indexOf" index-method false) + ($i.INVOKEVIRTUAL "java.lang.String" "indexOf" index-method #0) $i.DUP ($i.int -1) ($i.IF_ICMPEQ @not-found) @@ -387,7 +387,7 @@ Unary (|>> inputI ($i.unwrap #$.Double) - ($i.INVOKESTATIC "java.lang.Math" math-unary-method false) + ($i.INVOKESTATIC "java.lang.Math" math-unary-method #0) ($i.wrap #$.Double)))] [math//cos "cos"] @@ -410,7 +410,7 @@ Binary (|>> inputI ($i.unwrap #$.Double) paramI ($i.unwrap #$.Double) - ($i.INVOKESTATIC "java.lang.Math" math-binary-method false) + ($i.INVOKESTATIC "java.lang.Math" math-binary-method #0) ($i.wrap #$.Double)))] [math//atan2 "atan2"] @@ -421,7 +421,7 @@ Unary (|>> inputI ($i.unwrap #$.Double) - ($i.INVOKESTATIC "java.lang.Math" "round" ($t.method (list $t.double) (#.Some $t.long) (list)) false) + ($i.INVOKESTATIC "java.lang.Math" "round" ($t.method (list $t.double) (#.Some $t.long) (list)) #0) $i.L2D ($i.wrap #$.Double))) @@ -432,7 +432,7 @@ (|>> ($i.GETSTATIC "java.lang.System" "out" ($t.class "java.io.PrintStream" (list))) messageI ($i.CHECKCAST "java.lang.String") - ($i.INVOKEVIRTUAL "java.io.PrintStream" "println" string-method false) + ($i.INVOKEVIRTUAL "java.io.PrintStream" "println" string-method #0) unitI)) (def: (io//error messageI) @@ -441,18 +441,18 @@ $i.DUP messageI ($i.CHECKCAST "java.lang.String") - ($i.INVOKESPECIAL "java.lang.Error" "" string-method false) + ($i.INVOKESPECIAL "java.lang.Error" "" string-method #0) $i.ATHROW)) (def: (io//exit codeI) Unary (|>> codeI jvm-intI - ($i.INVOKESTATIC "java.lang.System" "exit" ($t.method (list $t.int) #.None (list)) false) + ($i.INVOKESTATIC "java.lang.System" "exit" ($t.method (list $t.int) #.None (list)) #0) $i.NULL)) (def: (io//current-time []) Nullary - (|>> ($i.INVOKESTATIC "java.lang.System" "currentTimeMillis" ($t.method (list) (#.Some $t.long) (list)) false) + (|>> ($i.INVOKESTATIC "java.lang.System" "currentTimeMillis" ($t.method (list) (#.Some $t.long) (list)) #0) ($i.wrap #$.Long))) ## [[Atoms]] @@ -462,13 +462,13 @@ (|>> ($i.NEW atom-class) $i.DUP initI - ($i.INVOKESPECIAL atom-class "" ($t.method (list $Object) #.None (list)) false))) + ($i.INVOKESPECIAL atom-class "" ($t.method (list $Object) #.None (list)) #0))) (def: (atom//read atomI) Unary (|>> atomI ($i.CHECKCAST atom-class) - ($i.INVOKEVIRTUAL atom-class "get" ($t.method (list) (#.Some $Object) (list)) false))) + ($i.INVOKEVIRTUAL atom-class "get" ($t.method (list) (#.Some $Object) (list)) #0))) (def: (atom//compare-and-swap [atomI oldI newI]) Trinary @@ -476,7 +476,7 @@ ($i.CHECKCAST atom-class) oldI newI - ($i.INVOKEVIRTUAL atom-class "compareAndSet" ($t.method (list $Object $Object) (#.Some $t.boolean) (list)) false) + ($i.INVOKEVIRTUAL atom-class "compareAndSet" ($t.method (list $Object $Object) (#.Some $t.boolean) (list)) #0) ($i.wrap #$.Boolean))) ## [[Box]] @@ -507,8 +507,8 @@ ## [[Processes]] (def: (process//parallelism-level []) Nullary - (|>> ($i.INVOKESTATIC "java.lang.Runtime" "getRuntime" ($t.method (list) (#.Some ($t.class "java.lang.Runtime" (list))) (list)) false) - ($i.INVOKEVIRTUAL "java.lang.Runtime" "availableProcessors" ($t.method (list) (#.Some $t.int) (list)) false) + (|>> ($i.INVOKESTATIC "java.lang.Runtime" "getRuntime" ($t.method (list) (#.Some ($t.class "java.lang.Runtime" (list))) (list)) #0) + ($i.INVOKEVIRTUAL "java.lang.Runtime" "availableProcessors" ($t.method (list) (#.Some $t.int) (list)) #0) lux-intI)) (def: (process//schedule [millisecondsI procedureI]) @@ -516,7 +516,7 @@ (|>> millisecondsI ($i.unwrap #$.Long) procedureI ($i.CHECKCAST hostL.function-class) ($i.INVOKESTATIC hostL.runtime-class "schedule" - ($t.method (list $t.long $Function) (#.Some $Object) (list)) false))) + ($t.method (list $t.long $Function) (#.Some $Object) (list)) #0))) ## [Bundles] (def: lux-procs diff --git a/new-luxc/source/luxc/lang/translation/jvm/procedure/host.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/procedure/host.jvm.lux index 45cb67fb9..ddf345a13 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/procedure/host.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/procedure/host.jvm.lux @@ -415,7 +415,7 @@ ($t.method (list ($t.class "java.lang.String" (list))) (#.Some ($t.class "java.lang.Class" (list))) (list)) - false)))) + #0)))) _ (&.throw @.Wrong-Syntax (@.wrong-syntax proc inputs)))) @@ -679,7 +679,7 @@ (wrap (|>> ($i.fuse (list/map product.right argsTI)) ($i.INVOKESTATIC class method ($t.method (list/map product.left argsTI) returnT (list)) - false)))) + #0)))) _ (&.throw @.Wrong-Syntax (@.wrong-syntax proc inputs)))) @@ -704,9 +704,9 @@ _ (&.throw @.Wrong-Syntax (@.wrong-syntax proc inputs))))] - [invoke//virtual $i.INVOKEVIRTUAL false] - [invoke//special $i.INVOKESPECIAL false] - [invoke//interface $i.INVOKEINTERFACE true] + [invoke//virtual $i.INVOKEVIRTUAL #0] + [invoke//special $i.INVOKESPECIAL #0] + [invoke//interface $i.INVOKEINTERFACE #1] ) (def: (invoke//constructor proc translate inputs) @@ -720,7 +720,7 @@ ($i.fuse (list/map product.right argsTI)) ($i.INVOKESPECIAL class "" ($t.method (list/map product.left argsTI) #.None (list)) - false)))) + #0)))) _ (&.throw @.Wrong-Syntax (@.wrong-syntax proc inputs)))) diff --git a/new-luxc/source/luxc/lang/translation/jvm/runtime.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/runtime.jvm.lux index c22199864..0d37031e0 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/runtime.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/runtime.jvm.lux @@ -32,7 +32,7 @@ (def: #export logI $.Inst (let [outI ($i.GETSTATIC "java.lang.System" "out" ($t.class "java.io.PrintStream" (list))) - printI (function (_ method) ($i.INVOKEVIRTUAL "java.io.PrintStream" method ($t.method (list $Object) #.None (list)) false))] + printI (function (_ method) ($i.INVOKEVIRTUAL "java.io.PrintStream" method ($t.method (list $Object) #.None (list)) #0))] (|>> outI ($i.string "LOG: ") (printI "print") outI $i.SWAP (printI "println")))) @@ -42,7 +42,7 @@ (def: #export variantI $.Inst - ($i.INVOKESTATIC hostL.runtime-class "variant_make" variant-method false)) + ($i.INVOKESTATIC hostL.runtime-class "variant_make" variant-method #0)) (def: #export leftI $.Inst @@ -86,7 +86,7 @@ (def: #export string-concatI $.Inst - ($i.INVOKEVIRTUAL "java.lang.String" "concat" ($t.method (list $String) (#.Some $String) (list)) false)) + ($i.INVOKEVIRTUAL "java.lang.String" "concat" ($t.method (list $String) (#.Some $String) (list)) #0)) (def: #export partials-field Text "partials") (def: #export apply-method Text "apply") @@ -111,11 +111,11 @@ $i.with-label (function (_ @elem-end)) $i.with-label (function (_ @fold-end)) (let [on-normal-objectI (|>> ($i.ALOAD +0) - ($i.INVOKEVIRTUAL "java.lang.Object" "toString" ($t.method (list) (#.Some $String) (list)) false)) + ($i.INVOKEVIRTUAL "java.lang.Object" "toString" ($t.method (list) (#.Some $String) (list)) #0)) on-null-objectI ($i.string "NULL") arrayI (|>> ($i.ALOAD +0) ($i.CHECKCAST ($t.descriptor $Object-Array))) - recurseI ($i.INVOKESTATIC hostL.runtime-class "force_text" force-textMT false) + recurseI ($i.INVOKESTATIC hostL.runtime-class "force_text" force-textMT #0) force-elemI (|>> $i.DUP arrayI $i.SWAP $i.AALOAD recurseI) swap2 (|>> $i.DUP2_X2 ## X,Y => Y,X,Y $i.POP2 ## Y,X,Y => Y,X @@ -165,7 +165,7 @@ (def: #export force-textI $.Inst - ($i.INVOKESTATIC hostL.runtime-class "force_text" ($t.method (list $Object) (#.Some $String) (list)) false)) + ($i.INVOKESTATIC hostL.runtime-class "force_text" ($t.method (list $Object) (#.Some $String) (list)) #0)) (def: frac-shiftI $.Inst ($i.double (math.pow 32.0 2.0))) @@ -174,7 +174,7 @@ (|>> ($d.method #$.Public $.staticM "decode_frac" ($t.method (list $String) (#.Some $Object-Array) (list)) (try-methodI (|>> ($i.ALOAD +0) - ($i.INVOKESTATIC "java.lang.Double" "parseDouble" ($t.method (list $String) (#.Some $t.double) (list)) false) + ($i.INVOKESTATIC "java.lang.Double" "parseDouble" ($t.method (list $String) (#.Some $t.double) (list)) #0) ($i.wrap #$.Double)))) )) @@ -187,12 +187,12 @@ (|>> ($i.ALOAD +0) ($i.ILOAD +1) ($i.ILOAD +2) - ($i.INVOKEVIRTUAL "java.lang.String" "substring" ($t.method (list $t.int $t.int) (#.Some $String) (list)) false)))) + ($i.INVOKEVIRTUAL "java.lang.String" "substring" ($t.method (list $t.int $t.int) (#.Some $String) (list)) #0)))) ($d.method #$.Public $.staticM "text_char" ($t.method (list $String $t.int) (#.Some $Variant) (list)) (try-methodI (|>> ($i.ALOAD +0) ($i.ILOAD +1) - ($i.INVOKEVIRTUAL "java.lang.String" "codePointAt" ($t.method (list $t.int) (#.Some $t.int) (list)) false) + ($i.INVOKEVIRTUAL "java.lang.String" "codePointAt" ($t.method (list $t.int) (#.Some $t.int) (list)) #0) $i.I2L ($i.wrap #$.Long)))) )) @@ -207,13 +207,13 @@ (|>> ($i.NEW "java.lang.IllegalStateException") $i.DUP ($i.string "Invalid expression for pattern-matching.") - ($i.INVOKESPECIAL "java.lang.IllegalStateException" "" ($t.method (list $String) #.None (list)) false) + ($i.INVOKESPECIAL "java.lang.IllegalStateException" "" ($t.method (list $String) #.None (list)) #0) $i.ATHROW)) ($d.method #$.Public $.staticM "apply_fail" ($t.method (list) #.None (list)) (|>> ($i.NEW "java.lang.IllegalStateException") $i.DUP ($i.string "Error while applying function.") - ($i.INVOKESPECIAL "java.lang.IllegalStateException" "" ($t.method (list $String) #.None (list)) false) + ($i.INVOKESPECIAL "java.lang.IllegalStateException" "" ($t.method (list $String) #.None (list)) #0) $i.ATHROW)) ($d.method #$.Public $.staticM "pm_push" ($t.method (list $Stack $Object) (#.Some $Stack) (list)) (|>> ($i.int 2) @@ -312,7 +312,7 @@ $i.with-label (function (_ @slice)) (let [updated-idxI (|>> ($i.ILOAD +1) ($i.int 1) $i.IADD tuple-sizeI $i.ISUB) sliceI (|>> ($i.ALOAD +0) ($i.ILOAD +1) tuple-sizeI - ($i.INVOKESTATIC "java.util.Arrays" "copyOfRange" ($t.method (list $Object-Array $t.int $t.int) (#.Some $Object-Array) (list)) false))]) + ($i.INVOKESTATIC "java.util.Arrays" "copyOfRange" ($t.method (list $Object-Array $t.int $t.int) (#.Some $Object-Array) (list)) #0))]) (|>> ($i.label @begin) tuple-sizeI expected-last-sizeI @@ -335,14 +335,14 @@ $.Def (let [string-writerI (|>> ($i.NEW "java.io.StringWriter") $i.DUP - ($i.INVOKESPECIAL "java.io.StringWriter" "" ($t.method (list) #.None (list)) false)) + ($i.INVOKESPECIAL "java.io.StringWriter" "" ($t.method (list) #.None (list)) #0)) print-writerI (|>> ($i.NEW "java.io.PrintWriter") $i.SWAP $i.DUP2 $i.POP $i.SWAP - ($i.boolean true) - ($i.INVOKESPECIAL "java.io.PrintWriter" "" ($t.method (list ($t.class "java.io.Writer" (list)) $t.boolean) #.None (list)) false) + ($i.boolean #1) + ($i.INVOKESPECIAL "java.io.PrintWriter" "" ($t.method (list ($t.class "java.io.Writer" (list)) $t.boolean) #.None (list)) #0) )] (|>> ($d.method #$.Public $.staticM "try" ($t.method (list $Function) (#.Some $Variant) (list)) (<| $i.with-label (function (_ @from)) @@ -352,7 +352,7 @@ ($i.label @from) ($i.ALOAD +0) $i.NULL - ($i.INVOKEVIRTUAL hostL.function-class apply-method (apply-signature +1) false) + ($i.INVOKEVIRTUAL hostL.function-class apply-method (apply-signature +1) #0) rightI $i.ARETURN ($i.label @to) @@ -360,8 +360,8 @@ string-writerI ## TW $i.DUP2 ## TWTW print-writerI ## TWTP - ($i.INVOKEVIRTUAL "java.lang.Throwable" "printStackTrace" ($t.method (list ($t.class "java.io.PrintWriter" (list))) #.None (list)) false) ## TW - ($i.INVOKEVIRTUAL "java.io.StringWriter" "toString" ($t.method (list) (#.Some $String) (list)) false) ## TS + ($i.INVOKEVIRTUAL "java.lang.Throwable" "printStackTrace" ($t.method (list ($t.class "java.io.PrintWriter" (list))) #.None (list)) #0) ## TW + ($i.INVOKEVIRTUAL "java.io.StringWriter" "toString" ($t.method (list) (#.Some $String) (list)) #0) ## TS $i.SWAP $i.POP leftI $i.ARETURN))) ))) @@ -378,21 +378,21 @@ (|>> ($i.NEW hostL.runnable-class) $i.DUP functionI - ($i.INVOKESPECIAL hostL.runnable-class "" ($t.method (list $Function) #.None (list)) false)))) + ($i.INVOKESPECIAL hostL.runnable-class "" ($t.method (list $Function) #.None (list)) #0)))) threadI (: (-> $.Inst $.Inst) (function (_ runnableI) (|>> ($i.NEW "java.lang.Thread") $i.DUP runnableI - ($i.INVOKESPECIAL "java.lang.Thread" "" ($t.method (list $Runnable) #.None (list)) false))))] + ($i.INVOKESPECIAL "java.lang.Thread" "" ($t.method (list $Runnable) #.None (list)) #0))))] (|>> ($d.field #$.Public ($.++F $.finalF $.staticF) executor-field executorT) ($d.method #$.Public $.staticM "" ($t.method (list) #.None (list)) - (let [parallelism-levelI (|>> ($i.INVOKESTATIC "java.lang.Runtime" "getRuntime" ($t.method (list) (#.Some $Runtime) (list)) false) - ($i.INVOKEVIRTUAL "java.lang.Runtime" "availableProcessors" ($t.method (list) (#.Some $t.int) (list)) false)) + (let [parallelism-levelI (|>> ($i.INVOKESTATIC "java.lang.Runtime" "getRuntime" ($t.method (list) (#.Some $Runtime) (list)) #0) + ($i.INVOKEVIRTUAL "java.lang.Runtime" "availableProcessors" ($t.method (list) (#.Some $t.int) (list)) #0)) executorI (|>> ($i.NEW executor-class) $i.DUP parallelism-levelI - ($i.INVOKESPECIAL executor-class "" ($t.method (list $t.int) #.None (list)) false))] + ($i.INVOKESPECIAL executor-class "" ($t.method (list $t.int) #.None (list)) #0))] (|>> executorI ($i.PUTSTATIC hostL.runtime-class executor-field executorT) $i.RETURN))) @@ -410,10 +410,10 @@ (runnableI ($i.ALOAD +2)) delayI ($i.GETSTATIC time-unit-class "MILLISECONDS" time-unitT) - ($i.INVOKEVIRTUAL executor-class "schedule" ($t.method (list $Runnable $t.long time-unitT) (#.Some futureT) (list)) false)) + ($i.INVOKEVIRTUAL executor-class "schedule" ($t.method (list $Runnable $t.long time-unitT) (#.Some futureT) (list)) #0)) schedule-immediatelyI (|>> executorI (runnableI ($i.ALOAD +2)) - ($i.INVOKEVIRTUAL executor-class "execute" ($t.method (list $Runnable) #.None (list)) false))] + ($i.INVOKEVIRTUAL executor-class "execute" ($t.method (list $Runnable) #.None (list)) #0))] (<| $i.with-label (function (_ @immediately)) (|>> immediacy-checkI ($i.IFEQ @immediately) @@ -449,10 +449,10 @@ (list/map $i.ALOAD) $i.fuse)] (|>> preI - ($i.INVOKEVIRTUAL hostL.function-class apply-method (apply-signature (dec arity)) false) + ($i.INVOKEVIRTUAL hostL.function-class apply-method (apply-signature (dec arity)) #0) ($i.CHECKCAST hostL.function-class) ($i.ALOAD arity) - ($i.INVOKEVIRTUAL hostL.function-class apply-method (apply-signature +1) false) + ($i.INVOKEVIRTUAL hostL.function-class apply-method (apply-signature +1) #0) $i.ARETURN))))) (list& ($d.abstract-method #$.Public $.noneM apply-method (apply-signature +1))) $d.fuse) @@ -460,7 +460,7 @@ (|>> ($d.field #$.Public $.finalF partials-field $t.int) ($d.method #$.Public $.noneM "" ($t.method (list $t.int) #.None (list)) (|>> ($i.ALOAD +0) - ($i.INVOKESPECIAL "java.lang.Object" "" ($t.method (list) #.None (list)) false) + ($i.INVOKESPECIAL "java.lang.Object" "" ($t.method (list) #.None (list)) #0) ($i.ALOAD +0) ($i.ILOAD +1) ($i.PUTFIELD hostL.function-class partials-field $t.int) @@ -478,7 +478,7 @@ (|>> ($d.field #$.Public $.finalF procedure-field $Function) ($d.method #$.Public $.noneM "" ($t.method (list $Function) #.None (list)) (|>> ($i.ALOAD +0) - ($i.INVOKESPECIAL "java.lang.Object" "" ($t.method (list) #.None (list)) false) + ($i.INVOKESPECIAL "java.lang.Object" "" ($t.method (list) #.None (list)) #0) ($i.ALOAD +0) ($i.ALOAD +1) ($i.PUTFIELD hostL.runnable-class procedure-field $Function) @@ -487,7 +487,7 @@ (|>> ($i.ALOAD +0) ($i.GETFIELD hostL.runnable-class procedure-field $Function) $i.NULL - ($i.INVOKEVIRTUAL hostL.function-class apply-method (apply-signature +1) false) + ($i.INVOKEVIRTUAL hostL.function-class apply-method (apply-signature +1) #0) $i.RETURN)) ))] _ (commonT.store-class hostL.runnable-class bytecode)] diff --git a/new-luxc/source/luxc/lang/translation/jvm/statement.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/statement.jvm.lux index df9cd6be2..81b60e1ce 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/statement.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/statement.jvm.lux @@ -139,7 +139,7 @@ ($i.ASTORE +0))) run-ioI (|>> ($i.CHECKCAST hostL.function-class) $i.NULL - ($i.INVOKEVIRTUAL hostL.function-class runtimeT.apply-method (runtimeT.apply-signature +1) false)) + ($i.INVOKEVIRTUAL hostL.function-class runtimeT.apply-method (runtimeT.apply-signature +1) #0)) main-type ($t.method (list ($t.array +1 ($t.class "java.lang.String" (list)))) #.None (list))] diff --git a/new-luxc/source/luxc/lang/translation/jvm/structure.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/structure.jvm.lux index 9d3e4d097..8b636b1cf 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/structure.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/structure.jvm.lux @@ -59,4 +59,4 @@ ($t.method (list $t.int $Object $Object) (#.Some ($t.array +1 $Object)) (list)) - false))))) + #0))))) -- cgit v1.2.3