diff options
author | Yann Herklotz <git@ymhg.org> | 2019-05-13 14:58:15 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-05-13 14:58:15 +0100 |
commit | 426f0d71eca2dc578e4258df05be296003c3e4cb (patch) | |
tree | fbc3875534155a33ab23c7c34db128ee6fcbf2cf /test | |
parent | b5fddf170e4f4d798b0411f417735cec21e20b29 (diff) | |
download | verismith-426f0d71eca2dc578e4258df05be296003c3e4cb.tar.gz verismith-426f0d71eca2dc578e4258df05be296003c3e4cb.zip |
Change the arguments to Text in the Parser
Diffstat (limited to 'test')
-rw-r--r-- | test/Parser.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/Parser.hs b/test/Parser.hs index d473e05..40a8f30 100644 --- a/test/Parser.hs +++ b/test/Parser.hs @@ -26,6 +26,7 @@ import Test.Tasty.Hedgehog import Test.Tasty.HUnit import Text.Parsec import VeriFuzz +import VeriFuzz.Internal import VeriFuzz.Verilog.Lex import VeriFuzz.Verilog.Parser @@ -69,9 +70,9 @@ parserIdempotent = Hog.property $ do let sv = vshow v p sv === (p . p) sv where - vshow = show . GenVerilog + vshow = showT . GenVerilog p sv = - either (\x -> show x <> "\n" <> sv) vshow $ parseVerilog "idempotent_test" sv + either (\x -> showT x <> "\n" <> sv) vshow $ parseVerilog "idempotent_test" sv parserTests :: TestTree parserTests = testGroup "Parser properties" |