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. --- new-luxc/source/luxc/lang/host.jvm.lux | 2 +- new-luxc/source/luxc/lang/host/common-lisp.lux | 4 +- new-luxc/source/luxc/lang/host/jvm.lux | 4 +- new-luxc/source/luxc/lang/host/jvm/inst.lux | 4 +- new-luxc/source/luxc/lang/host/php.lux | 8 +-- new-luxc/source/luxc/lang/host/python.lux | 4 +- new-luxc/source/luxc/lang/host/r.lux | 4 +- new-luxc/source/luxc/lang/host/ruby.lux | 4 +- .../luxc/lang/translation/common-lisp/case.jvm.lux | 2 +- .../luxc/lang/translation/common-lisp/eval.jvm.lux | 4 +- .../lang/translation/common-lisp/runtime.jvm.lux | 14 ++--- new-luxc/source/luxc/lang/translation/js.lux | 6 +-- .../luxc/lang/translation/js/imports.jvm.lux | 2 +- .../luxc/lang/translation/js/runtime.jvm.lux | 8 +-- .../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 +- .../luxc/lang/translation/lua/function.jvm.lux | 2 +- .../luxc/lang/translation/lua/runtime.jvm.lux | 14 ++--- .../source/luxc/lang/translation/php/eval.jvm.lux | 4 +- .../luxc/lang/translation/php/runtime.jvm.lux | 12 ++--- .../luxc/lang/translation/python/function.jvm.lux | 2 +- .../luxc/lang/translation/python/runtime.jvm.lux | 12 ++--- .../source/luxc/lang/translation/r/runtime.jvm.lux | 14 ++--- .../luxc/lang/translation/ruby/function.jvm.lux | 2 +- .../luxc/lang/translation/ruby/runtime.jvm.lux | 12 ++--- new-luxc/source/luxc/repl.lux | 8 +-- 33 files changed, 164 insertions(+), 164 deletions(-) (limited to 'new-luxc/source') diff --git a/new-luxc/source/luxc/lang/host.jvm.lux b/new-luxc/source/luxc/lang/host.jvm.lux index b9f0588b1..b207fdad7 100644 --- a/new-luxc/source/luxc/lang/host.jvm.lux +++ b/new-luxc/source/luxc/lang/host.jvm.lux @@ -47,7 +47,7 @@ (host.class-for java/lang/ClassLoader)) (#e.Success method) (do-to method - (AccessibleObject::setAccessible [true])) + (AccessibleObject::setAccessible [#1])) (#e.Error error) (error! error))) diff --git a/new-luxc/source/luxc/lang/host/common-lisp.lux b/new-luxc/source/luxc/lang/host/common-lisp.lux index fb6a933df..2acc52700 100644 --- a/new-luxc/source/luxc/lang/host/common-lisp.lux +++ b/new-luxc/source/luxc/lang/host/common-lisp.lux @@ -54,8 +54,8 @@ (def: #export bool (-> Bit Expression) - (|>> (case> true (:abstraction "t") - false ..nil))) + (|>> (case> #0 ..nil + #1 (:abstraction "t")))) (def: #export int (-> Int Expression) diff --git a/new-luxc/source/luxc/lang/host/jvm.lux b/new-luxc/source/luxc/lang/host/jvm.lux index 3c5fa3150..adb24b8c0 100644 --- a/new-luxc/source/luxc/lang/host/jvm.lux +++ b/new-luxc/source/luxc/lang/host/jvm.lux @@ -93,7 +93,7 @@ (` (def: (~' #export) (~ (code.local-symbol option)) (~ g!type) (|> (~ g!none) - (set@ (~ (code.local-tag option)) true))))) + (set@ (~ (code.local-tag option)) #1))))) options)] (wrap (list& (` (type: (~' #export) (~ g!type) (~ (code.record (list/map (function (_ tag) @@ -103,7 +103,7 @@ (` (def: (~' #export) (~ g!none) (~ g!type) (~ (code.record (list/map (function (_ tag) - [tag (` false)]) + [tag (` #0)]) g!tags+))))) (` (def: (~' #export) ((~ (code.local-symbol ++)) (~ g!_left) (~ g!_right)) diff --git a/new-luxc/source/luxc/lang/host/jvm/inst.lux b/new-luxc/source/luxc/lang/host/jvm/inst.lux index 3f0f68def..393200a28 100644 --- a/new-luxc/source/luxc/lang/host/jvm/inst.lux +++ b/new-luxc/source/luxc/lang/host/jvm/inst.lux @@ -358,7 +358,7 @@ (//type.method (list (#//.Primitive type)) (#.Some (//type.class class (list))) (list)) - false)))) + #0)))) (def: #export (unwrap type) (-> //.Primitive //.Inst) @@ -366,7 +366,7 @@ (|>> (CHECKCAST class) (INVOKEVIRTUAL class (primitive-unwrap type) (//type.method (list) (#.Some (#//.Primitive type)) (list)) - false)))) + #0)))) (def: #export (fuse insts) (-> (List //.Inst) //.Inst) diff --git a/new-luxc/source/luxc/lang/host/php.lux b/new-luxc/source/luxc/lang/host/php.lux index 34c7c0535..6ab97ee52 100644 --- a/new-luxc/source/luxc/lang/host/php.lux +++ b/new-luxc/source/luxc/lang/host/php.lux @@ -61,8 +61,8 @@ (-> Var Argument) (|>> []))] - [parameter false] - [reference true] + [parameter #0] + [reference #1] ) (def: arguments @@ -83,8 +83,8 @@ (def: #export bool (-> Bit Computation) - (|>> (case> true "true" - false "false") + (|>> (case> #0 "false" + #1 "true") :abstraction)) (def: #export int diff --git a/new-luxc/source/luxc/lang/host/python.lux b/new-luxc/source/luxc/lang/host/python.lux index e39ce5571..43c8b28a3 100644 --- a/new-luxc/source/luxc/lang/host/python.lux +++ b/new-luxc/source/luxc/lang/host/python.lux @@ -49,8 +49,8 @@ (def: #export bool (-> Bit Expression) - (|>> (case> true "True" - false "False") + (|>> (case> #0 "False" + #1 "True") :abstraction)) (def: #export int diff --git a/new-luxc/source/luxc/lang/host/r.lux b/new-luxc/source/luxc/lang/host/r.lux index 4655c1343..8cd802df9 100644 --- a/new-luxc/source/luxc/lang/host/r.lux +++ b/new-luxc/source/luxc/lang/host/r.lux @@ -67,8 +67,8 @@ (def: #export bool (-> Bit Expression) - (|>> (case> true "TRUE" - false "FALSE") + (|>> (case> #0 "FALSE" + #1 "TRUE") self-contained)) (def: #export (int value) diff --git a/new-luxc/source/luxc/lang/host/ruby.lux b/new-luxc/source/luxc/lang/host/ruby.lux index 51b0d7ea7..61e945af0 100644 --- a/new-luxc/source/luxc/lang/host/ruby.lux +++ b/new-luxc/source/luxc/lang/host/ruby.lux @@ -19,8 +19,8 @@ (def: #export bool (-> Bit Expression) - (|>> (case> true "true" - false "false"))) + (|>> (case> #0 "false" + #1 "true"))) (def: #export int (-> Int Expression) diff --git a/new-luxc/source/luxc/lang/translation/common-lisp/case.jvm.lux b/new-luxc/source/luxc/lang/translation/common-lisp/case.jvm.lux index 373d23ae4..78149471d 100644 --- a/new-luxc/source/luxc/lang/translation/common-lisp/case.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/common-lisp/case.jvm.lux @@ -89,7 +89,7 @@ (def: (pm-catch handler) (-> Expression Handler) - [(_.bool true) $alt_error + [(_.bool #1) $alt_error (_.progn (list (_.setq! $alt_error (_.format/3 _.nil (_.string "~A") (@@ $alt_error))) diff --git a/new-luxc/source/luxc/lang/translation/common-lisp/eval.jvm.lux b/new-luxc/source/luxc/lang/translation/common-lisp/eval.jvm.lux index c88e83ed5..54b77e60d 100644 --- a/new-luxc/source/luxc/lang/translation/common-lisp/eval.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/common-lisp/eval.jvm.lux @@ -124,11 +124,11 @@ (#e.Success (DoubleFloat::doubleValue [] (:coerce DoubleFloat host-object))) (host.instance? org/armedbear/lisp/Nil host-object) - (#e.Success false) + (#e.Success #0) (host.instance? org/armedbear/lisp/Symbol host-object) (if (is? Symbol::T (:coerce Symbol host-object)) - (#e.Success true) + (#e.Success #1) (ex.throw Unknown-Kind-Of-Host-Object (:coerce Object host-object))) (host.instance? org/armedbear/lisp/SimpleString host-object) diff --git a/new-luxc/source/luxc/lang/translation/common-lisp/runtime.jvm.lux b/new-luxc/source/luxc/lang/translation/common-lisp/runtime.jvm.lux index 43c1fd2a0..fe0a620d9 100644 --- a/new-luxc/source/luxc/lang/translation/common-lisp/runtime.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/common-lisp/runtime.jvm.lux @@ -37,19 +37,19 @@ (def: #export none Expression - (variant +0 false unit)) + (variant +0 #0 unit)) (def: #export some (-> Expression Expression) - (variant +1 true)) + (variant +1 #1)) (def: #export left (-> Expression Expression) - (variant +0 false)) + (variant +0 #0)) (def: #export right (-> Expression Expression) - (variant +1 true)) + (variant +1 #1)) (type: Runtime Expression) @@ -105,7 +105,7 @@ (runtime: (lux//try op) (with-vars [error] (_.handler-case - (list [(_.bool true) error + (list [(_.bool #1) error (..left (_.format/3 _.nil (_.string "~A") (@@ error)))]) (..right (_.funcall (list ..unit) (@@ op)))))) @@ -272,8 +272,8 @@ (_.if (_.eq (@@ old) (@@ temp)) (_.progn (list (_.setf! (_.svref (@@ atom) (_.int 0)) (@@ new)) - (_.bool true))) - (_.bool false))))) + (_.bool #1))) + (_.bool #0))))) (def: runtime//atom Runtime diff --git a/new-luxc/source/luxc/lang/translation/js.lux b/new-luxc/source/luxc/lang/translation/js.lux index 9a7f55dd0..9daf7330c 100644 --- a/new-luxc/source/luxc/lang/translation/js.lux +++ b/new-luxc/source/luxc/lang/translation/js.lux @@ -191,7 +191,7 @@ (object [] AbstractJSObject [] [] (AbstractJSObject (isFunction) boolean - true) + #1) (AbstractJSObject (call [args (Array Object)]) Object (Object::toString [] (:coerce Object js-object))) )) @@ -201,7 +201,7 @@ (object [] AbstractJSObject [] [] (AbstractJSObject (isFunction) boolean - true) + #1) (AbstractJSObject (call [args (Array Object)]) Object (:coerce Object (js-object (Arrays::copyOfRange [value @@ -264,7 +264,7 @@ (StructureValue (getValue) (Array Object) (:coerce (Array Object) value)) (AbstractJSObject (isArray) boolean - true) + #1) (AbstractJSObject (getMember [member String]) Object (cond (text/= "toString" member) (:coerce Object diff --git a/new-luxc/source/luxc/lang/translation/js/imports.jvm.lux b/new-luxc/source/luxc/lang/translation/js/imports.jvm.lux index cbd4b2752..36500e737 100644 --- a/new-luxc/source/luxc/lang/translation/js/imports.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/js/imports.jvm.lux @@ -51,7 +51,7 @@ already-seen? (moduleL.exists? dependency) circular-dependency? (if already-seen? (moduleL.active? dependency) - (wrap false)) + (wrap #0)) _ (lang.assert Circular-Dependency (format "From: " current-module "\n" " To: " dependency) (not circular-dependency?)) diff --git a/new-luxc/source/luxc/lang/translation/js/runtime.jvm.lux b/new-luxc/source/luxc/lang/translation/js/runtime.jvm.lux index 8adfd22bf..fca27344e 100644 --- a/new-luxc/source/luxc/lang/translation/js/runtime.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/js/runtime.jvm.lux @@ -31,19 +31,19 @@ (def: none Expression - (variant +0 false unit)) + (variant +0 #0 unit)) (def: some (-> Expression Expression) - (variant +1 true)) + (variant +1 #1)) (def: left (-> Expression Expression) - (variant +0 false)) + (variant +0 #0)) (def: right (-> Expression Expression) - (variant +1 true)) + (variant +1 #1)) (type: Runtime JS) 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))))) diff --git a/new-luxc/source/luxc/lang/translation/lua/function.jvm.lux b/new-luxc/source/luxc/lang/translation/lua/function.jvm.lux index 02b322de6..451e9dbb4 100644 --- a/new-luxc/source/luxc/lang/translation/lua/function.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/lua/function.jvm.lux @@ -67,7 +67,7 @@ (lua.if! (lua.= arityO "num_args") (lua.block! (list selfO (lua.block! args-initsO+) - (lua.while! (lua.bool true) + (lua.while! (lua.bool #1) (lua.return! bodyO)))) (let [unpack (|>> (list) (lua.apply "table.unpack")) recur (|>> (list) (lua.apply function-name))] diff --git a/new-luxc/source/luxc/lang/translation/lua/runtime.jvm.lux b/new-luxc/source/luxc/lang/translation/lua/runtime.jvm.lux index 6be20a0e6..7c45f0786 100644 --- a/new-luxc/source/luxc/lang/translation/lua/runtime.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/lua/runtime.jvm.lux @@ -34,19 +34,19 @@ (def: none Expression - (variant +0 false unit)) + (variant +0 #0 unit)) (def: some (-> Expression Expression) - (variant +1 true)) + (variant +1 #1)) (def: left (-> Expression Expression) - (variant +0 false)) + (variant +0 #0)) (def: right (-> Expression Expression) - (variant +1 true)) + (variant +1 #1)) (type: Runtime Lua) @@ -189,7 +189,7 @@ @@bit//logical-right-shift) (runtime: (text//index subject param start) - (lua.block! (list (lua.local! "idx" (#.Some (lua.apply "string.find" (list subject param start (lua.bool true))))) + (lua.block! (list (lua.local! "idx" (#.Some (lua.apply "string.find" (list subject param start (lua.bool #1))))) (lua.if! (lua.= lua.nil "idx") (lua.return! none) (lua.return! (some "idx")))))) @@ -255,8 +255,8 @@ (let [atom//field (lua.string atom//field)] (lua.if! (lua.= old (lua.nth atom//field atom)) (lua.block! (list (lua.set! (lua.nth atom//field atom) new) - (lua.return! (lua.bool true)))) - (lua.return! (lua.bool false))))) + (lua.return! (lua.bool #1)))) + (lua.return! (lua.bool #0))))) (def: runtime//atom Runtime diff --git a/new-luxc/source/luxc/lang/translation/php/eval.jvm.lux b/new-luxc/source/luxc/lang/translation/php/eval.jvm.lux index 3768bb5c7..3bfd5578a 100644 --- a/new-luxc/source/luxc/lang/translation/php/eval.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/php/eval.jvm.lux @@ -97,10 +97,10 @@ (def: (lux-object host-object) (-> Object (Error Any)) (cond (host.instance? php/runtime/memory/FalseMemory host-object) - (ex.return false) + (ex.return #0) (host.instance? php/runtime/memory/TrueMemory host-object) - (ex.return true) + (ex.return #1) (host.instance? php/runtime/memory/LongMemory host-object) (ex.return (LongMemory::toLong [] (:coerce LongMemory host-object))) diff --git a/new-luxc/source/luxc/lang/translation/php/runtime.jvm.lux b/new-luxc/source/luxc/lang/translation/php/runtime.jvm.lux index 045f8ceb7..7feb0033c 100644 --- a/new-luxc/source/luxc/lang/translation/php/runtime.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/php/runtime.jvm.lux @@ -36,19 +36,19 @@ (def: #export none Computation - (variant +0 false unit)) + (variant +0 #0 unit)) (def: #export some (-> Expression Computation) - (variant +1 true)) + (variant +1 #1)) (def: #export left (-> Expression Computation) - (variant +0 false)) + (variant +0 #0)) (def: #export right (-> Expression Computation) - (variant +1 true)) + (variant +1 #1)) (type: Runtime Statement) @@ -306,8 +306,8 @@ ## (_.if! (_.= old (_.nth atom//field atom)) ## ($_ _.then! ## (_.set-nth! atom//field new atom) -## (_.return! (_.bool true))) -## (_.return! (_.bool false))))) +## (_.return! (_.bool #1))) +## (_.return! (_.bool #0))))) ## (def: runtime//atom ## Runtime diff --git a/new-luxc/source/luxc/lang/translation/python/function.jvm.lux b/new-luxc/source/luxc/lang/translation/python/function.jvm.lux index 32522d1c0..d081dd52b 100644 --- a/new-luxc/source/luxc/lang/translation/python/function.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/python/function.jvm.lux @@ -80,7 +80,7 @@ ($_ python.then! (python.set! (list (referenceT.variable +0)) @function) args-initsO+ - (python.while! (python.bool true) + (python.while! (python.bool #1) (python.return! bodyO))) (python.if! (python.> arityO @num_args) (let [arity-args (python.slice (python.int 0) arityO @curried) diff --git a/new-luxc/source/luxc/lang/translation/python/runtime.jvm.lux b/new-luxc/source/luxc/lang/translation/python/runtime.jvm.lux index 70ce11a94..68af2d630 100644 --- a/new-luxc/source/luxc/lang/translation/python/runtime.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/python/runtime.jvm.lux @@ -36,19 +36,19 @@ (def: #export none Expression - (variant +0 false unit)) + (variant +0 #0 unit)) (def: #export some (-> Expression Expression) - (variant +1 true)) + (variant +1 #1)) (def: #export left (-> Expression Expression) - (variant +0 false)) + (variant +0 #0)) (def: #export right (-> Expression Expression) - (variant +1 true)) + (variant +1 #1)) (type: Runtime Statement) @@ -340,8 +340,8 @@ (python.if! (python.= old (python.nth atom//field atom)) ($_ python.then! (python.set-nth! atom//field new atom) - (python.return! (python.bool true))) - (python.return! (python.bool false))))) + (python.return! (python.bool #1))) + (python.return! (python.bool #0))))) (def: runtime//atom Runtime diff --git a/new-luxc/source/luxc/lang/translation/r/runtime.jvm.lux b/new-luxc/source/luxc/lang/translation/r/runtime.jvm.lux index cf0b87d78..3ea37ae85 100644 --- a/new-luxc/source/luxc/lang/translation/r/runtime.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/r/runtime.jvm.lux @@ -64,19 +64,19 @@ (def: #export none Expression - (variant +0 false unit)) + (variant +0 #0 unit)) (def: #export some (-> Expression Expression) - (variant +1 true)) + (variant +1 #1)) (def: #export left (-> Expression Expression) - (variant +0 false)) + (variant +0 #0)) (def: #export right (-> Expression Expression) - (variant +1 true)) + (variant +1 #1)) (type: Runtime Expression) @@ -690,7 +690,7 @@ (text-clip (inc (@@ startF)) (inc (@@ subjectL)) (@@ subject)))) - (list ["fixed" (r.bool true)]) + (list ["fixed" (r.bool #1)]) (r.global "regexpr")) (r.nth (r.int 1)))) (r.if (|> (@@ idx) (r.= (r.int -1))) @@ -771,8 +771,8 @@ (r.if (|> (@@ atom) (r.nth atom//field) (r.= (@@ old))) ($_ r.then (r.set-nth! atom//field (@@ new) atom) - (r.bool true)) - (r.bool false)))) + (r.bool #1)) + (r.bool #0)))) (def: runtime//atom Runtime diff --git a/new-luxc/source/luxc/lang/translation/ruby/function.jvm.lux b/new-luxc/source/luxc/lang/translation/ruby/function.jvm.lux index aecabc914..64c2bba2e 100644 --- a/new-luxc/source/luxc/lang/translation/ruby/function.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/ruby/function.jvm.lux @@ -62,7 +62,7 @@ (ruby.if! (ruby.= arityO "num_args") (ruby.block! (list selfO args-initsO+ - (ruby.while! (ruby.bool true) + (ruby.while! (ruby.bool #1) (ruby.return! bodyO)))) (ruby.return! (let [recur (function (_ args) (ruby.call (list args) function-name))] (ruby.? (ruby.> arityO "num_args") diff --git a/new-luxc/source/luxc/lang/translation/ruby/runtime.jvm.lux b/new-luxc/source/luxc/lang/translation/ruby/runtime.jvm.lux index 9d0d0f890..4ab5417a1 100644 --- a/new-luxc/source/luxc/lang/translation/ruby/runtime.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/ruby/runtime.jvm.lux @@ -34,19 +34,19 @@ (def: #export none Expression - (variant +0 false unit)) + (variant +0 #0 unit)) (def: #export some (-> Expression Expression) - (variant +1 true)) + (variant +1 #1)) (def: #export left (-> Expression Expression) - (variant +0 false)) + (variant +0 #0)) (def: #export right (-> Expression Expression) - (variant +1 true)) + (variant +1 #1)) (type: Runtime Ruby) @@ -228,8 +228,8 @@ (let [atom//field (ruby.string atom//field)] (ruby.if! (ruby.= old (ruby.nth atom//field atom)) (ruby.block! (list (ruby.set-nth! atom//field new atom) - (ruby.return! (ruby.bool true)))) - (ruby.return! (ruby.bool false))))) + (ruby.return! (ruby.bool #1)))) + (ruby.return! (ruby.bool #0))))) (def: runtime//atom Runtime diff --git a/new-luxc/source/luxc/repl.lux b/new-luxc/source/luxc/repl.lux index 9df2d181d..df046700c 100644 --- a/new-luxc/source/luxc/repl.lux +++ b/new-luxc/source/luxc/repl.lux @@ -108,7 +108,7 @@ compiler (initialize source-dirs target-dir console)] (loop [compiler compiler source fresh-source - multi-line? false] + multi-line? #0] (do @ [_ (if multi-line? (console.write " " console) @@ -126,11 +126,11 @@ (#e.Success [compiler' [source' exprT exprV]]) (do @ [_ (console.write (represent compiler' exprT exprV) console)] - (recur compiler' source' false)) + (recur compiler' source' #0)) (#e.Error error) (if (ex.match? syntax.end-of-file error) - (recur compiler source true) + (recur compiler source #1) (exec (log! (ex.construct repl-error error)) - (recur compiler fresh-source false)))))) + (recur compiler fresh-source #0)))))) ))) -- cgit v1.2.3