WIP: Major refactoring of JVM bytecode machinery.

1 files changed, 6 insertions, 3 deletions

diff --git a/stdlib/source/lux/target/jvm/index.lux b/stdlib/source/lux/target/jvm/index.lux
index 430276f4b..490667436 100644
--- a/stdlib/source/lux/target/jvm/index.lux
+++ b/stdlib/source/lux/target/jvm/index.lux
@@ -11,6 +11,9 @@
    [encoding
     ["#." unsigned (#+ U2)]]])
 
+(def: #export length
+  //unsigned.bytes/2)
+
 (abstract: #export (Index kind)
   {}
 
@@ -20,17 +23,17 @@
     (All [kind] (-> U2 (Index kind)))
     (|>> :abstraction))
 
-  (def: #export number
+  (def: #export value
     (-> (Index Any) U2)
     (|>> :representation))
 
   (def: #export equivalence
     (All [kind] (Equivalence (Index kind)))
     (:: equivalence.contravariant map-1
-        ..number
+        ..value
         //unsigned.equivalence))
 
   (def: #export writer
     (All [kind] (Writer (Index kind)))
-    (|>> ..number //unsigned.u2-writer))
+    (|>> :representation //unsigned.writer/2))
   )