aboutsummaryrefslogtreecommitdiffstats
path: root/test
diff options
context:
space:
mode:
authorYann Herklotz <git@ymhg.org>2019-05-13 14:58:15 +0100
committerYann Herklotz <git@ymhg.org>2019-05-13 14:58:15 +0100
commit426f0d71eca2dc578e4258df05be296003c3e4cb (patch)
treefbc3875534155a33ab23c7c34db128ee6fcbf2cf /test
parentb5fddf170e4f4d798b0411f417735cec21e20b29 (diff)
downloadverismith-426f0d71eca2dc578e4258df05be296003c3e4cb.tar.gz
verismith-426f0d71eca2dc578e4258df05be296003c3e4cb.zip
Change the arguments to Text in the Parser
Diffstat (limited to 'test')
-rw-r--r--test/Parser.hs5
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"