diff options
| author | Eduardo Julian | 2022-03-15 22:45:49 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-03-15 22:45:49 -0400 |
| commit | b0093a3849baaeb5e12692b2cf6ac65ba74bbd54 (patch) | |
| tree | 26db4a468c2f75c64ba16e8b7dbf20f135d369fc /stdlib/source/program/aedifex/hash.lux | |
| parent | bc36487224f670c23002cc4575c0dba3e5dc1be1 (diff) | |
Leaner syntax for library/lux/control/exception.report
Diffstat (limited to 'stdlib/source/program/aedifex/hash.lux')
| -rw-r--r-- | stdlib/source/program/aedifex/hash.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux index 6af53e362..d45c8bb6e 100644 --- a/stdlib/source/program/aedifex/hash.lux +++ b/stdlib/source/program/aedifex/hash.lux @@ -83,16 +83,16 @@ (exception: .public (not_a_hash [size Nat value Text]) (exception.report - ["Pseudo hash" (%.text value)] - ["Expected size" (%.nat size)] - ["Actual size" (%.nat (text.size value))])) + "Pseudo hash" (%.text value) + "Expected size" (%.nat size) + "Actual size" (%.nat (text.size value)))) (template [<name> <size>] [(exception: .public (<name> [data Binary]) (exception.report - ["Pseudo hash" (%.text (..encoded data))] - ["Expected size" (%.nat <size>)] - ["Actual size" (%.nat (binary.size data))]))] + "Pseudo hash" (%.text (..encoded data)) + "Expected size" (%.nat <size>) + "Actual size" (%.nat (binary.size data))))] [not_a_sha-1 ..sha-1::size] [not_a_md5 ..md5::size] |