diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/target/jvm/constant/pool.lux | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/library/lux/target/jvm/constant/pool.lux b/stdlib/source/library/lux/target/jvm/constant/pool.lux index 65d5847b7..a7c488b49 100644 --- a/stdlib/source/library/lux/target/jvm/constant/pool.lux +++ b/stdlib/source/library/lux/target/jvm/constant/pool.lux @@ -14,7 +14,7 @@ ["[0]" format "_" ["[1]" binary {"+" Writer} ("specification#[0]" monoid)]] [collection - ["[0]" row {"+" Row} ("[1]#[0]" mix)]]] + ["[0]" sequence {"+" Sequence} ("[1]#[0]" mix)]]] [macro ["[0]" template]] [math @@ -36,13 +36,13 @@ ["[1][0]" descriptor {"+" Descriptor}]]]]) (type: .public Pool - [Index (Row [Index Constant])]) + [Index (Sequence [Index Constant])]) (def: .public equivalence (Equivalence Pool) (product.equivalence //index.equivalence - (row.equivalence (product.equivalence //index.equivalence - //.equivalence)))) + (sequence.equivalence (product.equivalence //index.equivalence + //.equivalence)))) (type: .public (Resource a) (+State Try Pool a)) @@ -56,7 +56,7 @@ (let [<value>' <value>] (with_expansions [<try_again> (as_is (again (.++ idx)))] (loop [idx 0] - (case (row.item idx pool) + (case (sequence.item idx pool) {try.#Success entry} (case entry [index {<tag> reference}] @@ -78,7 +78,7 @@ (//unsigned.+/2 @new) (# ! each //index.index)))] (in [[next - (row.suffix [current new] pool)] + (sequence.suffix [current new] pool)] current]))))))))]) (template: (!index <index>) @@ -149,12 +149,12 @@ (def: .public writer (Writer Pool) (function (_ [next pool]) - (row#mix (function (_ [_index post] pre) - (specification#composite pre (//.writer post))) - (format.bits/16 (!index next)) - pool))) + (sequence#mix (function (_ [_index post] pre) + (specification#composite pre (//.writer post))) + (format.bits/16 (!index next)) + pool))) (def: .public empty Pool [(|> 1 //unsigned.u2 try.trusted //index.index) - row.empty]) + sequence.empty]) |