aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/dependency.lux
diff options
context:
space:
mode:
authorEduardo Julian2022-12-23 20:58:58 -0400
committerEduardo Julian2022-12-23 20:58:58 -0400
commitad1391ea1cdd33167339d25dbff2567f5a8d5c68 (patch)
tree7b8c1154e3cdbc9a79fc7c3e468f07544c51f910 /stdlib/source/test/aedifex/dependency.lux
parent6f1bf11af05bd03183fee7721ac99eca826ca041 (diff)
Began work on C++ back-end.
Diffstat (limited to 'stdlib/source/test/aedifex/dependency.lux')
-rw-r--r--stdlib/source/test/aedifex/dependency.lux5
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux
index 3a71c655a..6235282ee 100644
--- a/stdlib/source/test/aedifex/dependency.lux
+++ b/stdlib/source/test/aedifex/dependency.lux
@@ -4,8 +4,9 @@
[abstract
[monad (.only do)]
[\\specification
- ["$[0]" equivalence]
["$[0]" hash]]
+ ["[0]" equivalence
+ ["[1]T" \\test]]
["[0]" order
["[1]T" \\test]]]
[math
@@ -29,7 +30,7 @@
(_.for [/.Dependency]
(all _.and
(_.for [/.equivalence]
- ($equivalence.spec /.equivalence ..random))
+ (equivalenceT.spec /.equivalence ..random))
(_.for [/.order]
(orderT.spec /.order ..random))
(_.for [/.hash]