From 772f621c19408c711c1e587668a52a8cfeeea418 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 12 Aug 2022 22:26:57 -0400
Subject: Fixes for Aedifex tests.

---
 stdlib/source/test/aedifex/profile.lux | 23 ++++++++++++++---------
 1 file changed, 14 insertions(+), 9 deletions(-)

(limited to 'stdlib/source/test/aedifex/profile.lux')

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)
-- 
cgit v1.2.3