diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/aedifex/profile.lux | 23 |
1 files changed, 14 insertions, 9 deletions
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index 9a2c5ba3c..4d964ebdd 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except) + [lux (.except symbol) [abstract [monad (.only do)] [hash (.only Hash)] @@ -8,9 +8,7 @@ ["$[0]" equivalence] ["$[0]" monoid]]] [control - ["[0]" try] - [parser - ["[0]" cli]]] + ["[0]" try]] [data ["[0]" text (.use "[1]#[0]" equivalence)] [collection @@ -26,6 +24,8 @@ [cli ["[0]" compiler (.only) ["$[1]" \\test]]]]]] + [program + ["cli" \\parser]] [test ["_" property (.only Test)]]]] [// @@ -124,6 +124,11 @@ (Random /.Target) (random.alphabetic 1)) +(def (symbol module_size short_size) + (-> Nat Nat (Random Symbol)) + (random.and (random.alphabetic module_size) + (random.alphabetic short_size))) + (def .public random (Random /.Profile) (all random.and @@ -136,11 +141,11 @@ (..list_of $compiler.random) (..set_of text.hash ..source) ..target - (random.maybe (random.alphabetic 1)) - (random.maybe (random.alphabetic 2)) - (..dictionary_of text.hash (random.alphabetic 3) ..repository) - (..list_of (random.and (random.alphabetic 4) - (random.alphabetic 5))) + (random.maybe (symbol 1 2)) + (random.maybe (symbol 3 4)) + (..dictionary_of text.hash (random.alphabetic 5) ..repository) + (..list_of (random.and (random.alphabetic 6) + (random.alphabetic 7))) (random#in //runtime.default_java) (random#in //runtime.default_js) (random#in //runtime.default_python) |