aboutsummaryrefslogtreecommitdiffstats
path: root/src/Verismith/Tool/Quartus.hs
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2020-05-11 18:29:06 +0100
committerYann Herklotz <git@yannherklotz.com>2020-05-11 18:29:06 +0100
commit805f67c07cc15d784078b00a84f4055f84016cec (patch)
tree15c93eb5102e3813515d41204deb3f86f78f1994 /src/Verismith/Tool/Quartus.hs
parent54bb059ab6955f58f4a4b95cdd080775a56bc793 (diff)
downloadverismith-805f67c07cc15d784078b00a84f4055f84016cec.tar.gz
verismith-805f67c07cc15d784078b00a84f4055f84016cec.zip
Fix types with annotations
Diffstat (limited to 'src/Verismith/Tool/Quartus.hs')
-rw-r--r--src/Verismith/Tool/Quartus.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Verismith/Tool/Quartus.hs b/src/Verismith/Tool/Quartus.hs
index e6624eb..ff8a62b 100644
--- a/src/Verismith/Tool/Quartus.hs
+++ b/src/Verismith/Tool/Quartus.hs
@@ -49,7 +49,7 @@ instance NFData Quartus where
defaultQuartus :: Quartus
defaultQuartus = Quartus Nothing "quartus" "syn_quartus.v"
-runSynthQuartus :: Quartus -> (SourceInfo ann) -> ResultSh ()
+runSynthQuartus :: Show ann => Quartus -> (SourceInfo ann) -> ResultSh ()
runSynthQuartus sim (SourceInfo top src) = do
dir <- liftSh pwd
let ex = execute_ SynthFail dir "quartus"