diff options
Diffstat (limited to 'stdlib/source/library/lux/meta')
43 files changed, 257 insertions, 257 deletions
diff --git a/stdlib/source/library/lux/meta/compiler.lux b/stdlib/source/library/lux/meta/compiler.lux index 1d46450a2..8f9150839 100644 --- a/stdlib/source/library/lux/meta/compiler.lux +++ b/stdlib/source/library/lux/meta/compiler.lux @@ -56,4 +56,4 @@ (exception .public (cannot_compile [module Module]) (exception.report - "Module" module)) + (list ["Module" module]))) diff --git a/stdlib/source/library/lux/meta/compiler/default/platform.lux b/stdlib/source/library/lux/meta/compiler/default/platform.lux index cdea7252d..d8c301eb7 100644 --- a/stdlib/source/library/lux/meta/compiler/default/platform.lux +++ b/stdlib/source/library/lux/meta/compiler/default/platform.lux @@ -389,19 +389,19 @@ (exception .public (module_cannot_import_itself [module descriptor.Module]) (exception.report - "Module" (%.text module))) + (list ["Module" (%.text module)]))) (exception .public (cannot_import_circular_dependency [importer descriptor.Module importee descriptor.Module]) (exception.report - "Importer" (%.text importer) - "importee" (%.text importee))) + (list ["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)))) + (list ["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))) + (list ["Extension" (%.text extension)]))) (def (with_extensions from to) (All (_ state input output) @@ -843,9 +843,9 @@ (exception .public (invalid_custom_compiler [definition Symbol type Type]) (exception.report - "Definition" (%.symbol definition) - "Expected Type" (%.type ..Custom) - "Actual Type" (%.type type))) + (list ["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/meta/compiler/language/lux/analysis/coverage.lux b/stdlib/source/library/lux/meta/compiler/language/lux/analysis/coverage.lux index dd5fde4f2..4756538e2 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/analysis/coverage.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/analysis/coverage.lux @@ -160,8 +160,8 @@ (exception .public (invalid_tuple [size Nat]) (exception.report - "Expected size" ">= 2" - "Actual size" (%.nat size))) + (list ["Expected size" ">= 2"] + ["Actual size" (%.nat size)]))) (def .public (coverage pattern) (-> Pattern (Try Coverage)) @@ -238,14 +238,14 @@ (exception .public (redundancy [so_far Coverage addition Coverage]) (exception.report - "Coverage so-far" (format so_far) - "Additional coverage" (format addition))) + (list ["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))) + (list ["Expected cases" (%.nat expected)] + ["Mismatched cases" (%.nat mismatched)]))) (def .public (exhaustive? coverage) (-> Coverage Bit) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/analysis/inference.lux b/stdlib/source/library/lux/meta/compiler/language/lux/analysis/inference.lux index 4bfa2da6a..5bbf38167 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/analysis/inference.lux +++ b/stdlib/source/library/lux/meta/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))) + (list ["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))) + (list ["Type" (%.type type)] + ["Argument" (%.code argument)]))) (with_template [<name>] [(exception .public (<name> [type Type]) (exception.report - "Type" (%.type type)))] + (list ["Type" (%.type type)])))] [not_a_variant] [not_a_record] diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/analysis/macro.lux b/stdlib/source/library/lux/meta/compiler/language/lux/analysis/macro.lux index 9a5de364f..cf6ede122 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/analysis/macro.lux +++ b/stdlib/source/library/lux/meta/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)) + (list ["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))) + (list ["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/meta/compiler/language/lux/analysis/module.lux b/stdlib/source/library/lux/meta/compiler/language/lux/analysis/module.lux index 33e818a9e..dbaa9e8b0 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/analysis/module.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/analysis/module.lux @@ -26,14 +26,14 @@ (exception .public (unknown_module [module Text]) (exception.report - "Module" module)) + (list ["Module" module]))) (with_template [<name>] [(exception .public (<name> [labels (List Label) owner Type]) (exception.report - "Labels" (text.interposed " " labels) - "Type" (%.type owner)))] + (list ["Labels" (text.interposed " " labels)] + ["Type" (%.type owner)])))] [cannot_declare_labels_for_anonymous_type] [cannot_declare_labels_for_foreign_type] @@ -42,31 +42,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)) + (list ["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"))) + (list ["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/meta/compiler/language/lux/generation.lux b/stdlib/source/library/lux/meta/compiler/language/lux/generation.lux index c217a6d6c..2e1252dec 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/generation.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/generation.lux @@ -44,12 +44,12 @@ (exception .public (cannot_interpret [error Text]) (exception.report - "Error" error)) + (list ["Error" error]))) (with_template [<name>] [(exception .public (<name> [it artifact.ID]) (exception.report - "Artifact ID" (%.nat it)))] + (list ["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))) + (list ["Definition" (symbol.short name)] + ["Module" (symbol.module name)] + ["Known Definitions" (exception.listing product.left known_definitions)]))) (def .public (remember archive name) (All (_ anchor expression declaration) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis.lux index 30e4a1360..72885ce92 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis.lux @@ -38,7 +38,7 @@ (exception .public (invalid [syntax Code]) (exception.report - "Syntax" (%.code syntax))) + (list ["Syntax" (%.code syntax)]))) (def variant_analysis (template (_ analysis archive tag values) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis/case.lux index 6356d32c5..6c637184c 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis/case.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis/case.lux @@ -41,33 +41,33 @@ (exception .public (mismatch [type Type pattern Code]) (exception.report - "Type" (%.type type) - "Pattern" (%.code pattern))) + (list ["Type" (%.type type)] + ["Pattern" (%.code pattern)]))) (exception .public (sum_has_no_case [case Nat type Type]) (exception.report - "Case" (%.nat case) - "Type" (%.type type))) + (list ["Case" (%.nat case)] + ["Type" (%.type type)]))) (exception .public (invalid [it Code]) (exception.report - "Pattern" (%.code it))) + (list ["Pattern" (%.code it)]))) (exception .public (non_tuple [type Type]) (exception.report - "Type" (%.type type))) + (list ["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))) + (list ["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/meta/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis/complex.lux index d7b26aa8f..2db7b161f 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis/complex.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis/complex.lux @@ -39,14 +39,14 @@ (exception .public (not_a_quantified_type [type Type]) (exception.report - "Type" (%.type type))) + (list ["Type" (%.type type)]))) (with_template [<name>] [(exception .public (<name> [type Type members (List Code)]) (exception.report - "Type" (%.type type) - "Expression" (%.code (` [(,* members)]))))] + (list ["Type" (%.type type)] + ["Expression" (%.code (` [(,* members)]))])))] [invalid_tuple_type] [cannot_analyse_tuple] @@ -58,10 +58,10 @@ right? Bit code Code]) (exception.report - "Type" (%.type type) - "Lefts" (%.nat lefts) - "Right?" (%.bit right?) - "Expression" (%.code code)))] + (list ["Type" (%.type type)] + ["Lefts" (%.nat lefts)] + ["Right?" (%.bit right?)] + ["Expression" (%.code code)])))] [invalid_variant_type] [cannot_analyse_variant] @@ -71,31 +71,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))))) + (list ["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))) + (list ["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)))) + (list ["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/meta/compiler/language/lux/phase/analysis/function.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis/function.lux index 68d8ed9e4..b14ae34cc 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis/function.lux +++ b/stdlib/source/library/lux/meta/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))) + (list ["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)))) + (list ["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/meta/compiler/language/lux/phase/analysis/reference.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis/reference.lux index 61daacb2f..a232897bb 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis/reference.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/analysis/reference.lux @@ -26,17 +26,17 @@ foreign Text definition Symbol]) (exception.report - "Current" current - "Foreign" foreign - "Definition" (%.symbol definition))) + (list ["Current" current] + ["Foreign" foreign] + ["Definition" (%.symbol definition)]))) (exception .public (definition_has_not_been_exported [definition Symbol]) (exception.report - "Definition" (%.symbol definition))) + (list ["Definition" (%.symbol definition)]))) (exception .public (labels_are_not_definitions [definition Symbol]) (exception.report - "Label" (%.symbol definition))) + (list ["Label" (%.symbol definition)]))) (def (definition def_name) (-> Symbol (Operation Analysis)) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/declaration.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/declaration.lux index 86602280e..4fd6f0ed3 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/declaration.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/declaration.lux @@ -30,15 +30,15 @@ (exception .public (not_a_declaration [code Code]) (exception.report - "Declaration" (%.code code))) + (list ["Declaration" (%.code code)]))) (exception .public (invalid_macro_call [code Code]) (exception.report - "Code" (%.code code))) + (list ["Code" (%.code code)]))) (exception .public (macro_was_not_found [name Symbol]) (exception.report - "Name" (%.symbol name))) + (list ["Name" (%.symbol name)]))) (type Eval (-> Type Code (Meta Any))) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension.lux index 36a7deaa1..5606f0a5e 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension.lux @@ -66,31 +66,31 @@ (exception .public (cannot_overwrite [name Name]) (exception.report - "Extension" (%.text name))) + (list ["Extension" (%.text name)]))) (exception .public (incorrect_arity [name Name arity Nat args Nat]) (exception.report - "Extension" (%.text name) - "Expected" (%.nat arity) - "Actual" (%.nat args))) + (list ["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))) + (list ["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)))) + (list ["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/meta/compiler/language/lux/phase/extension/analysis/jvm.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/jvm.lux index 338029e94..36047a0ed 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/jvm.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/jvm.lux @@ -159,8 +159,8 @@ [(exception .public (<name> [class External field Text]) (exception.report - "Class" (%.text class) - "Field" (%.text field)))] + (list ["Class" (%.text class)] + ["Field" (%.text field)])))] [cannot_set_a_final_field] [deprecated_field] @@ -170,13 +170,13 @@ method Text type .Type]) (exception.report - "Class" (%.text class) - "Method" (%.text method) - "Type" (%.type type))) + (list ["Class" (%.text class)] + ["Method" (%.text method)] + ["Type" (%.type type)]))) (exception .public (deprecated_class [class External]) (exception.report - "Class" (%.text class))) + (list ["Class" (%.text class)]))) (def (ensure_fresh_class! class_loader name) (-> java/lang/ClassLoader External (Operation Any)) @@ -245,7 +245,7 @@ (with_template [<name>] [(exception .public (<name> [type .Type]) (exception.report - "Type" (%.type type)))] + (list ["Type" (%.type type)])))] [non_object] [non_array] @@ -256,7 +256,7 @@ (with_template [<name>] [(exception .public (<name> [class External]) (exception.report - "Class/type" (%.text class)))] + (list ["Class/type" (%.text class)])))] [non_interface] [non_throwable] @@ -271,12 +271,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))))] + (list ["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] @@ -286,9 +286,9 @@ to .Type value Code]) (exception.report - "From" (%.type from) - "To" (%.type to) - "Value" (%.code value))) + (list ["From" (%.type from)] + ["To" (%.type to)] + ["Value" (%.code value)]))) (with_template [<name>] [(exception .public (<name> [message Text]) @@ -1761,8 +1761,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))))] + (list ["Expected methods" (exception.listing %method expected)] + ["Actual methods" (exception.listing %method actual)]))))] [missing_abstract_methods] [invalid_overriden_methods] @@ -2268,16 +2268,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))) + (list ["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))) + (list ["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]))) @@ -2385,12 +2385,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))) + (list ["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/meta/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux index b053b850c..df5a61fc9 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux @@ -85,7 +85,7 @@ (these (exception .public (char_text_must_be_size_1 [text Text]) (exception.report - "Text" (%.text text))) + (list ["Text" (%.text text)]))) (def text_char (Parser text.Char) @@ -205,7 +205,7 @@ (exception .public (not_a_type [symbol Symbol]) (exception.report - "Symbol" (%.symbol symbol))) + (list ["Symbol" (%.symbol symbol)]))) (def lux::macro Handler diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/declaration/lux.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/declaration/lux.lux index 0262cf5eb..5c0593b49 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/declaration/lux.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/declaration/lux.lux @@ -336,15 +336,15 @@ foreign Alias target Symbol]) (exception.report - "Local alias" (%.symbol local) - "Foreign alias" (%.symbol foreign) - "Target definition" (%.symbol target))) + (list ["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))) + (list ["Alias" (%.symbol local)] + ["Label" (%.symbol foreign)]))) (def (define_alias alias original) (-> Text Symbol (/////analysis.Operation Any)) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/generation/jvm/host.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/generation/jvm/host.lux index 668af9d43..8f73277d6 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/generation/jvm/host.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/generation/jvm/host.lux @@ -366,7 +366,7 @@ (exception .public (not_an_object_array [arrayJT (Type Array)]) (exception.report - "JVM Type" (..signature arrayJT))) + (list ["JVM type" (..signature arrayJT)]))) (def .public object_array (Parser (Type Object)) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/generation/jvm/host.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/generation/jvm/host.lux index ca870abef..c5ff3c185 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/generation/jvm/host.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/generation/jvm/host.lux @@ -69,20 +69,20 @@ (exception .public (cannot_load [class Text error Text]) (exception.report - "Class" class - "Error" error)) + (list ["Class" class] + ["Error" error]))) (exception .public (invalid_field [class Text field Text error Text]) (exception.report - "Class" class - "Field" field - "Error" error)) + (list ["Class" class] + ["Field" field] + ["Error" error]))) (exception .public (invalid_value [class Text]) (exception.report - "Class" class)) + (list ["Class" class]))) (def (class_value class_name class) (-> Text (java/lang/Class java/lang/Object) (Try Any)) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/function.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/function.lux index a97634d68..e9507024a 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/function.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/function.lux @@ -34,8 +34,8 @@ (exception .public (cannot_find_foreign_variable_in_environment [foreign Register environment (Environment Synthesis)]) (exception.report - "Foreign" (%.nat foreign) - "Environment" (exception.listing /.%synthesis environment))) + (list ["Foreign" (%.nat foreign)] + ["Environment" (exception.listing /.%synthesis environment)]))) (def arity_arguments (-> Arity (List Synthesis)) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/variable.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/variable.lux index 80fce0c79..f6ef820af 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/variable.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/synthesis/variable.lux @@ -220,7 +220,7 @@ (with_template [<name>] [(exception .public (<name> [register Register]) (exception.report - "Register" (%.nat register)))] + (list ["Register" (%.nat register)])))] [redundant_declaration] [unknown_register] diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/program.lux b/stdlib/source/library/lux/meta/compiler/language/lux/program.lux index 9b9c15e3f..502922736 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/program.lux +++ b/stdlib/source/library/lux/meta/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))) + (list ["Modules" (exception.listing %.text modules)]))) (def .public (context archive) (-> Archive (Try unit.ID)) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/syntax.lux b/stdlib/source/library/lux/meta/compiler/language/lux/syntax.lux index 922ab5495..86d0cc16a 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/syntax.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/syntax.lux @@ -164,7 +164,7 @@ (exception .public (end_of_file [module Text]) (exception.report - "Module" (%.text module))) + (list ["Module" (%.text module)]))) (def amount_of_input_shown 64) @@ -178,15 +178,15 @@ input Text offset Offset]) (exception.report - "File" file - "Line" (%.nat line) - "Column" (%.nat column) - "Context" (%.text context) - "Input" (input_at offset input))) + (list ["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))) + (list ["Text" (%.text text)]))) (def !failure (template (_ parser where offset source_code) diff --git a/stdlib/source/library/lux/meta/compiler/meta/archive.lux b/stdlib/source/library/lux/meta/compiler/meta/archive.lux index 75612d11a..a67b84f92 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/archive.lux +++ b/stdlib/source/library/lux/meta/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))) + (list ["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)))) + (list ["Module" (%.text module)] + ["Old key" (signature.description (document.signature old))] + ["New key" (signature.description (document.signature new))]))) (with_template [<name>] [(exception .public (<name> [it descriptor.Module]) (exception.report - "Module" (%.text it)))] + (list ["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))) + (list ["Expected" (%.nat expected)] + ["Actual" (%.nat actual)]))) (def .public (import expected binary) (-> Version Binary (Try Archive)) diff --git a/stdlib/source/library/lux/meta/compiler/meta/archive/module/document.lux b/stdlib/source/library/lux/meta/compiler/meta/archive/module/document.lux index 46f7e2d5e..3baa41932 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/archive/module/document.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/archive/module/document.lux @@ -23,8 +23,8 @@ (exception .public (invalid_signature [expected Signature actual Signature]) (exception.report - "Expected" (signature.description expected) - "Actual" (signature.description actual))) + (list ["Expected" (signature.description expected)] + ["Actual" (signature.description actual)]))) (primitive .public (Document d) (Record diff --git a/stdlib/source/library/lux/meta/compiler/meta/archive/registry.lux b/stdlib/source/library/lux/meta/compiler/meta/archive/registry.lux index fa6493f90..48f9fb04c 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/archive/registry.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/archive/registry.lux @@ -147,7 +147,7 @@ (exception .public (invalid_category [tag Nat]) (exception.report - "Tag" (%.nat tag))) + (list ["Tag" (%.nat tag)]))) (def .public parser (Parser Registry) diff --git a/stdlib/source/library/lux/meta/compiler/meta/cache/module.lux b/stdlib/source/library/lux/meta/compiler/meta/cache/module.lux index 0e605d2e6..081911993 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/cache/module.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/cache/module.lux @@ -29,9 +29,9 @@ @module module.ID error Text]) (exception.report - "Archive" archive - "Module ID" (%.nat @module) - "Error" error)) + (list ["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/meta/compiler/meta/import.lux b/stdlib/source/library/lux/meta/compiler/meta/import.lux index bb28515a9..b904d3df6 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/import.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/import.lux @@ -34,8 +34,8 @@ (exception .public (duplicate [library Library module Module]) (exception.report - "Module" (%.text module) - "Library" (%.text library))) + (list ["Module" (%.text module)] + ["Library" (%.text library)]))) (type .public Import (Dictionary file.Path Binary)) diff --git a/stdlib/source/library/lux/meta/compiler/meta/io/context.lux b/stdlib/source/library/lux/meta/compiler/meta/io/context.lux index 3bf9f0397..d5cc32d72 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/io/context.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/io/context.lux @@ -35,12 +35,12 @@ (exception .public (cannot_find_module [importer Module module Module]) (exception.report - "Module" (%.text module) - "Importer" (%.text importer))) + (list ["Module" (%.text module)] + ["Importer" (%.text importer)]))) (exception .public (cannot_read_module [module Module]) (exception.report - "Module" (%.text module))) + (list ["Module" (%.text module)]))) (type .public Extension Text) diff --git a/stdlib/source/library/lux/meta/macro/context.lux b/stdlib/source/library/lux/meta/macro/context.lux index 464d0cfea..0cf61b454 100644 --- a/stdlib/source/library/lux/meta/macro/context.lux +++ b/stdlib/source/library/lux/meta/macro/context.lux @@ -27,7 +27,7 @@ (exception .public (no_definition [it Symbol]) (exception.report - "Definition" (symbol#encoded it))) + (list ["Definition" (symbol#encoded it)]))) (.def (global it) (-> Symbol (Meta Any)) diff --git a/stdlib/source/library/lux/meta/macro/local.lux b/stdlib/source/library/lux/meta/macro/local.lux index 9b2ec3156..8e0d8d709 100644 --- a/stdlib/source/library/lux/meta/macro/local.lux +++ b/stdlib/source/library/lux/meta/macro/local.lux @@ -21,14 +21,14 @@ (exception .public (unknown_module [module Text]) (exception.report - "Module" (text.format module))) + (list ["Module" (text.format module)]))) (with_template [<name>] [(exception .public (<name> [module Text definition Text]) (exception.report - "Module" (text.format module) - "Definition" (text.format definition)))] + (list ["Module" (text.format module)] + ["Definition" (text.format definition)])))] [cannot_shadow_definition] [unknown_definition] diff --git a/stdlib/source/library/lux/meta/macro/syntax/definition.lux b/stdlib/source/library/lux/meta/macro/syntax/definition.lux index 750c94d60..44030c108 100644 --- a/stdlib/source/library/lux/meta/macro/syntax/definition.lux +++ b/stdlib/source/library/lux/meta/macro/syntax/definition.lux @@ -82,7 +82,7 @@ (exception .public (lacks_type [definition Definition]) (exception.report - "Definition" (%.code (..format definition)))) + (list ["Definition" (%.code (..format definition))]))) (def .public (typed compiler) (-> Lux (Parser Definition)) diff --git a/stdlib/source/library/lux/meta/macro/template.lux b/stdlib/source/library/lux/meta/macro/template.lux index 20cd85f2b..cb6acd2d5 100644 --- a/stdlib/source/library/lux/meta/macro/template.lux +++ b/stdlib/source/library/lux/meta/macro/template.lux @@ -130,8 +130,8 @@ (exception .public (irregular_arguments [expected Nat actual Nat]) (exception.report - "Expected" (at nat.decimal encoded expected) - "Actual" (at nat.decimal encoded actual))) + (list ["Expected" (at nat.decimal encoded expected)] + ["Actual" (at nat.decimal encoded actual)]))) (def (macro (open "_[0]")) (-> Local Macro) diff --git a/stdlib/source/library/lux/meta/target/jvm/bytecode.lux b/stdlib/source/library/lux/meta/target/jvm/bytecode.lux index 906216326..6123ee60e 100644 --- a/stdlib/source/library/lux/meta/target/jvm/bytecode.lux +++ b/stdlib/source/library/lux/meta/target/jvm/bytecode.lux @@ -131,7 +131,7 @@ (exception .public (label_has_already_been_set [label Label]) (exception.report - "Label" (%.nat label))) + (list ["Label" (%.nat label)]))) (exception .public (mismatched_environments [instruction Symbol label Label @@ -139,11 +139,11 @@ expected Stack actual Stack]) (exception.report - "Instruction" (%.symbol instruction) - "Label" (%.nat label) - "Address" (/address.text address) - "Expected" (/stack.text expected) - "Actual" (/stack.text actual))) + (list ["Instruction" (%.symbol instruction)] + ["Label" (%.nat label)] + ["Address" (/address.text address)] + ["Expected" (/stack.text expected)] + ["Actual" (/stack.text actual)]))) (def .public (set? label) (-> Label (Bytecode (Maybe [Stack Address]))) @@ -681,7 +681,7 @@ (exception .public (invalid_register [id Nat]) (exception.report - "ID" (%.nat id))) + (list ["ID" (%.nat id)]))) (def (register id) (-> Nat (Bytecode Register)) @@ -783,15 +783,15 @@ (exception .public (unknown_label [label Label]) (exception.report - "Label" (%.nat label))) + (list ["Label" (%.nat label)]))) (exception .public (cannot_do_a_big_jump [label Label @from Address jump Big_Jump]) (exception.report - "Label" (%.nat label) - "Start" (|> @from /address.value //unsigned.value %.nat) - "Target" (|> jump //signed.value %.int))) + (list ["Label" (%.nat label)] + ["Start" (|> @from /address.value //unsigned.value %.nat)] + ["Target" (|> jump //signed.value %.int)]))) (type Any_Jump (Either Big_Jump @@ -811,7 +811,7 @@ (exception .public (unset_label [label Label]) (exception.report - "Label" (%.nat label))) + (list ["Label" (%.nat label)]))) (def (resolve_label label resolver) (-> Label Resolver (Try [Stack Address])) @@ -1044,7 +1044,7 @@ (exception .public (multiarray_cannot_be_zero_dimensional [class (Type Object)]) (exception.report - "Class" (..reflection class))) + (list ["Class" (..reflection class)]))) (def .public (multianewarray class dimensions) (-> (Type Object) U1 (Bytecode Any)) @@ -1131,8 +1131,8 @@ (exception .public (invalid_range_for_try [start Address end Address]) (exception.report - "Start" (|> start /address.value //unsigned.value %.nat) - "End" (|> end /address.value //unsigned.value %.nat))) + (list ["Start" (|> start /address.value //unsigned.value %.nat)] + ["End" (|> end /address.value //unsigned.value %.nat)]))) (def .public (try @start @end @handler catch) (-> Label Label Label (Type Class) (Bytecode Any)) diff --git a/stdlib/source/library/lux/meta/target/jvm/bytecode/environment.lux b/stdlib/source/library/lux/meta/target/jvm/bytecode/environment.lux index fcb4540c7..49e3455f4 100644 --- a/stdlib/source/library/lux/meta/target/jvm/bytecode/environment.lux +++ b/stdlib/source/library/lux/meta/target/jvm/bytecode/environment.lux @@ -67,8 +67,8 @@ (exception .public (mismatched_stacks [expected Stack actual Stack]) (exception.report - "Expected" (/stack.text expected) - "Actual" (/stack.text actual))) + (list ["Expected" (/stack.text expected)] + ["Actual" (/stack.text actual)]))) (def .public (continue expected environment) (-> Stack Environment (Try [Stack Environment])) diff --git a/stdlib/source/library/lux/meta/target/jvm/encoding/signed.lux b/stdlib/source/library/lux/meta/target/jvm/encoding/signed.lux index 91d7c15c6..430263c8d 100644 --- a/stdlib/source/library/lux/meta/target/jvm/encoding/signed.lux +++ b/stdlib/source/library/lux/meta/target/jvm/encoding/signed.lux @@ -46,8 +46,8 @@ (exception .public (value_exceeds_the_scope [value Int scope Nat]) (exception.report - "Value" (%.int value) - "Scope (in bytes)" (%.nat scope))) + (list ["Value" (%.int value)] + ["Scope (in bytes)" (%.nat scope)]))) (with_template [<bytes> <name> <size> <constructor> <maximum> <minimum> <+> <->] [(with_expansions [<raw> (template.symbol [<name> "'"])] diff --git a/stdlib/source/library/lux/meta/target/jvm/encoding/unsigned.lux b/stdlib/source/library/lux/meta/target/jvm/encoding/unsigned.lux index 858d06d80..1c2bc77a6 100644 --- a/stdlib/source/library/lux/meta/target/jvm/encoding/unsigned.lux +++ b/stdlib/source/library/lux/meta/target/jvm/encoding/unsigned.lux @@ -48,18 +48,18 @@ value Nat maximum (Unsigned Any)]) (exception.report - "Type" (%.symbol type) - "Value" (%.nat value) - "Maximum" (%.nat (representation maximum)))) + (list ["Type" (%.symbol type)] + ["Value" (%.nat value)] + ["Maximum" (%.nat (representation maximum))]))) (exception .public [brand] (subtraction_cannot_yield_negative_value [type Symbol parameter (Unsigned brand) subject (Unsigned brand)]) (exception.report - "Type" (%.symbol type) - "Parameter" (%.nat (representation parameter)) - "Subject" (%.nat (representation subject)))) + (list ["Type" (%.symbol type)] + ["Parameter" (%.nat (representation parameter))] + ["Subject" (%.nat (representation subject))]))) (with_template [<bytes> <name> <size> <constructor> <maximum> <+> <-> <max>] [(with_expansions [<raw> (template.symbol [<name> "'"])] diff --git a/stdlib/source/library/lux/meta/target/jvm/loader.lux b/stdlib/source/library/lux/meta/target/jvm/loader.lux index 627b10cd5..05d45cfad 100644 --- a/stdlib/source/library/lux/meta/target/jvm/loader.lux +++ b/stdlib/source/library/lux/meta/target/jvm/loader.lux @@ -25,17 +25,17 @@ (exception .public (already_stored [class Text]) (exception.report - "Class" class)) + (list ["Class" class]))) (exception .public (unknown [class Text]) (exception.report - "Class" class)) + (list ["Class" class]))) (exception .public (cannot_define [class Text error Text]) (exception.report - "Class" class - "Error" error)) + (list ["Class" class] + ["Error" error]))) (import java/lang/Object "[1]::[0]" diff --git a/stdlib/source/library/lux/meta/target/jvm/reflection.lux b/stdlib/source/library/lux/meta/target/jvm/reflection.lux index 3c5145a9d..a9c4fc3ce 100644 --- a/stdlib/source/library/lux/meta/target/jvm/reflection.lux +++ b/stdlib/source/library/lux/meta/target/jvm/reflection.lux @@ -98,13 +98,13 @@ (exception .public (unknown_class [class External]) (exception.report - "Class" (%.text class))) + (list ["Class" (%.text class)]))) (with_template [<name>] [(exception .public (<name> [jvm_type java/lang/reflect/Type]) (exception.report - "Type" (java/lang/reflect/Type::getTypeName jvm_type) - "Class" (|> jvm_type java/lang/Object::getClass java/lang/Object::toString)))] + (list ["Type" (java/lang/reflect/Type::getTypeName jvm_type)] + ["Class" (|> jvm_type java/lang/Object::getClass java/lang/Object::toString)])))] [not_a_class] [cannot_convert_to_a_lux_type] @@ -270,22 +270,22 @@ (exception .public (cannot_correspond [class (java/lang/Class java/lang/Object) type Type]) (exception.report - "Class" (java/lang/Object::toString class) - "Type" (%.type type))) + (list ["Class" (java/lang/Object::toString class)] + ["Type" (%.type type)]))) (exception .public (type_parameter_mismatch [expected Nat actual Nat class (java/lang/Class java/lang/Object) type Type]) (exception.report - "Expected" (%.nat expected) - "Actual" (%.nat actual) - "Class" (java/lang/Object::toString class) - "Type" (%.type type))) + (list ["Expected" (%.nat expected)] + ["Actual" (%.nat actual)] + ["Class" (java/lang/Object::toString class)] + ["Type" (%.type type)]))) (exception .public (non_jvm_type [type Type]) (exception.report - "Type" (%.type type))) + (list ["Type" (%.type type)]))) (def .public (correspond class type) (-> (java/lang/Class java/lang/Object) Type (Try Mapping)) @@ -331,16 +331,16 @@ owner (java/lang/Class java/lang/Object) target (java/lang/Class java/lang/Object)]) (exception.report - "Field" (java/lang/Object::toString field) - "Owner" (java/lang/Object::toString owner) - "Target" (java/lang/Object::toString target))) + (list ["Field" (java/lang/Object::toString field)] + ["Owner" (java/lang/Object::toString owner)] + ["Target" (java/lang/Object::toString target)]))) (with_template [<name>] [(exception .public (<name> [field Text class (java/lang/Class java/lang/Object)]) (exception.report - "Field" (%.text field) - "Class" (java/lang/Object::toString class)))] + (list ["Field" (%.text field)] + ["Class" (java/lang/Object::toString class)])))] [unknown_field] [not_a_static_field] diff --git a/stdlib/source/library/lux/meta/target/jvm/type/lux.lux b/stdlib/source/library/lux/meta/target/jvm/type/lux.lux index a8629d236..3af93e1b5 100644 --- a/stdlib/source/library/lux/meta/target/jvm/type/lux.lux +++ b/stdlib/source/library/lux/meta/target/jvm/type/lux.lux @@ -46,7 +46,7 @@ (exception .public (unknown_var [var Text]) (exception.report - "Var" (%.text var))) + (list ["Var" (%.text var)]))) (def void (Parser (Check Type)) diff --git a/stdlib/source/library/lux/meta/type/check.lux b/stdlib/source/library/lux/meta/type/check.lux index 2e06e8635..90fb49156 100644 --- a/stdlib/source/library/lux/meta/type/check.lux +++ b/stdlib/source/library/lux/meta/type/check.lux @@ -34,31 +34,31 @@ (exception .public (unknown_type_var [id Nat]) (exception.report - "ID" (n#encoded id))) + (list ["ID" (n#encoded id)]))) (exception .public (unbound_type_var [id Nat]) (exception.report - "ID" (n#encoded id))) + (list ["ID" (n#encoded id)]))) (exception .public (invalid_type_application [funcT Type argT Type]) (exception.report - "Type function" (//.format funcT) - "Type argument" (//.format argT))) + (list ["Type function" (//.format funcT)] + ["Type argument" (//.format argT)]))) (exception .public (cannot_rebind_var [id Nat type Type bound Type]) (exception.report - "Var" (n#encoded id) - "Wanted Type" (//.format type) - "Current Type" (//.format bound))) + (list ["Var" (n#encoded id)] + ["Wanted type" (//.format type)] + ["Current type" (//.format bound)]))) (exception .public (type_check_failed [expected Type actual Type]) (exception.report - "Expected" (//.format expected) - "Actual" (//.format actual))) + (list ["Expected" (//.format expected)] + ["Actual" (//.format actual)]))) (type .public Var Nat) @@ -340,7 +340,7 @@ (exception .public (cannot_identify [var Var]) (exception.report - "Var" (n#encoded var))) + (list ["Var" (n#encoded var)]))) (def .public (identity aliases @) (-> (List Var) Var (Check Type)) diff --git a/stdlib/source/library/lux/meta/type/dynamic.lux b/stdlib/source/library/lux/meta/type/dynamic.lux index ea4635966..303fbdf63 100644 --- a/stdlib/source/library/lux/meta/type/dynamic.lux +++ b/stdlib/source/library/lux/meta/type/dynamic.lux @@ -19,8 +19,8 @@ (exception .public (wrong_type [expected Type actual Type]) (exception.report - "Expected" (%.type expected) - "Actual" (%.type actual))) + (list ["Expected" (%.type expected)] + ["Actual" (%.type actual)]))) (primitive .public Dynamic [Type Any] diff --git a/stdlib/source/library/lux/meta/type/resource.lux b/stdlib/source/library/lux/meta/type/resource.lux index 1f7ead9f5..fa159c93f 100644 --- a/stdlib/source/library/lux/meta/type/resource.lux +++ b/stdlib/source/library/lux/meta/type/resource.lux @@ -104,7 +104,7 @@ (exception .public (index_cannot_be_repeated [index Nat]) (exception.report - "Index" (%.nat index))) + (list ["Index" (%.nat index)]))) (exception .public amount_cannot_be_zero) |