diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-03-16 13:12:30 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-03-16 13:12:30 +0000 |
commit | 472aedf5daeb1cb0d095a63eacf259b798f56586 (patch) | |
tree | 8e7e32b3ff2d762b90d8b460926adb83408a6263 /src/Verismith/Tool/Yosys.hs | |
parent | 010d7343133ebe53a472b9d26fdeb509db31d4c9 (diff) | |
download | verismith-472aedf5daeb1cb0d095a63eacf259b798f56586.tar.gz verismith-472aedf5daeb1cb0d095a63eacf259b798f56586.zip |
WIP changes to the AST types
Diffstat (limited to 'src/Verismith/Tool/Yosys.hs')
-rw-r--r-- | src/Verismith/Tool/Yosys.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Verismith/Tool/Yosys.hs b/src/Verismith/Tool/Yosys.hs index c87e697..3632f37 100644 --- a/src/Verismith/Tool/Yosys.hs +++ b/src/Verismith/Tool/Yosys.hs @@ -64,7 +64,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 -> ResultSh () +runSynthYosys :: Yosys -> (SourceInfo ann) -> ResultSh () runSynthYosys sim (SourceInfo _ src) = do dir <- liftSh $ do dir' <- S.pwd @@ -88,7 +88,7 @@ runEquivYosys => Yosys -> a -> b - -> SourceInfo + -> (SourceInfo ann) -> ResultSh () runEquivYosys yosys sim1 sim2 srcInfo = do liftSh $ do @@ -105,7 +105,7 @@ runEquivYosys yosys sim1 sim2 srcInfo = do where checkFile = S.fromText [st|test.#{toText sim1}.#{toText sim2}.ys|] runEquiv - :: (Synthesiser a, Synthesiser b) => Maybe Text -> FilePath -> a -> b -> SourceInfo -> ResultSh () + :: (Synthesiser a, Synthesiser b) => Maybe Text -> FilePath -> a -> b -> (SourceInfo ann) -> ResultSh () runEquiv mt datadir sim1 sim2 srcInfo = do dir <- liftSh S.pwd liftSh $ do |