diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux | 21 |
1 files changed, 6 insertions, 15 deletions
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux index b241b0c46..2bb161796 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux @@ -6,22 +6,12 @@ [\\specification ["$[0]" equivalence]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]] + ["[0]" random {"+" Random}]]]] + ["[0]" / "_" + ["[1][0]" category]] [\\library ["[0]" /]]) -(def: random_category - (Random /.Category) - ($_ random.or - (random#in []) - (random.ascii/lower 1) - (random.ascii/lower 2) - (random.ascii/lower 3) - (random.ascii/lower 4) - (random.ascii/lower 5) - (random.ascii/lower 6) - )) - (def: random_dependency (Random /.Dependency) ($_ random.and @@ -33,9 +23,8 @@ (Random /.Artifact) ($_ random.and random.nat - ..random_category + /category.random random.bit - (random.set /.dependency_hash 5 ..random_dependency) )) (def: .public test @@ -45,4 +34,6 @@ ($_ _.and (_.for [/.equivalence] ($equivalence.spec /.equivalence ..random)) + + /category.test ))) |