diff options
| author | Eduardo Julian | 2021-09-08 18:57:27 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-08 18:57:27 -0400 |
| commit | 880cb37c261df20b7b8d968a909557bbc63d6b7f (patch) | |
| tree | eb94b5572f3b03b855927c67e171b73ceb4db6c4 /stdlib/source/program/aedifex/hash.lux | |
| parent | 9ae7272d50b64dc9c8651e7a684abc007d4f2caf (diff) | |
Normalized syntax of "exception:", "actor:" and "message:".
Diffstat (limited to 'stdlib/source/program/aedifex/hash.lux')
| -rw-r--r-- | stdlib/source/program/aedifex/hash.lux | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux index 996858e3e..74e54679f 100644 --- a/stdlib/source/program/aedifex/hash.lux +++ b/stdlib/source/program/aedifex/hash.lux @@ -77,14 +77,15 @@ (def: hex_per_chunk (n.* hex_per_byte i64.bytes_per_i64)) - (exception: .public (not_a_hash {size Nat} {value Text}) + (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))])) (template [<name> <size>] - [(exception: .public (<name> {data Binary}) + [(exception: .public (<name> [data Binary]) (exception.report ["Pseudo hash" (%.text (..encoded data))] ["Expected size" (%.nat <size>)] |