From b281cee59daa51ba4607229092274dfa2f801806 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 13 Apr 2019 12:21:05 +0100 Subject: Fix tests passing --- test/Property.hs | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) (limited to 'test') diff --git a/test/Property.hs b/test/Property.hs index ba961cf..431a155 100644 --- a/test/Property.hs +++ b/test/Property.hs @@ -3,7 +3,7 @@ module Property ) where -import Data.Either (fromRight, isRight) +import Data.Either (either, isRight) import qualified Data.Graph.Inductive as G import Hedgehog (Gen, (===)) import qualified Hedgehog as Hog @@ -42,11 +42,9 @@ parserIdempotent' = Hog.property $ do p sv === (p . p) sv where vshow = show . GenVerilog - p = - vshow - . fromRight (error "Failed idempotent test") - . parse parseModDecl "idempotent_test.v" - . alexScanTokens + p sv = either (\x -> show x <> "\n" <> sv) vshow + . parse parseModDecl "idempotent_test.v" + $ alexScanTokens sv parserInput :: TestTree parserInput = testProperty "parser input" parserInput' -- cgit