diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-05-11 18:29:06 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-05-11 18:29:06 +0100 |
commit | 805f67c07cc15d784078b00a84f4055f84016cec (patch) | |
tree | 15c93eb5102e3813515d41204deb3f86f78f1994 /src/Verismith/Tool/Yosys.hs | |
parent | 54bb059ab6955f58f4a4b95cdd080775a56bc793 (diff) | |
download | verismith-805f67c07cc15d784078b00a84f4055f84016cec.tar.gz verismith-805f67c07cc15d784078b00a84f4055f84016cec.zip |
Fix types with annotations
Diffstat (limited to 'src/Verismith/Tool/Yosys.hs')
-rw-r--r-- | src/Verismith/Tool/Yosys.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/Verismith/Tool/Yosys.hs b/src/Verismith/Tool/Yosys.hs index 24b83fd..f68f39f 100644 --- a/src/Verismith/Tool/Yosys.hs +++ b/src/Verismith/Tool/Yosys.hs @@ -63,7 +63,7 @@ defaultYosys = Yosys Nothing "yosys" "syn_yosys.v" yosysPath :: Yosys -> FilePath yosysPath sim = maybe (S.fromText "yosys") (</> S.fromText "yosys") $ yosysBin sim -runSynthYosys :: Yosys -> (SourceInfo ann) -> ResultSh () +runSynthYosys :: Show ann => Yosys -> (SourceInfo ann) -> ResultSh () runSynthYosys sim (SourceInfo _ src) = do dir <- liftSh $ do dir' <- S.pwd @@ -83,7 +83,7 @@ runSynthYosys sim (SourceInfo _ src) = do out = S.toTextIgnore $ synthOutput sim runEquivYosys - :: (Synthesiser a, Synthesiser b) + :: (Synthesiser a, Synthesiser b, Show ann) => Yosys -> a -> b @@ -103,8 +103,8 @@ runEquivYosys yosys sim1 sim2 srcInfo = do liftSh $ S.run_ (yosysPath yosys) [S.toTextIgnore checkFile] where checkFile = S.fromText $ "test." <> toText sim1 <> "." <> toText sim2 <> ".ys" -runEquiv - :: (Synthesiser a, Synthesiser b) => Maybe Text -> FilePath -> a -> b -> (SourceInfo ann) -> ResultSh () +runEquiv :: (Synthesiser a, Synthesiser b, Show ann) + => Maybe Text -> FilePath -> a -> b -> (SourceInfo ann) -> ResultSh () runEquiv mt datadir sim1 sim2 srcInfo = do dir <- liftSh S.pwd liftSh $ do |