diff options
| author | Eduardo Julian | 2020-11-02 17:31:39 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-11-02 17:31:39 -0400 |
| commit | 03b1085924b225d34d3b11f1a442b0b5d926c417 (patch) | |
| tree | e50b2d0947bf7aa53d2ea8321693e4c0a21836ac /stdlib/source/test/aedifex/hash.lux | |
| parent | 3e67e244ad1f58a7bab0094967a86be72aae2482 (diff) | |
Allow defining anonymous actors.
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 bc6bb1b4b..745ec0910 100644 --- a/stdlib/source/test/aedifex/hash.lux +++ b/stdlib/source/test/aedifex/hash.lux @@ -29,9 +29,9 @@ (All [h] (-> (-> Binary (/.Hash h)) (Random (/.Hash h)))) - (do {@ random.monad} - [size (:: @ map (n.% 100) random.nat)] - (:: @ map hash (_binary.random size)))) + (do {! random.monad} + [size (:: ! map (n.% 100) random.nat)] + (:: ! map hash (_binary.random size)))) (def: #export test Test |