diff options
author | Eduardo Julian | 2023-01-04 18:37:14 -0400 |
---|---|---|
committer | Eduardo Julian | 2023-01-04 18:37:14 -0400 |
commit | 3ca054b6b992e2233d763aabc5c938ee10d116a4 (patch) | |
tree | 90b93c5a922fa312331f33cc4c93962c76db4636 /stdlib/source/test/aedifex/dependency | |
parent | ad1391ea1cdd33167339d25dbff2567f5a8d5c68 (diff) |
Added simple machinery for aliasing of definitions.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/aedifex/dependency.lux | 6 |
1 files changed, 3 insertions, 3 deletions
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)) )))) |