1 files changed, 37 insertions, 39 deletions
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/address.lux b/stdlib/source/library/lux/target/jvm/bytecode/address.lux
index 063c3eff6..2908238d5 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/address.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/address.lux
@@ -24,53 +24,51 @@
      ["[1][0]" signed {"+" [S4]}]]]])
 
 (abstract: .public Address
-  {}
-  
   U2
 
-  (def: .public value
-    (-> Address U2)
-    (|>> :representation))
+  [(def: .public value
+     (-> Address U2)
+     (|>> :representation))
 
-  (def: .public start
-    Address
-    (|> 0 ///unsigned.u2 try.trusted :abstraction))
+   (def: .public start
+     Address
+     (|> 0 ///unsigned.u2 try.trusted :abstraction))
 
-  (def: .public (move distance)
-    (-> U2 (-> Address (Try Address)))
-    (|>> :representation
-         (///unsigned.+/2 distance)
-         (\ try.functor each (|>> :abstraction))))
+   (def: .public (move distance)
+     (-> U2 (-> Address (Try Address)))
+     (|>> :representation
+          (///unsigned.+/2 distance)
+          (\ try.functor each (|>> :abstraction))))
 
-  (def: with_sign
-    (-> Address (Try S4))
-    (|>> :representation ///unsigned.value .int ///signed.s4))
+   (def: with_sign
+     (-> Address (Try S4))
+     (|>> :representation ///unsigned.value .int ///signed.s4))
 
-  (def: .public (jump from to)
-    (-> Address Address (Try Big_Jump))
-    (do try.monad
-      [from (with_sign from)
-       to (with_sign to)]
-      (///signed.-/4 from to)))
+   (def: .public (jump from to)
+     (-> Address Address (Try Big_Jump))
+     (do try.monad
+       [from (with_sign from)
+        to (with_sign to)]
+       (///signed.-/4 from to)))
 
-  (def: .public (after? reference subject)
-    (-> Address Address Bit)
-    (n.> (|> reference :representation ///unsigned.value)
-         (|> subject :representation ///unsigned.value)))
+   (def: .public (after? reference subject)
+     (-> Address Address Bit)
+     (n.> (|> reference :representation ///unsigned.value)
+          (|> subject :representation ///unsigned.value)))
 
-  (implementation: .public equivalence
-    (Equivalence Address)
-    
-    (def: (= reference subject)
-      (\ ///unsigned.equivalence =
-         (:representation reference)
-         (:representation subject))))
+   (implementation: .public equivalence
+     (Equivalence Address)
+     
+     (def: (= reference subject)
+       (\ ///unsigned.equivalence =
+          (:representation reference)
+          (:representation subject))))
 
-  (def: .public writer
-    (Writer Address)
-    (|>> :representation ///unsigned.writer/2))
+   (def: .public writer
+     (Writer Address)
+     (|>> :representation ///unsigned.writer/2))
 
-  (def: .public format
-    (Format Address)
-    (|>> :representation ///unsigned.value %.nat))
+   (def: .public format
+     (Format Address)
+     (|>> :representation ///unsigned.value %.nat))]
   )