aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/profile.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/aedifex/profile.lux')
-rw-r--r--stdlib/source/test/aedifex/profile.lux7
1 files changed, 4 insertions, 3 deletions
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index 591ad4d5d..387a9c2aa 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -5,8 +5,9 @@
[monad (.only do)]
[hash (.only Hash)]
[\\specification
- ["$[0]" equivalence]
- ["$[0]" monoid]]]
+ ["$[0]" equivalence]]
+ ["[0]" monoid
+ ["[1]T" \\test]]]
[control
["[0]" try]]
[data
@@ -162,7 +163,7 @@
(_.for [/.equivalence]
($equivalence.spec /.equivalence ..random))
(_.for [/.monoid]
- ($monoid.spec /.equivalence /.monoid ..random))
+ (monoidT.spec /.equivalence /.monoid ..random))
(_.coverage [/.default]
(text#= "" /.default))