diff options
| author | Eduardo Julian | 2021-08-24 05:23:45 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-24 05:23:45 -0400 |
| commit | 36303d6cb2ce3ab9e36d045b9516c997bd461862 (patch) | |
| tree | b9d2f1495143054d61d9af129f36833624db9dac /stdlib/source/test/aedifex/package.lux | |
| parent | ec1f31b5a1492d5e0ab260397291d4449483bbd9 (diff) | |
Outsourced the syntax for labelled type definitions to macros.
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 7e9cf1dd6..7b2ac3865 100644 --- a/stdlib/source/test/aedifex/package.lux +++ b/stdlib/source/test/aedifex/package.lux @@ -43,7 +43,7 @@ (def: .public random (Random [//.Profile /.Package]) (do {! random.monad} - [content_size (\ ! map (n.% 100) random.nat) + [content_size (\ ! each (n.% 100) random.nat) content ($binary.random content_size) [profile pom] (random.one (function (_ profile) (try.maybe @@ -61,7 +61,7 @@ [[profile package] ..random] ($_ _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence (\ ! map product.right ..random))) + ($equivalence.spec /.equivalence (\ ! each product.right ..random))) (_.cover [/.local?] (/.local? (with@ #/.origin (#//origin.Local "~/yolo") package))) |