From 805f67c07cc15d784078b00a84f4055f84016cec Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 11 May 2020 18:29:06 +0100
Subject: Fix types with annotations

---
 src/Verismith/Tool/Template.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Verismith/Tool/Template.hs')

diff --git a/src/Verismith/Tool/Template.hs b/src/Verismith/Tool/Template.hs
index a2e0675..5a20ff5 100644
--- a/src/Verismith/Tool/Template.hs
+++ b/src/Verismith/Tool/Template.hs
@@ -172,7 +172,7 @@ sbyConfig mt datadir sim1 sim2 (SourceInfo top _) = T.unlines
         <$> deps
     readL = T.intercalate "\n" $ mappend "read -formal " <$> deps
 
-icarusTestbench :: (Synthesiser a) => FilePath -> (Verilog ann) -> a -> Text
+icarusTestbench :: (Synthesiser a, Show ann) => FilePath -> (Verilog ann) -> a -> Text
 icarusTestbench datadir t synth1 = T.unlines
   [ "`include \"" <> ddir <> "/data/cells_cmos.v\""
   , "`include \"" <> ddir <> "/data/cells_cyclone_v.v\""
-- 
cgit