diff options
| author | Eduardo Julian | 2022-06-12 00:38:20 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-12 00:38:20 -0400 |
| commit | b48ea68a83d01903554c7696c77eedaaf1035680 (patch) | |
| tree | c342d8094c3158de16526f874ca9624418cd2dd2 /stdlib/source/test/aedifex/hash.lux | |
| parent | 7abf2d0ac55c229a8793bbff31f132596ffcb275 (diff) | |
De-sigil-ification: suffix : [Part 3]
Diffstat (limited to 'stdlib/source/test/aedifex/hash.lux')
| -rw-r--r-- | stdlib/source/test/aedifex/hash.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux index dfa36217b..921461cf8 100644 --- a/stdlib/source/test/aedifex/hash.lux +++ b/stdlib/source/test/aedifex/hash.lux @@ -45,7 +45,7 @@ )) (_.for [/.data] (all _.and - (~~ (template [<hash> <constructor> <exception>] + (~~ (with_template [<hash> <constructor> <exception>] [(do random.monad [expected (..random <hash>)] (_.coverage [<hash> <constructor> <exception>] @@ -67,7 +67,7 @@ [/.sha-1 /.as_sha-1 /.not_a_sha-1] [/.md5 /.as_md5 /.not_a_md5] )))) - (~~ (template [<codec> <hash>] + (~~ (with_template [<codec> <hash>] [(_.for [<codec>] ($codec.spec /.equivalence <codec> (..random <hash>)))] @@ -76,7 +76,7 @@ )) (_.for [/.not_a_hash] (all _.and - (~~ (template [<codec> <hash>] + (~~ (with_template [<codec> <hash>] [(do random.monad [expected (..random <hash>)] (_.coverage [<codec>] |