Leaner syntax for library/lux/control/exception.report

1 files changed, 6 insertions, 6 deletions

diff --git a/lux-jvm/source/luxc/lang/translation/jvm.lux b/lux-jvm/source/luxc/lang/translation/jvm.lux
index e65d58052..99ff673b6 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm.lux
@@ -64,20 +64,20 @@
 (exception: .public (cannot_load [class Text
                                   error Text])
   (exception.report
-   ["Class" class]
-   ["Error" error]))
+   "Class" class
+   "Error" error))
 
 (exception: .public (invalid_field [class Text
                                     field Text
                                     error Text])
   (exception.report
-   ["Class" class]
-   ["Field" field]
-   ["Error" error]))
+   "Class" class
+   "Field" field
+   "Error" error))
 
 (exception: .public (invalid_value [class Text])
   (exception.report
-   ["Class" class]))
+   "Class" class))
 
 (def: (class_value class_name class)
   (-> Text (java/lang/Class java/lang/Object) (Try Any))