diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/target/jvm/attribute/code.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/library/lux/target/jvm/attribute/code.lux b/stdlib/source/library/lux/target/jvm/attribute/code.lux index 94498a51e..be5faff6f 100644 --- a/stdlib/source/library/lux/target/jvm/attribute/code.lux +++ b/stdlib/source/library/lux/target/jvm/attribute/code.lux @@ -9,7 +9,7 @@ [format ["[0]F" binary {"+" Writer} ("[1]#[0]" monoid)]] [collection - ["[0]" row {"+" Row} ("[1]#[0]" functor mix)]]] + ["[0]" sequence {"+" Sequence} ("[1]#[0]" functor mix)]]] [math [number ["n" nat]]]]] @@ -26,8 +26,8 @@ (Record [#limit Limit #code Binary - #exception_table (Row Exception) - #attributes (Row Attribute)])) + #exception_table (Sequence Exception) + #attributes (Sequence Attribute)])) (def: .public (length length code) (All (_ Attribute) (-> (-> Attribute Nat) (Code Attribute) Nat)) @@ -44,15 +44,15 @@ ... exception_table[exception_table_length]; (|> code (value@ #exception_table) - row.size + sequence.size (n.* /exception.length)) ... u2 attributes_count; ///unsigned.bytes/2 ... attribute_info attributes[attributes_count]; (|> code (value@ #attributes) - (row#each length) - (row#mix n.+ 0)))) + (sequence#each length) + (sequence#mix n.+ 0)))) (def: .public (equivalence attribute_equivalence) (All (_ attribute) @@ -60,8 +60,8 @@ ($_ product.equivalence ///limit.equivalence binary.equivalence - (row.equivalence /exception.equivalence) - (row.equivalence attribute_equivalence) + (sequence.equivalence /exception.equivalence) + (sequence.equivalence attribute_equivalence) )) ... https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-4.html#jvms-4.7.3 @@ -76,8 +76,8 @@ (binaryF.binary/32 (value@ #code code)) ... u2 exception_table_length; ... exception_table[exception_table_length]; - ((binaryF.row/16 /exception.writer) (value@ #exception_table code)) + ((binaryF.sequence/16 /exception.writer) (value@ #exception_table code)) ... u2 attributes_count; ... attribute_info attributes[attributes_count]; - ((binaryF.row/16 writer) (value@ #attributes code)) + ((binaryF.sequence/16 writer) (value@ #attributes code)) )) |