diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/meta/target/jvm/encoding/unsigned.lux | 12 |
1 files changed, 6 insertions, 6 deletions
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> "'"])] |