Minor naming & syntax improvements.

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)))))