diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/target/jvm/encoding/unsigned.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux index 199ea697a..df550075b 100644 --- a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux +++ b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux @@ -42,18 +42,18 @@ (n.< (:representation reference) (:representation sample)))) - (exception: .public (value_exceeds_the_maximum {type Name} - {value Nat} - {maximum (Unsigned Any)}) + (exception: .public (value_exceeds_the_maximum [type Name + value Nat + maximum (Unsigned Any)]) (exception.report ["Type" (%.name type)] ["Value" (%.nat value)] ["Maximum" (%.nat (:representation maximum))])) (exception: .public [brand] (subtraction_cannot_yield_negative_value - {type Name} - {parameter (Unsigned brand)} - {subject (Unsigned brand)}) + [type Name + parameter (Unsigned brand) + subject (Unsigned brand)]) (exception.report ["Type" (%.name type)] ["Parameter" (%.nat (:representation parameter))] |