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/parser.lux | |
parent | 3e67e244ad1f58a7bab0094967a86be72aae2482 (diff) |
Allow defining anonymous actors.
Diffstat (limited to 'stdlib/source/test/aedifex/parser.lux')
-rw-r--r-- | stdlib/source/test/aedifex/parser.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux index 0c85156d2..e26240562 100644 --- a/stdlib/source/test/aedifex/parser.lux +++ b/stdlib/source/test/aedifex/parser.lux @@ -38,8 +38,8 @@ (def: (list-of random) (All [a] (-> (Random a) (Random (List a)))) - (do {@ random.monad} - [size (:: @ map (n.% 5) random.nat)] + (do {! random.monad} + [size (:: ! map (n.% 5) random.nat)] (random.list size random))) (def: (dictionary-of key-hash key-random value-random) |