diff options
| author | Eduardo Julian | 2021-09-05 22:52:26 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-05 22:52:26 -0400 |
| commit | 132ffdae1add622c8a3c6065d7730a8fe8ea5e78 (patch) | |
| tree | 540310f190007d192b892db2d0a520d17b73ad48 /stdlib/source/test/aedifex/package.lux | |
| parent | 09e2747bf8c6dcdc1d7318f2490f0de37d77b39f (diff) | |
Changed the syntax of do/be's (co)monad bindings.
Diffstat (limited to 'stdlib/source/test/aedifex/package.lux')
| -rw-r--r-- | stdlib/source/test/aedifex/package.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux index 8bd1d6fde..a7bc7d00a 100644 --- a/stdlib/source/test/aedifex/package.lux +++ b/stdlib/source/test/aedifex/package.lux @@ -42,7 +42,7 @@ (def: .public random (Random [//.Profile /.Package]) - (do {! random.monad} + (do [! random.monad] [content_size (\ ! each (n.% 100) random.nat) content ($binary.random content_size) [profile pom] (random.one (function (_ profile) @@ -57,7 +57,7 @@ Test (<| (_.covering /._) (_.for [/.Package]) - (do {! random.monad} + (do [! random.monad] [[profile package] ..random] ($_ _.and (_.for [/.equivalence] |