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/artifact.lux | |
| parent | ad1391ea1cdd33167339d25dbff2567f5a8d5c68 (diff) | |
Added simple machinery for aliasing of definitions.
Diffstat (limited to 'stdlib/source/test/aedifex/artifact.lux')
| -rw-r--r-- | stdlib/source/test/aedifex/artifact.lux | 6 |
1 files changed, 3 insertions, 3 deletions
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)) |