diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-15 19:50:04 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-15 19:50:04 +0100 |
commit | 82a010512b4818d281260fa3ecb395146ddaf6bc (patch) | |
tree | 3a3953853e0fd8e84e5f152e051857a7906abc8a /src | |
parent | 371c28e91b6602401c3991390cb2c76fe9812e3e (diff) | |
download | verismith-82a010512b4818d281260fa3ecb395146ddaf6bc.tar.gz verismith-82a010512b4818d281260fa3ecb395146ddaf6bc.zip |
Fix warnings
Diffstat (limited to 'src')
-rw-r--r-- | src/VeriFuzz/Fuzz.hs | 23 |
1 files changed, 14 insertions, 9 deletions
diff --git a/src/VeriFuzz/Fuzz.hs b/src/VeriFuzz/Fuzz.hs index 470d8a8..1e48616 100644 --- a/src/VeriFuzz/Fuzz.hs +++ b/src/VeriFuzz/Fuzz.hs @@ -1,5 +1,5 @@ {-| -Module : VeriFuzz.Sim.Env +Module : VeriFuzz.Fuzz Description : Environment to run the simulator and synthesisers in a matrix. Copyright : (c) 2019, Yann Herklotz License : GPL-3 @@ -22,12 +22,13 @@ Environment to run the simulator and synthesisers in a matrix. {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeSynonymInstances #-} -module VeriFuzz.Sim.Env +module VeriFuzz.Fuzz ( SynthTool(..) , SimTool(..) , FuzzResult(..) , Fuzz , fuzz + , runFuzz ) where @@ -52,16 +53,20 @@ data Result = Pass data SynthTool = XSTSynth {-# UNPACK #-} !XST | VivadoSynth {-# UNPACK #-} !Vivado | YosysSynth {-# UNPACK #-} !Yosys - | QuartusSynth {-# UNPACK #-} !Quartus + | QuartusSynth !Quartus deriving (Eq, Show) instance Tool SynthTool where - toText (XSTSynth xst) = toText xst - toText (YosysSynth yosys) = toText yosys + toText (XSTSynth xst) = toText xst + toText (VivadoSynth vivado) = toText vivado + toText (YosysSynth yosys) = toText yosys + toText (QuartusSynth quartus) = toText quartus instance Synthesiser SynthTool where - runSynth (XSTSynth xst) = runSynth xst - runSynth (YosysSynth yosys) = runSynth yosys + runSynth (XSTSynth xst) = runSynth xst + runSynth (VivadoSynth vivado) = runSynth vivado + runSynth (YosysSynth yosys) = runSynth yosys + runSynth (QuartusSynth quartus) = runSynth quartus newtype SimTool = IcarusSim Icarus deriving (Eq, Show) @@ -108,6 +113,6 @@ simulators = lift $ asks getSimulators fuzz :: (MonadIO m) => Fuzz m FuzzResult fuzz = do - synths <- synthesisers - sims <- simulators + _ <- synthesisers + _ <- simulators return mempty |