diff options
author | Eduardo Julian | 2021-08-08 17:56:15 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-08-08 17:56:15 -0400 |
commit | f621a133e6e0a516c0586270fea8eaffb4829d82 (patch) | |
tree | 399396ee2f6a10df10cea9b78c51c76679b70e59 /stdlib/source/test/aedifex/hash.lux | |
parent | 17e7566be51df5e428a6b10e6469201a8a9468da (diff) |
No more #export magic syntax.
Diffstat (limited to 'stdlib/source/test/aedifex/hash.lux')
-rw-r--r-- | stdlib/source/test/aedifex/hash.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux index 524110c35..dc5633040 100644 --- a/stdlib/source/test/aedifex/hash.lux +++ b/stdlib/source/test/aedifex/hash.lux @@ -25,7 +25,7 @@ [data ["_." binary]]]]) -(def: #export (random hash) +(def: .public (random hash) (All [h] (-> (-> Binary (/.Hash h)) (Random (/.Hash h)))) @@ -33,7 +33,7 @@ [size (\ ! map (n.% 100) random.nat)] (\ ! map hash (_binary.random size)))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Hash /.SHA-1 /.MD5]) |