Verified Commit 9fa79073 authored by Camil Staps's avatar Camil Staps 🚀

Adapt to new platform

parent 4ed0f0c9
Pipeline #12584 failed with stage
in 27 seconds
......@@ -185,7 +185,7 @@ affirm op rel x y rs admin
False
rs
{ Admin | admin
& failedAssertions = [ ( ExpectedRelation (printToString x) rel (printToString y)
& failedAssertions = [ ( ExpectedRelation (GPrint (printToString x)) rel (GPrint (printToString y))
, concat $ genShow{|*|} "" False x []
, concat $ genShow{|*|} "" False y []
)
......
......@@ -254,7 +254,7 @@ where
PassedTest _ _ _ _ -> Passed
CounterExpls _ _ _ -> Failed $ Just $ CounterExamples $
(\ce ->
{ counterExample = ce.CounterExampleRes.argsRepresentation
{ counterExample = map GPrint ce.CounterExampleRes.argsRepresentation
, failedAssertions = fst3 <$> ce.CounterExampleRes.failedAssertions
}
) <$> counterExamples
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment