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/artifact/snapshot/version | |
parent | 6f1bf11af05bd03183fee7721ac99eca826ca041 (diff) |
Began work on C++ back-end.
Diffstat (limited to 'stdlib/source/test/aedifex/artifact/snapshot/version')
-rw-r--r-- | stdlib/source/test/aedifex/artifact/snapshot/version/value.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux index f116a0a78..74b2ff039 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["[0]" try (.use "[1]#[0]" functor)]] [data @@ -43,7 +43,7 @@ (_.for [/.Value]) (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (do random.monad [sample random |