1 files changed, 17 insertions, 17 deletions
diff --git a/stdlib/source/library/lux/target/jvm/attribute/code.lux b/stdlib/source/library/lux/target/jvm/attribute/code.lux
index 733fd4d7c..1c1cb95a9 100644
--- a/stdlib/source/library/lux/target/jvm/attribute/code.lux
+++ b/stdlib/source/library/lux/target/jvm/attribute/code.lux
@@ -31,23 +31,23 @@
 (def: .public (length length code)
   (All [Attribute] (-> (-> Attribute Nat) (Code Attribute) Nat))
   ($_ n.+
-      ## u2 max_stack;
-      ## u2 max_locals;
+      ... u2 max_stack;
+      ... u2 max_locals;
       ///limit.length
-      ## u4 code_length;
+      ... u4 code_length;
       ///unsigned.bytes/4
-      ## u1 code[code_length];
+      ... u1 code[code_length];
       (binary.size (get@ #code code))
-      ## u2 exception_table_length;
+      ... u2 exception_table_length;
       ///unsigned.bytes/2
-      ## exception_table[exception_table_length];
+      ... exception_table[exception_table_length];
       (|> code
           (get@ #exception_table)
           row.size
           (n.* /exception.length))
-      ## u2 attributes_count;
+      ... u2 attributes_count;
       ///unsigned.bytes/2
-      ## attribute_info attributes[attributes_count];
+      ... attribute_info attributes[attributes_count];
       (|> code
           (get@ #attributes)
           (row\map length)
@@ -63,20 +63,20 @@
       (row.equivalence attribute_equivalence)
       ))
 
-## https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-4.html#jvms-4.7.3
+... https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-4.html#jvms-4.7.3
 (def: .public (writer writer code)
   (All [Attribute] (-> (Writer Attribute) (Writer (Code Attribute))))
   ($_ binaryF\compose
-      ## u2 max_stack;
-      ## u2 max_locals;
+      ... u2 max_stack;
+      ... u2 max_locals;
       (///limit.writer (get@ #limit code))
-      ## u4 code_length;
-      ## u1 code[code_length];
+      ... u4 code_length;
+      ... u1 code[code_length];
       (binaryF.binary/32 (get@ #code code))
-      ## u2 exception_table_length;
-      ## exception_table[exception_table_length];
+      ... u2 exception_table_length;
+      ... exception_table[exception_table_length];
       ((binaryF.row/16 /exception.writer) (get@ #exception_table code))
-      ## u2 attributes_count;
-      ## attribute_info attributes[attributes_count];
+      ... u2 attributes_count;
+      ... attribute_info attributes[attributes_count];
       ((binaryF.row/16 writer) (get@ #attributes code))
       ))