diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/target/jvm/bytecode.lux | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/stdlib/source/lux/target/jvm/bytecode.lux b/stdlib/source/lux/target/jvm/bytecode.lux index 31b99e9cf..008610b11 100644 --- a/stdlib/source/lux/target/jvm/bytecode.lux +++ b/stdlib/source/lux/target/jvm/bytecode.lux @@ -20,7 +20,7 @@ ["i" int] ["." i32 (#+ I32)]] [collection - ["." list ("#//." functor fold)] + ["." list ("#\." functor fold)] ["." dictionary (#+ Dictionary)] ["." row (#+ Row)]]] [macro @@ -28,7 +28,7 @@ ["." / #_ ["#." address (#+ Address)] ["#." jump (#+ Jump Big-Jump)] - ["_" instruction (#+ Primitive-Array-Type Instruction Estimator) ("#//." monoid)] + ["_" instruction (#+ Primitive-Array-Type Instruction Estimator) ("#\." monoid)] ["#." environment (#+ Environment) [limit ["/." registry (#+ Register Registry)] @@ -93,7 +93,7 @@ [[left-exceptions left-instruction] (left resolver) [right-exceptions right-instruction] (right resolver)] (wrap [(:: row.monoid compose left-exceptions right-exceptions) - (_//compose left-instruction right-instruction)])))))) + (_\compose left-instruction right-instruction)])))))) (type: #export (Bytecode a) (State' Try [Pool Environment Tracker] (Writer Relative a))) @@ -467,7 +467,7 @@ (-> <type> (Bytecode Any)) (case (|> value <to-lux>) (^template [<special> <instruction>] - <special> (..bytecode $0 $1 @_ <instruction> [])) + [<special> (..bytecode $0 $1 @_ <instruction> [])]) <specializations> _ (do ..monad @@ -517,7 +517,7 @@ (..arbitrary-float value) (case (|> value host.float-to-double (:coerce Frac)) (^template [<special> <instruction>] - <special> (..bytecode $0 $1 @_ <instruction> [])) + [<special> (..bytecode $0 $1 @_ <instruction> [])]) ([+0.0 _.fconst-0] [+1.0 _.fconst-1] [+2.0 _.fconst-2]) @@ -529,7 +529,7 @@ (-> <type> (Bytecode Any)) (case (|> value <to-lux>) (^template [<special> <instruction>] - <special> (..bytecode $0 $2 @_ <instruction> [])) + [<special> (..bytecode $0 $2 @_ <instruction> [])]) <specializations> _ (do ..monad @@ -563,7 +563,7 @@ (..arbitrary-double value) (case value (^template [<special> <instruction>] - <special> (..bytecode $0 $2 @_ <instruction> [])) + [<special> (..bytecode $0 $2 @_ <instruction> [])]) ([+0.0 _.dconst-0] [+1.0 _.dconst-1]) @@ -843,7 +843,7 @@ (wrap (let [@from (get@ #program-counter tracker)] [[pool environment' - (|> (list//fold (..acknowledge-label actual) tracker (list& default at-minimum afterwards)) + (|> (list\fold (..acknowledge-label actual) tracker (list& default at-minimum afterwards)) (set@ #program-counter program-counter'))] [(function (_ resolver) (let [get (: (-> Label (Maybe [Stack (Maybe Address)])) @@ -886,7 +886,7 @@ (wrap (let [@from (get@ #program-counter tracker)] [[pool environment' - (|> (list//fold (..acknowledge-label actual) tracker (list& default (list//map product.right cases))) + (|> (list\fold (..acknowledge-label actual) tracker (list& default (list\map product.right cases))) (set@ #program-counter program-counter'))] [(function (_ resolver) (let [get (: (-> Label (Maybe [Stack (Maybe Address)])) @@ -903,7 +903,7 @@ [>default (:: ! map ..big-jump (..jump @from @default)) >cases (|> @cases (monad.map ! (|>> (..jump @from) (:: ! map ..big-jump))) - (:: ! map (|>> (list.zip/2 (list//map product.left cases)))))] + (:: ! map (|>> (list.zip/2 (list\map product.left cases)))))] (wrap [..no-exceptions (bytecode >default >cases)])) #.None @@ -970,8 +970,8 @@ {#//constant/pool.name method #//constant/pool.descriptor (type.descriptor type)}) #let [consumption (|> inputs - (list//map ..type-size) - (list//fold n.+ (if <static?> 0 1)) + (list\map ..type-size) + (list\fold n.+ (if <static?> 0 1)) //unsigned.u1 try.assume) production (|> output ..type-size //unsigned.u1 try.assume)]] |