aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/profile.lux
diff options
context:
space:
mode:
authorEduardo Julian2020-11-02 17:31:39 -0400
committerEduardo Julian2020-11-02 17:31:39 -0400
commit03b1085924b225d34d3b11f1a442b0b5d926c417 (patch)
treee50b2d0947bf7aa53d2ea8321693e4c0a21836ac /stdlib/source/test/aedifex/profile.lux
parent3e67e244ad1f58a7bab0094967a86be72aae2482 (diff)
Allow defining anonymous actors.
Diffstat (limited to 'stdlib/source/test/aedifex/profile.lux')
-rw-r--r--stdlib/source/test/aedifex/profile.lux4
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index 398a85f5b..d0da1ff2a 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -70,8 +70,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: (set-of hash random)