diff options
Diffstat (limited to 'stdlib/source/lux/target/jvm/attribute.lux')
| -rw-r--r-- | stdlib/source/lux/target/jvm/attribute.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/lux/target/jvm/attribute.lux b/stdlib/source/lux/target/jvm/attribute.lux index 946f58477..e2db85282 100644 --- a/stdlib/source/lux/target/jvm/attribute.lux +++ b/stdlib/source/lux/target/jvm/attribute.lux @@ -34,7 +34,7 @@ (Equivalence (Info about)))) ($_ equivalence.product //index.equivalence - //encoding.u4-equivalence + //encoding.equivalence Equivalence<about>)) (def: (info-writer writer) @@ -78,7 +78,7 @@ (case attribute (^template [<tag>] (<tag> [name length info]) - (|> length //encoding.from-u4 .nat (n/+ fixed-attribute-length))) + (|> length //encoding.nat .nat (n/+ fixed-attribute-length))) ([#Constant] [#Code]))) (def: constant-name "ConstantValue") @@ -86,7 +86,7 @@ (def: (constant' @name index) (-> (Index UTF8) Constant Attribute) (#Constant {#name @name - #length (//encoding.to-u4 /constant.length) + #length (//encoding.u4 /constant.length) #info index})) (def: #export (constant index) @@ -101,7 +101,7 @@ (-> (Index UTF8) Code Attribute) (#Code {#name @name ## https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-4.html#jvms-4.7.3 - #length (//encoding.to-u4 + #length (//encoding.u4 (/code.length ..length specification)) #info specification})) |