From b0093a3849baaeb5e12692b2cf6ac65ba74bbd54 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 15 Mar 2022 22:45:49 -0400
Subject: Leaner syntax for library/lux/control/exception.report

---
 lux-jvm/source/luxc/lang/translation/jvm.lux                | 12 ++++++------
 lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux |  2 +-
 lux-jvm/source/luxc/lang/translation/jvm/structure.lux      |  4 ++--
 3 files changed, 9 insertions(+), 9 deletions(-)

(limited to 'lux-jvm')

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))
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
index 0ea499e92..f98188196 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
@@ -93,7 +93,7 @@
 
 (exception: .public (not_an_object_array [arrayJT (Type Array)])
   (exception.report
-   ["JVM Type" (..signature arrayJT)]))
+   "JVM Type" (..signature arrayJT)))
 
 (def: .public object_array
   (Parser (Type Object))
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
index e7604be15..878658efe 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
@@ -39,8 +39,8 @@
 
 (exception: .public (not_a_tuple [size Nat])
   (exception.report
-   ["Expected size" ">= 2"]
-   ["Actual size" (%.nat size)]))
+   "Expected size" ">= 2"
+   "Actual size" (%.nat size)))
 
 (def: .public (tuple generate archive members)
   (Generator (List Synthesis))
-- 
cgit v1.2.3