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/extension/host.lux | 2 +-
 lux-jvm/source/luxc/lang/translation/jvm/structure.lux      | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'lux-jvm/source/luxc/lang/translation/jvm')

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