@@ -143,7 +143,10 @@ parserCatchErrorProp path msg =
143-- variation in JSON object key ordering.
143-- variation in JSON object key ordering.
144sameAs :: (a -> Value) -> (a -> Encoding) -> a -> Property
144sameAs :: (a -> Value) -> (a -> Encoding) -> a -> Property
145sameAs toVal toEnc v =
145sameAs toVal toEnc v =
146+ counterexample (show s) $
146− eitherDecode (encodingToLazyByteString (toEnc v)) === Right (toVal v)
147+ eitherDecode s === Right (toVal v)
149+ s = encodingToLazyByteString (toEnc v)
149 :: (forall a. LiftToJSON f a)
152 :: (forall a. LiftToJSON f a)