aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/hash.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/aedifex/hash.lux')
-rw-r--r--stdlib/source/test/aedifex/hash.lux7
1 files changed, 4 insertions, 3 deletions
diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux
index 36326a58f..55cd89bba 100644
--- a/stdlib/source/test/aedifex/hash.lux
+++ b/stdlib/source/test/aedifex/hash.lux
@@ -4,8 +4,9 @@
[abstract
[monad (.only do)]
[\\specification
- ["$[0]" equivalence]
- ["$[0]" codec]]]
+ ["$[0]" equivalence]]
+ ["[0]" codec
+ ["[1]T" \\test]]]
[control
["[0]" try]
["[0]" exception]]
@@ -70,7 +71,7 @@
))))
(,, (with_template [<codec> <hash>]
[(_.for [<codec>]
- ($codec.spec /.equivalence <codec> (..random <hash>)))]
+ (codecT.spec /.equivalence <codec> (..random <hash>)))]
[/.sha1_codec /.sha1]
[/.md5_codec /.md5]