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/dependency.lux | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

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

diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux
index 7ce95f716..733e15710 100644
--- a/stdlib/source/test/aedifex/dependency.lux
+++ b/stdlib/source/test/aedifex/dependency.lux
@@ -5,7 +5,9 @@
     [abstract
      [monad (#+ do)]
      [\\specification
-      ["$." equivalence]]]
+      ["$." equivalence]
+      ["$." order]
+      ["$." hash]]]
     [math
      ["." random (#+ Random)]]]]
   [//
@@ -26,4 +28,8 @@
              ($_ _.and
                  (_.for [/.equivalence]
                         ($equivalence.spec /.equivalence ..random))
+                 (_.for [/.order]
+                        ($order.spec /.order ..random))
+                 (_.for [/.hash]
+                        ($hash.spec /.hash ..random))
                  ))))
-- 
cgit v1.2.3