From 442d1557b879a8a4bd76f441f72a17bfb71cf05f Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 17 Jul 2021 22:48:54 -0400
Subject: Now allowing compilers to generate custom-named outputs.

---
 stdlib/source/test/aedifex/profile.lux | 25 ++++++++++++++++++-------
 1 file changed, 18 insertions(+), 7 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 c593f1706..7163ac780 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -14,7 +14,7 @@
      [parser
       ["." cli]]]
     [data
-     ["." text]
+     ["." text ("#\." equivalence)]
      [collection
       ["." set (#+ Set)]
       ["." dictionary (#+ Dictionary)]]]
@@ -144,9 +144,20 @@
       (_.for [/.Distribution /.License /.SCM /.Organization
               /.Email /.Developer /.Contributor /.Info
               /.Source /.Target /.Name /.Profile]
-             ($_ _.and
-                 (_.for [/.equivalence]
-                        ($equivalence.spec /.equivalence ..random))
-                 (_.for [/.monoid]
-                        ($monoid.spec /.equivalence /.monoid ..random))
-                 ))))
+             (`` ($_ _.and
+                     (_.for [/.equivalence]
+                            ($equivalence.spec /.equivalence ..random))
+                     (_.for [/.monoid]
+                            ($monoid.spec /.equivalence /.monoid ..random))
+
+                     (_.cover [/.default]
+                              (text\= "" /.default))
+                     (_.cover [/.default_compiler]
+                              (|> (\ /.monoid identity)
+                                  (get@ #/.compiler)
+                                  (is? /.default_compiler)))
+                     (_.cover [/.default_target]
+                              (|> (\ /.monoid identity)
+                                  (get@ #/.target)
+                                  (is? /.default_target)))
+                     )))))
-- 
cgit v1.2.3