diff options
| author | Eduardo Julian | 2022-06-26 02:57:13 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-26 02:57:13 -0400 |
| commit | 716ca5377386ca87eded7dd514ccc17f8ed281c3 (patch) | |
| tree | 30ecd03de0f32057d453ab2c342fd17f88732ae3 /stdlib/source/program/aedifex/hash.lux | |
| parent | cfdc546e6834ceeb78cb692d17fd5c60695be982 (diff) | |
De-sigil-ification: suffix : [Part 16]
Diffstat (limited to 'stdlib/source/program/aedifex/hash.lux')
| -rw-r--r-- | stdlib/source/program/aedifex/hash.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux index d114b957e..3f7376286 100644 --- a/stdlib/source/program/aedifex/hash.lux +++ b/stdlib/source/program/aedifex/hash.lux @@ -8,7 +8,7 @@ [monad (.only do)]] [control ["[0]" try (.only Try)] - ["[0]" exception (.only exception:)]] + ["[0]" exception (.only exception)]] [data ["[0]" binary (.only Binary)] ["[0]" text @@ -80,15 +80,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)))) (with_template [<name> <size>] - [(exception: .public (<name> [data Binary]) + [(exception .public (<name> [data Binary]) (exception.report "Pseudo hash" (%.text (..encoded data)) "Expected size" (%.nat <size>) |