diff options
Diffstat (limited to 'stdlib/source/specification')
| -rw-r--r-- | stdlib/source/specification/compositor/generation/common.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/specification/lux/abstract/codec.lux | 8 |
2 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux index 099e556e1..a0d202a2e 100644 --- a/stdlib/source/specification/compositor/generation/common.lux +++ b/stdlib/source/specification/compositor/generation/common.lux @@ -298,9 +298,9 @@ [message (r.alphabetic 5)] (all _.and (_.test "Can log messages." - (|> {synthesis.#Extension .log# + (|> {synthesis.#Extension .log!# (list (synthesis.text (format "LOG: " message)))} - (run (..safe .log#)) + (run (..safe .log!#)) (pipe.when {try.#Success valueV} true diff --git a/stdlib/source/specification/lux/abstract/codec.lux b/stdlib/source/specification/lux/abstract/codec.lux index 80fa0d327..e4e9d3bed 100644 --- a/stdlib/source/specification/lux/abstract/codec.lux +++ b/stdlib/source/specification/lux/abstract/codec.lux @@ -14,15 +14,15 @@ [// [equivalence (.only Equivalence)]]]]) -(def .public (spec (open "@//[0]") (open "@//[0]") generator) +(def .public (spec (open "/#[0]") (open "/#[0]") generator) (All (_ m a) (-> (Equivalence a) (/.Codec m a) (Random a) Test)) (do random.monad [expected generator] (_.for [/.Codec] - (_.test "Isomorphism." - (when (|> expected @//encoded @//decoded) + (_.coverage [/.encoded /.decoded] + (when (|> expected /#encoded /#decoded) {try.#Success actual} - (@//= expected actual) + (/#= expected actual) {try.#Failure _} false))))) |