From 880cb37c261df20b7b8d968a909557bbc63d6b7f Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 8 Sep 2021 18:57:27 -0400
Subject: Normalized syntax of "exception:", "actor:" and "message:".

---
 lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux | 2 +-
 lux-jvm/source/luxc/lang/translation/jvm/structure.lux      | 2 +-
 2 files changed, 2 insertions(+), 2 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 4539ea17e..131ff0968 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
@@ -87,7 +87,7 @@
   (All (_ a) (-> (Type a) Text))
   (|>> type.descriptor descriptor.descriptor))
 
-(exception: .public (not_an_object_array {arrayJT (Type Array)})
+(exception: .public (not_an_object_array [arrayJT (Type Array)])
   (exception.report
    ["JVM Type" (..signature arrayJT)]))
 
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
index 2a688f4cc..e1c0c9f5f 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
@@ -37,7 +37,7 @@
   ["[0]" //
    ["[1][0]" runtime]])
 
-(exception: .public (not_a_tuple {size Nat})
+(exception: .public (not_a_tuple [size Nat])
   (exception.report
    ["Expected size" ">= 2"]
    ["Actual size" (%.nat size)]))
-- 
cgit v1.2.3