From c85697eee8ce3dac5480a3ba2b31cc4943e1d8e6 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 7 Apr 2022 14:57:35 -0400
Subject: Better snapshot deployments for Aedifex.

---
 stdlib/source/test/aedifex/profile.lux | 21 +++++++++++++++------
 1 file changed, 15 insertions(+), 6 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 c7f63d254..aa2159929 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -20,7 +20,13 @@
    [math
     ["[0]" random {"+" Random} ("[1]#[0]" monad)]
     [number
-     ["n" nat]]]]]
+     ["n" nat]]]
+   [tool
+    [compiler
+     [meta
+      [cli
+       ["[0]" compiler
+        ["$[1]" \\test]]]]]]]]
  [//
   ["@[0]" artifact]
   ["@[0]" dependency]]
@@ -125,11 +131,14 @@
       (..set_of text.hash ..repository)
       (..set_of //dependency.hash @dependency.random)
       @dependency.random
+      (..list_of $compiler.random)
       (..set_of text.hash ..source)
       ..target
       (random.maybe (random.ascii/alpha 1))
-      (random.maybe (random.ascii/alpha 1))
-      (..dictionary_of text.hash (random.ascii/alpha 1) ..repository)
+      (random.maybe (random.ascii/alpha 2))
+      (..dictionary_of text.hash (random.ascii/alpha 3) ..repository)
+      (..list_of (random.and (random.ascii/alpha 4)
+                             (random.ascii/alpha 5)))
       (random#in //runtime.default_java)
       (random#in //runtime.default_js)
       (random#in //runtime.default_python)
@@ -151,10 +160,10 @@
 
                      (_.cover [/.default]
                               (text#= "" /.default))
-                     (_.cover [/.default_compiler]
+                     (_.cover [/.default_lux]
                               (|> (# /.monoid identity)
-                                  (the /.#compiler)
-                                  (same? /.default_compiler)))
+                                  (the /.#lux)
+                                  (same? /.default_lux)))
                      (_.cover [/.default_target]
                               (|> (# /.monoid identity)
                                   (the /.#target)
-- 
cgit v1.2.3