From 3ca054b6b992e2233d763aabc5c938ee10d116a4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 4 Jan 2023 18:37:14 -0400
Subject: Added simple machinery for aliasing of definitions.

---
 stdlib/source/test/aedifex/artifact.lux   | 6 +++---
 stdlib/source/test/aedifex/dependency.lux | 6 +++---
 2 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'stdlib/source/test/aedifex')

diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index 471786919..7e0d2c1cb 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -4,8 +4,8 @@
    [abstract
     [monad (.only do)]
     [hash (.only Hash)]
-    [\\specification
-     ["$[0]" hash]]
+    ["[0]" hash
+     ["[1]T" \\test]]
     ["[0]" equivalence
      ["[1]T" \\test]]
     ["[0]" order
@@ -50,7 +50,7 @@
                   (_.for [/.order]
                          (orderT.spec /.order ..random))
                   (_.for [/.hash]
-                         ($hash.spec /.hash ..random))
+                         (hashT.spec /.hash ..random))
 
                   (_.coverage [/.format /.identity]
                     (and (text.ends_with? (/.identity sample) (/.format sample))
diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux
index 6235282ee..02721cf35 100644
--- a/stdlib/source/test/aedifex/dependency.lux
+++ b/stdlib/source/test/aedifex/dependency.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" hash]]
+    ["[0]" hash
+     ["[1]T" \\test]]
     ["[0]" equivalence
      ["[1]T" \\test]]
     ["[0]" order
@@ -34,5 +34,5 @@
                   (_.for [/.order]
                          (orderT.spec /.order ..random))
                   (_.for [/.hash]
-                         ($hash.spec /.hash ..random))
+                         (hashT.spec /.hash ..random))
                   ))))
-- 
cgit v1.2.3