From a23315e79ff58024134e5d20b4a4cb5bd8050152 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 7 Nov 2019 22:32:32 -0400
Subject: WIP: Major refactoring of JVM bytecode machinery.

---
 .../source/lux/target/jvm/attribute/code/exception.lux   | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'stdlib/source/lux/target/jvm/attribute/code/exception.lux')

diff --git a/stdlib/source/lux/target/jvm/attribute/code/exception.lux b/stdlib/source/lux/target/jvm/attribute/code/exception.lux
index 97fe962e6..820e5c8a6 100644
--- a/stdlib/source/lux/target/jvm/attribute/code/exception.lux
+++ b/stdlib/source/lux/target/jvm/attribute/code/exception.lux
@@ -5,13 +5,13 @@
    [data
     [number
      ["n" nat]]
-    [format
-     [".F" binary (#+ Writer)]]]]
+    ["." format #_
+     ["#" binary (#+ Writer)]]]]
   ["." // #_
    ["//#" /// #_
     [constant (#+ Class)]
     ["#." index (#+ Index)]
-    [instruction
+    [bytecode
      ["#." address (#+ Address)]]
     [encoding
      ["#." unsigned (#+ U2)]]]])
@@ -36,18 +36,18 @@
   Nat
   ($_ n.+
       ## u2 start_pc;
-      ////unsigned.u2-bytes
+      ////unsigned.bytes/2
       ## u2 end_pc;
-      ////unsigned.u2-bytes
+      ////unsigned.bytes/2
       ## u2 handler_pc;
-      ////unsigned.u2-bytes
+      ////unsigned.bytes/2
       ## u2 catch_type;
-      ////unsigned.u2-bytes
+      ////unsigned.bytes/2
       ))
 
 (def: #export writer
   (Writer Exception)
-  ($_ binaryF.and
+  ($_ format.and
       ////address.writer
       ////address.writer
       ////address.writer
-- 
cgit v1.2.3