aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm.lux12
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/structure.lux4
3 files changed, 9 insertions, 9 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))
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))