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

27 files changed, 192 insertions, 190 deletions

diff --git a/stdlib/source/library/lux/tool/compiler/default/platform.lux b/stdlib/source/library/lux/tool/compiler/default/platform.lux
index 6f4cd29e2..b4c2a8be8 100644
--- a/stdlib/source/library/lux/tool/compiler/default/platform.lux
+++ b/stdlib/source/library/lux/tool/compiler/default/platform.lux
@@ -389,19 +389,19 @@
 
     (exception: .public (module_cannot_import_itself [module descriptor.Module])
       (exception.report
-       ["Module" (%.text module)]))
+       "Module" (%.text module)))
 
     (exception: .public (cannot_import_circular_dependency [importer descriptor.Module
                                                             importee descriptor.Module])
       (exception.report
-       ["Importer" (%.text importer)]
-       ["importee" (%.text importee)]))
+       "Importer" (%.text importer)
+       "importee" (%.text importee)))
 
     (exception: .public (cannot_import_twice [importer descriptor.Module
                                               duplicates (Set descriptor.Module)])
       (exception.report
-       ["Importer" (%.text importer)]
-       ["Duplicates" (%.list %.text (set.list duplicates))]))
+       "Importer" (%.text importer)
+       "Duplicates" (%.list %.text (set.list duplicates))))
 
     (def: (verify_dependencies importer importee dependence)
       (-> descriptor.Module descriptor.Module Dependence (Try Any))
@@ -416,7 +416,7 @@
 
     (exception: .public (cannot_overwrite_extension [extension extension.Name])
       (exception.report
-       ["Extension" (%.text extension)]))
+       "Extension" (%.text extension)))
 
     (def: (with_extensions from to)
       (All (_ state input output)
@@ -847,9 +847,9 @@
       (exception: .public (invalid_custom_compiler [definition Symbol
                                                     type Type])
         (exception.report
-         ["Definition" (%.symbol definition)]
-         ["Expected Type" (%.type ..Custom)]
-         ["Actual Type" (%.type type)]))
+         "Definition" (%.symbol definition)
+         "Expected Type" (%.type ..Custom)
+         "Actual Type" (%.type type)))
 
       (def: (custom import! it)
         (All (_ <type_vars>)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux
index 34840bbea..9c2aa022e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux
@@ -159,8 +159,8 @@
 
 (exception: .public (invalid_tuple [size Nat])
   (exception.report
-   ["Expected size" ">= 2"]
-   ["Actual size" (%.nat size)]))
+   "Expected size" ">= 2"
+   "Actual size" (%.nat size)))
 
 (def: .public (coverage pattern)
   (-> Pattern (Try Coverage))
@@ -236,14 +236,14 @@
 (exception: .public (redundancy [so_far Coverage
                                  addition Coverage])
   (exception.report
-   ["Coverage so-far" (format so_far)]
-   ["Additional coverage" (format addition)]))
+   "Coverage so-far" (format so_far)
+   "Additional coverage" (format addition)))
 
 (exception: .public (variant_mismatch [expected Nat
                                        mismatched Nat])
   (exception.report
-   ["Expected cases" (%.nat expected)]
-   ["Mismatched cases" (%.nat mismatched)]))
+   "Expected cases" (%.nat expected)
+   "Mismatched cases" (%.nat mismatched)))
 
 (def: .public (exhaustive? coverage)
   (-> Coverage Bit)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux
index 92435a3ae..8c6052ed5 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux
@@ -35,19 +35,19 @@
 (exception: .public (cannot_infer [type Type
                                    arguments (List Code)])
   (exception.report
-   ["Type" (%.type type)]
-   ["Arguments" (exception.listing %.code arguments)]))
+   "Type" (%.type type)
+   "Arguments" (exception.listing %.code arguments)))
 
 (exception: .public (cannot_infer_argument [type Type
                                             argument Code])
   (exception.report
-   ["Type" (%.type type)]
-   ["Argument" (%.code argument)]))
+   "Type" (%.type type)
+   "Argument" (%.code argument)))
 
 (template [<name>]
   [(exception: .public (<name> [type Type])
      (exception.report
-      ["Type" (%.type type)]))]
+      "Type" (%.type type)))]
 
   [not_a_variant]
   [not_a_record]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux
index d86eab516..b1cf6d24a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux
@@ -17,17 +17,17 @@
                                        inputs (List Code)
                                        error Text])
   (exception.report
-   ["Macro" (%.symbol macro)]
-   ["Inputs" (exception.listing %.code inputs)]
-   ["Error" error]))
+   "Macro" (%.symbol macro)
+   "Inputs" (exception.listing %.code inputs)
+   "Error" error))
 
 (exception: .public (must_have_single_expansion [macro Symbol
                                                  inputs (List Code)
                                                  outputs (List Code)])
   (exception.report
-   ["Macro" (%.symbol macro)]
-   ["Inputs" (exception.listing %.code inputs)]
-   ["Outputs" (exception.listing %.code outputs)]))
+   "Macro" (%.symbol macro)
+   "Inputs" (exception.listing %.code inputs)
+   "Outputs" (exception.listing %.code outputs)))
 
 (type: .public Expander
   (-> Macro (List Code) Lux (Try (Try [Lux (List Code)]))))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux
index 484d1e886..0d22a6790 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux
@@ -27,14 +27,14 @@
 
 (exception: .public (unknown_module [module Text])
   (exception.report
-   ["Module" module]))
+   "Module" module))
 
 (template [<name>]
   [(exception: .public (<name> [labels (List Label)
                                 owner Type])
      (exception.report
-      ["Labels" (text.interposed " " labels)]
-      ["Type" (%.type owner)]))]
+      "Labels" (text.interposed " " labels)
+      "Type" (%.type owner)))]
 
   [cannot_declare_labels_for_anonymous_type]
   [cannot_declare_labels_for_foreign_type]
@@ -43,31 +43,31 @@
 (exception: .public (cannot_define_more_than_once [name Symbol
                                                    already_existing Global])
   (exception.report
-   ["Definition" (%.symbol name)]
-   ["Original" (case already_existing
-                 {.#Alias alias}
-                 (format "alias " (%.symbol alias))
-                 
-                 {.#Definition definition}
-                 (format "definition " (%.symbol name))
+   "Definition" (%.symbol name)
+   "Original" (case already_existing
+                {.#Alias alias}
+                (format "alias " (%.symbol alias))
+                
+                {.#Definition definition}
+                (format "definition " (%.symbol name))
 
-                 {.#Type _}
-                 (format "type " (%.symbol name))
+                {.#Type _}
+                (format "type " (%.symbol name))
 
-                 {.#Tag _}
-                 (format "tag " (%.symbol name))
+                {.#Tag _}
+                (format "tag " (%.symbol name))
 
-                 {.#Slot _}
-                 (format "slot " (%.symbol name)))]))
+                {.#Slot _}
+                (format "slot " (%.symbol name)))))
 
 (exception: .public (can_only_change_state_of_active_module [module Text
                                                              state Module_State])
   (exception.report
-   ["Module" module]
-   ["Desired state" (case state
-                      {.#Active}   "Active"
-                      {.#Compiled} "Compiled"
-                      {.#Cached}   "Cached")]))
+   "Module" module
+   "Desired state" (case state
+                     {.#Active}   "Active"
+                     {.#Compiled} "Compiled"
+                     {.#Cached}   "Cached")))
 
 (def: .public (empty hash)
   (-> Nat Module)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
index cb2710a6b..706603273 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
@@ -44,12 +44,12 @@
 
 (exception: .public (cannot_interpret [error Text])
   (exception.report
-   ["Error" error]))
+   "Error" error))
 
 (template [<name>]
   [(exception: .public (<name> [it artifact.ID])
      (exception.report
-      ["Artifact ID" (%.nat it)]))]
+      "Artifact ID" (%.nat it)))]
 
   [cannot_overwrite_output]
   [no_buffer_for_saving_code]
@@ -270,9 +270,9 @@
 (exception: .public (unknown_definition [name Symbol
                                          known_definitions (List category.Definition)])
   (exception.report
-   ["Definition" (symbol.short name)]
-   ["Module" (symbol.module name)]
-   ["Known Definitions" (exception.listing product.left known_definitions)]))
+   "Definition" (symbol.short name)
+   "Module" (symbol.module name)
+   "Known Definitions" (exception.listing product.left known_definitions)))
 
 (def: .public (remember archive name)
   (All (_ anchor expression directive)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux
index 8d66cfd79..32e4ed22e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux
@@ -38,7 +38,7 @@
 
 (exception: .public (invalid [syntax Code])
   (exception.report
-   ["Syntax" (%.code syntax)]))
+   "Syntax" (%.code syntax)))
 
 (template: (variant_analysis analysis archive tag values)
   ... (-> Phase Archive Symbol (List Code) (Operation Analysis))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux
index 8643a435a..c999697dd 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux
@@ -41,31 +41,33 @@
 (exception: .public (mismatch [type Type
                                pattern Code])
   (exception.report
-   ["Type" (%.type type)]
-   ["Pattern" (%.code pattern)]))
+   "Type" (%.type type)
+   "Pattern" (%.code pattern)))
 
 (exception: .public (sum_has_no_case [case Nat
                                       type Type])
   (exception.report
-   ["Case" (%.nat case)]
-   ["Type" (%.type type)]))
+   "Case" (%.nat case)
+   "Type" (%.type type)))
 
 (exception: .public (invalid [it Code])
-  (exception.report ["Pattern" (%.code it)]))
+  (exception.report
+   "Pattern" (%.code it)))
 
 (exception: .public (non_tuple [type Type])
-  (exception.report ["Type" (%.type type)]))
+  (exception.report
+   "Type" (%.type type)))
 
 (exception: .public (non_exhaustive [input Code
                                      branches (List [Code Code])
                                      coverage Coverage])
   (exception.report
-   ["Input" (%.code input)]
-   ["Branches" (%.code (code.tuple (|> branches
-                                       (list#each (function (_ [slot value])
-                                                    (list slot value)))
-                                       list#conjoint)))]
-   ["Coverage" (/coverage.format coverage)]))
+   "Input" (%.code input)
+   "Branches" (%.code (code.tuple (|> branches
+                                      (list#each (function (_ [slot value])
+                                                   (list slot value)))
+                                      list#conjoint)))
+   "Coverage" (/coverage.format coverage)))
 
 (exception: .public empty_branches)
 
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux
index 8c9407a1b..eb34d19c2 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux
@@ -41,14 +41,14 @@
 
 (exception: .public (not_a_quantified_type [type Type])
   (exception.report
-   ["Type" (%.type type)]))
+   "Type" (%.type type)))
 
 (template [<name>]
   [(exception: .public (<name> [type Type
                                 members (List Code)])
      (exception.report
-      ["Type" (%.type type)]
-      ["Expression" (%.code (` [(~+ members)]))]))]
+      "Type" (%.type type)
+      "Expression" (%.code (` [(~+ members)]))))]
 
   [invalid_tuple_type]
   [cannot_analyse_tuple]
@@ -60,10 +60,10 @@
                                 right? Bit
                                 code Code])
      (exception.report
-      ["Type" (%.type type)]
-      ["Lefts" (%.nat lefts)]
-      ["Right?" (%.bit right?)]
-      ["Expression" (%.code code)]))]
+      "Type" (%.type type)
+      "Lefts" (%.nat lefts)
+      "Right?" (%.bit right?)
+      "Expression" (%.code code)))]
 
   [invalid_variant_type]
   [cannot_analyse_variant]
@@ -73,31 +73,31 @@
 (exception: .public (cannot_repeat_slot [key Symbol
                                          record (List [Symbol Code])])
   (exception.report
-   ["Slot" (%.code (code.symbol key))]
-   ["Record" (%.code (code.tuple (|> record
-                                     (list#each (function (_ [keyI valC])
-                                                  (list (code.symbol keyI) valC)))
-                                     list#conjoint)))]))
+   "Slot" (%.code (code.symbol key))
+   "Record" (%.code (code.tuple (|> record
+                                    (list#each (function (_ [keyI valC])
+                                                 (list (code.symbol keyI) valC)))
+                                    list#conjoint)))))
 
 (exception: .public (slot_does_not_belong_to_record [key Symbol
                                                      type Type])
   (exception.report
-   ["Slot" (%.code (code.symbol key))]
-   ["Type" (%.type type)]))
+   "Slot" (%.code (code.symbol key))
+   "Type" (%.type type)))
 
 (exception: .public (record_size_mismatch [expected Nat
                                            actual Nat
                                            type Type
                                            record (List [Symbol Code])])
   (exception.report
-   ["Expected" (%.nat expected)]
-   ["Actual" (%.nat actual)]
-   ["Type" (%.type type)]
-   ["Expression" (%.code (|> record
-                             (list#each (function (_ [keyI valueC])
-                                          (list (code.symbol keyI) valueC)))
-                             list#conjoint
-                             code.tuple))]))
+   "Expected" (%.nat expected)
+   "Actual" (%.nat actual)
+   "Type" (%.type type)
+   "Expression" (%.code (|> record
+                            (list#each (function (_ [keyI valueC])
+                                         (list (code.symbol keyI) valueC)))
+                            list#conjoint
+                            code.tuple))))
 
 (def: .public (sum analyse lefts right? archive)
   (-> Phase Nat Bit Phase)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux
index 118a5da91..ce99c9005 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux
@@ -36,22 +36,22 @@
                                      argument Text
                                      body Code])
   (exception.report
-   ["Type" (%.type expected)]
-   ["Function" function]
-   ["Argument" argument]
-   ["Body" (%.code body)]))
+   "Type" (%.type expected)
+   "Function" function
+   "Argument" argument
+   "Body" (%.code body)))
 
 (exception: .public (cannot_apply [:function: Type
                                    functionC Code
                                    arguments (List Code)])
   (exception.report
-   ["Function type" (%.type :function:)]
-   ["Function" (%.code functionC)]
-   ["Arguments" (|> arguments
-                    list.enumeration
-                    (list#each (.function (_ [idx argC])
-                                 (format (%.nat idx) " " (%.code argC))))
-                    (text.interposed text.new_line))]))
+   "Function type" (%.type :function:)
+   "Function" (%.code functionC)
+   "Arguments" (|> arguments
+                   list.enumeration
+                   (list#each (.function (_ [idx argC])
+                                (format (%.nat idx) " " (%.code argC))))
+                   (text.interposed text.new_line))))
 
 (def: .public (function analyse function_name arg_name archive body)
   (-> Phase Text Text Phase)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux
index f0f08dfcf..6f23ba667 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux
@@ -26,17 +26,17 @@
                                                            foreign Text
                                                            definition Symbol])
   (exception.report
-   ["Current" current]
-   ["Foreign" foreign]
-   ["Definition" (%.symbol definition)]))
+   "Current" current
+   "Foreign" foreign
+   "Definition" (%.symbol definition)))
 
 (exception: .public (definition_has_not_been_exported [definition Symbol])
   (exception.report
-   ["Definition" (%.symbol definition)]))
+   "Definition" (%.symbol definition)))
 
 (exception: .public (labels_are_not_definitions [definition Symbol])
   (exception.report
-   ["Label" (%.symbol definition)]))
+   "Label" (%.symbol definition)))
 
 (def: (definition def_name)
   (-> Symbol (Operation Analysis))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux
index b3e3fd242..bfd85814a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux
@@ -30,15 +30,15 @@
 
 (exception: .public (not_a_directive [code Code])
   (exception.report
-   ["Directive" (%.code code)]))
+   "Directive" (%.code code)))
 
 (exception: .public (invalid_macro_call [code Code])
   (exception.report
-   ["Code" (%.code code)]))
+   "Code" (%.code code)))
 
 (exception: .public (macro_was_not_found [name Symbol])
   (exception.report
-   ["Name" (%.symbol name)]))
+   "Name" (%.symbol name)))
 
 (type: Eval
   (-> Type Code (Meta Any)))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux
index c90c949af..fb3699ba8 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux
@@ -65,31 +65,31 @@
 
 (exception: .public (cannot_overwrite [name Name])
   (exception.report
-   ["Extension" (%.text name)]))
+   "Extension" (%.text name)))
 
 (exception: .public (incorrect_arity [name Name
                                       arity Nat
                                       args Nat])
   (exception.report
-   ["Extension" (%.text name)]
-   ["Expected" (%.nat arity)]
-   ["Actual" (%.nat args)]))
+   "Extension" (%.text name)
+   "Expected" (%.nat arity)
+   "Actual" (%.nat args)))
 
 (exception: .public [a] (invalid_syntax [name Name
                                          %format (Format a)
                                          inputs (List a)])
   (exception.report
-   ["Extension" (%.text name)]
-   ["Inputs" (exception.listing %format inputs)]))
+   "Extension" (%.text name)
+   "Inputs" (exception.listing %format inputs)))
 
 (exception: .public [s i o] (unknown [name Name
                                       bundle (Bundle s i o)])
   (exception.report
-   ["Extension" (%.text name)]
-   ["Available" (|> bundle
-                    dictionary.keys
-                    (list.sorted text#<)
-                    (exception.listing %.text))]))
+   "Extension" (%.text name)
+   "Available" (|> bundle
+                   dictionary.keys
+                   (list.sorted text#<)
+                   (exception.listing %.text))))
 
 (type: .public (Extender s i o)
   (-> Any (Handler s i o)))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
index 8d2e90900..6a8793379 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
@@ -154,8 +154,8 @@
   [(exception: .public (<name> [class External
                                 field Text])
      (exception.report
-      ["Class" (%.text class)]
-      ["Field" (%.text field)]))]
+      "Class" (%.text class)
+      "Field" (%.text field)))]
 
   [cannot_set_a_final_field]
   [deprecated_field]
@@ -165,13 +165,13 @@
                                         method Text
                                         type .Type])
   (exception.report
-   ["Class" (%.text class)]
-   ["Method" (%.text method)]
-   ["Type" (%.type type)]))
+   "Class" (%.text class)
+   "Method" (%.text method)
+   "Type" (%.type type)))
 
 (exception: .public (deprecated_class [class External])
   (exception.report
-   ["Class" (%.text class)]))
+   "Class" (%.text class)))
 
 (def: (ensure_fresh_class! class_loader name)
   (-> java/lang/ClassLoader External (Operation Any))
@@ -240,7 +240,7 @@
 (template [<name>]
   [(exception: .public (<name> [type .Type])
      (exception.report
-      ["Type" (%.type type)]))]
+      "Type" (%.type type)))]
 
   [non_object]
   [non_array]
@@ -251,7 +251,7 @@
 (template [<name>]
   [(exception: .public (<name> [class External])
      (exception.report
-      ["Class/type" (%.text class)]))]
+      "Class/type" (%.text class)))]
 
   [non_interface]
   [non_throwable]
@@ -266,12 +266,12 @@
                                 inputsJT (List (Type Value))
                                 hints (List Method_Signature)])
      (exception.report
-      ["Class Variables" (exception.listing ..signature class_variables)]
-      ["Class" class]
-      ["Method" method]
-      ["Method Variables" (exception.listing ..signature method_variables)]
-      ["Arguments" (exception.listing ..signature inputsJT)]
-      ["Hints" (exception.listing %.type (list#each product.left hints))]))]
+      "Class Variables" (exception.listing ..signature class_variables)
+      "Class" class
+      "Method" method
+      "Method Variables" (exception.listing ..signature method_variables)
+      "Arguments" (exception.listing ..signature inputsJT)
+      "Hints" (exception.listing %.type (list#each product.left hints))))]
 
   [no_candidates]
   [too_many_candidates]
@@ -281,9 +281,9 @@
                                   to .Type
                                   value Code])
   (exception.report
-   ["From" (%.type from)]
-   ["To" (%.type to)]
-   ["Value" (%.code value)]))
+   "From" (%.type from)
+   "To" (%.type to)
+   "Value" (%.code value)))
 
 (template [<name>]
   [(exception: .public (<name> [message Text])
@@ -1736,8 +1736,8 @@
                       (function (_ [super name type])
                         (format (..signature super) " :: " (%.text name) " " (..signature type))))]
        (exception.report
-        ["Expected Methods" (exception.listing %method expected)]
-        ["Actual Methods" (exception.listing %method actual)])))]
+        "Expected Methods" (exception.listing %method expected)
+        "Actual Methods" (exception.listing %method actual))))]
 
   [missing_abstract_methods]
   [invalid_overriden_methods]
@@ -2135,16 +2135,16 @@
 (exception: .public (unknown_super [name Text
                                     supers (List (Type Class))])
   (exception.report
-   ["Name" (%.text name)]
-   ["Available" (exception.listing (|>> parser.read_class product.left) supers)]))
+   "Name" (%.text name)
+   "Available" (exception.listing (|>> parser.read_class product.left) supers)))
 
 (exception: .public (mismatched_super_parameters [name Text
                                                   expected Nat
                                                   actual Nat])
   (exception.report
-   ["Name" (%.text name)]
-   ["Expected" (%.nat expected)]
-   ["Actual" (%.nat actual)]))
+   "Name" (%.text name)
+   "Expected" (%.nat expected)
+   "Actual" (%.nat actual)))
 
 (def: (override_mapping mapping supers parent_type)
   (-> Mapping (List (Type Class)) (Type Class) (Operation (List [Text .Type])))
@@ -2280,12 +2280,12 @@
                                                expected (List Text)
                                                actual (List (Type Parameter))])
   (exception.report
-   ["Class" (%.text name)]
-   ["Declaration" (signature.signature (jvm.signature declaration))]
-   ["Expected (amount)" (%.nat (list.size expected))]
-   ["Expected (parameters)" (exception.listing %.text expected)]
-   ["Actual (amount)" (%.nat (list.size actual))]
-   ["Actual (parameters)" (exception.listing ..signature actual)]))
+   "Class" (%.text name)
+   "Declaration" (signature.signature (jvm.signature declaration))
+   "Expected (amount)" (%.nat (list.size expected))
+   "Expected (parameters)" (exception.listing %.text expected)
+   "Actual (amount)" (%.nat (list.size actual))
+   "Actual (parameters)" (exception.listing ..signature actual)))
 
 (def: (super_aliasing class_loader class)
   (-> java/lang/ClassLoader (Type Class) (Operation Aliasing))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
index 59193e0c8..6c3e7c9fc 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
@@ -84,7 +84,7 @@
 (as_is
  (exception: .public (char_text_must_be_size_1 [text Text])
    (exception.report
-    ["Text" (%.text text)]))
+    "Text" (%.text text)))
  
  (def: text_char
    (Parser text.Char)
@@ -204,7 +204,7 @@
 
 (exception: .public (not_a_type [symbol Symbol])
   (exception.report
-   ["Symbol" (%.symbol symbol)]))
+   "Symbol" (%.symbol symbol)))
 
 (def: lux::macro
   Handler
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux
index 831211fb9..a76c39427 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux
@@ -336,15 +336,15 @@
                                             foreign Alias
                                             target Symbol])
   (exception.report
-   ["Local alias" (%.symbol local)]
-   ["Foreign alias" (%.symbol foreign)]
-   ["Target definition" (%.symbol target)]))
+   "Local alias" (%.symbol local)
+   "Foreign alias" (%.symbol foreign)
+   "Target definition" (%.symbol target)))
 
 (exception: .public (cannot_alias_a_label [local Alias
                                            foreign Alias])
   (exception.report
-   ["Alias" (%.symbol local)]
-   ["Label" (%.symbol foreign)]))
+   "Alias" (%.symbol local)
+   "Label" (%.symbol foreign)))
 
 (def: (define_alias alias original)
   (-> Text Symbol (/////analysis.Operation Any))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
index 9e7d92565..ced3ea64a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
@@ -70,20 +70,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/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux
index 164261eb6..13d591126 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux
@@ -33,8 +33,8 @@
 (exception: .public (cannot_find_foreign_variable_in_environment [foreign Register
                                                                   environment (Environment Synthesis)])
   (exception.report
-   ["Foreign" (%.nat foreign)]
-   ["Environment" (exception.listing /.%synthesis environment)]))
+   "Foreign" (%.nat foreign)
+   "Environment" (exception.listing /.%synthesis environment)))
 
 (def: arity_arguments
   (-> Arity (List Synthesis))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux
index 3d795ff2f..85e4d28af 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux
@@ -219,7 +219,7 @@
 (template [<name>]
   [(exception: .public (<name> [register Register])
      (exception.report
-      ["Register" (%.nat register)]))]
+      "Register" (%.nat register)))]
 
   [redundant_declaration]
   [unknown_register]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/program.lux b/stdlib/source/library/lux/tool/compiler/language/lux/program.lux
index fc3e28aa2..f3a2e5d69 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/program.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/program.lux
@@ -30,7 +30,7 @@
 
 (exception: .public (cannot_find_program [modules (List descriptor.Module)])
   (exception.report
-   ["Modules" (exception.listing %.text modules)]))
+   "Modules" (exception.listing %.text modules)))
 
 (def: .public (context archive)
   (-> Archive (Try unit.ID))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
index 971b9391f..a2a47c775 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
@@ -150,7 +150,7 @@
 
 (exception: .public (end_of_file [module Text])
   (exception.report
-   ["Module" (%.text module)]))
+   "Module" (%.text module)))
 
 (def: amount_of_input_shown 64)
 
@@ -164,15 +164,15 @@
                                          input Text
                                          offset Offset])
   (exception.report
-   ["File" file]
-   ["Line" (%.nat line)]
-   ["Column" (%.nat column)]
-   ["Context" (%.text context)]
-   ["Input" (input_at offset input)]))
+   "File" file
+   "Line" (%.nat line)
+   "Column" (%.nat column)
+   "Context" (%.text context)
+   "Input" (input_at offset input)))
 
 (exception: .public (text_cannot_contain_new_lines [text Text])
   (exception.report
-   ["Text" (%.text text)]))
+   "Text" (%.text text)))
 
 (template: (!failure parser where offset source_code)
   [{.#Left [[where offset source_code]
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/archive.lux
index 58bb26a18..fbcb3c0f9 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive.lux
@@ -45,21 +45,21 @@
 (exception: .public (unknown_document [module descriptor.Module
                                        known_modules (List descriptor.Module)])
   (exception.report
-   ["Module" (%.text module)]
-   ["Known Modules" (exception.listing %.text known_modules)]))
+   "Module" (%.text module)
+   "Known Modules" (exception.listing %.text known_modules)))
 
 (exception: .public (cannot_replace_document [module descriptor.Module
                                               old (Document Any)
                                               new (Document Any)])
   (exception.report
-   ["Module" (%.text module)]
-   ["Old key" (signature.description (document.signature old))]
-   ["New key" (signature.description (document.signature new))]))
+   "Module" (%.text module)
+   "Old key" (signature.description (document.signature old))
+   "New key" (signature.description (document.signature new))))
 
 (template [<name>]
   [(exception: .public (<name> [it descriptor.Module])
      (exception.report
-      ["Module" (%.text it)]))]
+      "Module" (%.text it)))]
 
   [module_has_already_been_reserved]
   [module_must_be_reserved_before_it_can_be_added]
@@ -249,8 +249,8 @@
   (exception: .public (version_mismatch [expected Version
                                          actual Version])
     (exception.report
-     ["Expected" (%.nat expected)]
-     ["Actual" (%.nat actual)]))
+     "Expected" (%.nat expected)
+     "Actual" (%.nat actual)))
 
   (def: .public (import expected binary)
     (-> Version Binary (Try Archive))
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux
index 9a97cc0ec..bc74b9c3c 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux
@@ -22,8 +22,8 @@
 (exception: .public (invalid_signature [expected Signature
                                         actual Signature])
   (exception.report
-   ["Expected" (signature.description expected)]
-   ["Actual" (signature.description actual)]))
+   "Expected" (signature.description expected)
+   "Actual" (signature.description actual)))
 
 (abstract: .public (Document d)
   (Record
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux
index 8c11b0fca..d2921be2e 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux
@@ -146,7 +146,7 @@
 
   (exception: .public (invalid_category [tag Nat])
     (exception.report
-     ["Tag" (%.nat tag)]))
+     "Tag" (%.nat tag)))
 
   (def: .public parser
     (Parser Registry)
diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux
index b584dd240..4d593aeda 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux
@@ -28,9 +28,9 @@
                                     @module module.ID
                                     error Text])
   (exception.report
-   ["Archive" archive]
-   ["Module ID" (%.nat @module)]
-   ["Error" error]))
+   "Archive" archive
+   "Module ID" (%.nat @module)
+   "Error" error))
 
 (def: .public (path fs context @module)
   (All (_ !) (-> (file.System !) Context module.ID file.Path))
diff --git a/stdlib/source/library/lux/tool/compiler/meta/import.lux b/stdlib/source/library/lux/tool/compiler/meta/import.lux
index d3a356c43..c485cb5f7 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/import.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/import.lux
@@ -34,8 +34,8 @@
 (exception: .public (duplicate [library Library
                                 module Module])
   (exception.report
-   ["Module" (%.text module)]
-   ["Library" (%.text library)]))
+   "Module" (%.text module)
+   "Library" (%.text library)))
 
 (type: .public Import
   (Dictionary file.Path Binary))
diff --git a/stdlib/source/library/lux/tool/compiler/meta/io/context.lux b/stdlib/source/library/lux/tool/compiler/meta/io/context.lux
index d576571eb..00288e42b 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/io/context.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/io/context.lux
@@ -33,12 +33,12 @@
 (exception: .public (cannot_find_module [importer Module
                                          module Module])
   (exception.report
-   ["Module" (%.text module)]
-   ["Importer" (%.text importer)]))
+   "Module" (%.text module)
+   "Importer" (%.text importer)))
 
 (exception: .public (cannot_read_module [module Module])
   (exception.report
-   ["Module" (%.text module)]))
+   "Module" (%.text module)))
 
 (type: .public Extension
   Text)