1 files changed, 16 insertions, 15 deletions
diff --git a/stdlib/source/library/lux/target/jvm/bytecode.lux b/stdlib/source/library/lux/target/jvm/bytecode.lux
index 690d5f62b..895d84f7a 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode.lux
@@ -128,7 +128,7 @@
 
 (exception: .public (label_has_already_been_set [label Label])
   (exception.report
-   ["Label" (%.nat label)]))
+   "Label" (%.nat label)))
 
 (exception: .public (mismatched_environments [instruction Symbol
                                               label Label
@@ -136,11 +136,11 @@
                                               expected Stack
                                               actual Stack])
   (exception.report
-   ["Instruction" (%.symbol instruction)]
-   ["Label" (%.nat label)]
-   ["Address" (/address.format address)]
-   ["Expected" (/stack.format expected)]
-   ["Actual" (/stack.format actual)]))
+   "Instruction" (%.symbol instruction)
+   "Label" (%.nat label)
+   "Address" (/address.format address)
+   "Expected" (/stack.format expected)
+   "Actual" (/stack.format actual)))
 
 (def: .public (set? label)
   (-> Label (Bytecode (Maybe [Stack Address])))
@@ -677,7 +677,7 @@
 
 (exception: .public (invalid_register [id Nat])
   (exception.report
-   ["ID" (%.nat id)]))
+   "ID" (%.nat id)))
 
 (def: (register id)
   (-> Nat (Bytecode Register))
@@ -779,15 +779,15 @@
 
 (exception: .public (unknown_label [label Label])
   (exception.report
-   ["Label" (%.nat label)]))
+   "Label" (%.nat label)))
 
 (exception: .public (cannot_do_a_big_jump [label Label
                                            @from Address
                                            jump Big_Jump])
   (exception.report
-   ["Label" (%.nat label)]
-   ["Start" (|> @from /address.value //unsigned.value %.nat)]
-   ["Target" (|> jump //signed.value %.int)]))
+   "Label" (%.nat label)
+   "Start" (|> @from /address.value //unsigned.value %.nat)
+   "Target" (|> jump //signed.value %.int)))
 
 (type: Any_Jump
   (Either Big_Jump
@@ -807,7 +807,7 @@
 
 (exception: .public (unset_label [label Label])
   (exception.report
-   ["Label" (%.nat label)]))
+   "Label" (%.nat label)))
 
 (def: (resolve_label label resolver)
   (-> Label Resolver (Try [Stack Address]))
@@ -1039,7 +1039,8 @@
     (..bytecode $0 $0 (/registry.for register) _.iinc [register increase])))
 
 (exception: .public (multiarray_cannot_be_zero_dimensional [class (Type Object)])
-  (exception.report ["Class" (..reflection class)]))
+  (exception.report
+   "Class" (..reflection class)))
 
 (def: .public (multianewarray class dimensions)
   (-> (Type Object) U1 (Bytecode Any))
@@ -1126,8 +1127,8 @@
 (exception: .public (invalid_range_for_try [start Address
                                             end Address])
   (exception.report
-   ["Start" (|> start /address.value //unsigned.value %.nat)]
-   ["End" (|> end /address.value //unsigned.value %.nat)]))
+   "Start" (|> start /address.value //unsigned.value %.nat)
+   "End" (|> end /address.value //unsigned.value %.nat)))
 
 (def: .public (try @start @end @handler catch)
   (-> Label Label Label (Type Class) (Bytecode Any))