diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/target/jvm/bytecode.lux | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/stdlib/source/library/lux/target/jvm/bytecode.lux b/stdlib/source/library/lux/target/jvm/bytecode.lux index c7fee0eed..cbcd7bf6a 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode.lux @@ -19,7 +19,7 @@ [collection ["[0]" list ("[1]#[0]" functor mix)] ["[0]" dictionary {"+" Dictionary}] - ["[0]" row {"+" Row}]]] + ["[0]" sequence {"+" Sequence}]]] [macro ["[0]" template]] [math @@ -70,11 +70,11 @@ #known (dictionary.empty n.hash)]) (type: .public Relative - (-> Resolver (Try [(Row Exception) Instruction]))) + (-> Resolver (Try [(Sequence Exception) Instruction]))) (def: no_exceptions - (Row Exception) - row.empty) + (Sequence Exception) + sequence.empty) (def: relative_identity Relative @@ -97,7 +97,7 @@ (do try.monad [[left_exceptions left_instruction] (left resolver) [right_exceptions right_instruction] (right resolver)] - (in [(# row.monoid composite left_exceptions right_exceptions) + (in [(# sequence.monoid composite left_exceptions right_exceptions) (_#composite left_instruction right_instruction)])))))) (type: .public (Bytecode a) @@ -174,7 +174,7 @@ (..failure (exception.error exception value))) (def: .public (resolve environment bytecode) - (All (_ a) (-> Environment (Bytecode a) (Resource [Environment (Row Exception) Instruction a]))) + (All (_ a) (-> Environment (Bytecode a) (Resource [Environment (Sequence Exception) Instruction a]))) (function (_ pool) (do try.monad [[[pool environment tracker] [relative output]] (bytecode [pool environment ..fresh]) @@ -1038,10 +1038,11 @@ (in []) (exception.except ..invalid_range_for_try [@start @end])) [_ @handler] (..resolve_label @handler resolver)] - (in [(row.row [//exception.#start @start - //exception.#end @end - //exception.#handler @handler - //exception.#catch @catch]) + (in [(sequence.sequence + [//exception.#start @start + //exception.#end @end + //exception.#handler @handler + //exception.#catch @catch]) _.empty]))) []]]}))) |