diff options
| author | Eduardo Julian | 2022-12-23 20:58:58 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-12-23 20:58:58 -0400 |
| commit | ad1391ea1cdd33167339d25dbff2567f5a8d5c68 (patch) | |
| tree | 7b8c1154e3cdbc9a79fc7c3e468f07544c51f910 /stdlib/source/test/aedifex/dependency | |
| parent | 6f1bf11af05bd03183fee7721ac99eca826ca041 (diff) | |
Began work on C++ back-end.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/aedifex/dependency.lux | 5 | ||||
| -rw-r--r-- | stdlib/source/test/aedifex/dependency/resolution.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/test/aedifex/dependency/status.lux | 6 |
3 files changed, 9 insertions, 8 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] diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux index 9e67edc86..574f70891 100644 --- a/stdlib/source/test/aedifex/dependency/resolution.lux +++ b/stdlib/source/test/aedifex/dependency/resolution.lux @@ -3,8 +3,8 @@ [lux (.except all) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["[0]" try] ["[0]" exception] @@ -436,7 +436,7 @@ (_.for [/.Resolution]) (.all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.coverage [/.empty] (dictionary.empty? /.empty)) diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux index 074394b99..ea13e41c4 100644 --- a/stdlib/source/test/aedifex/dependency/status.lux +++ b/stdlib/source/test/aedifex/dependency/status.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [data ["[0]" binary ["[1]T" \\test]]] @@ -35,7 +35,7 @@ (_.for [/.Status] (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (do random.monad [payload (binaryT.random 1)] |