From 30d2218e65e975c6ce5887d757f454f15af75a98 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 23 Jul 2019 14:57:09 +0200 Subject: Fix nix build and add to travis --- src/VeriFuzz/Config.hs | 28 ++++++++++++---------------- 1 file changed, 12 insertions(+), 16 deletions(-) (limited to 'src/VeriFuzz/Config.hs') diff --git a/src/VeriFuzz/Config.hs b/src/VeriFuzz/Config.hs index 0fc9435..86daaab 100644 --- a/src/VeriFuzz/Config.hs +++ b/src/VeriFuzz/Config.hs @@ -77,22 +77,18 @@ module VeriFuzz.Config ) where -import Control.Applicative ( Alternative ) -import Control.Lens hiding ( (.=) ) -import Data.List.NonEmpty ( NonEmpty(..) ) -import Data.Maybe ( fromMaybe ) -import Data.Text ( Text - , pack - ) -import qualified Data.Text.IO as T -import Data.Version ( showVersion ) +import Control.Applicative (Alternative) +import Control.Lens hiding ((.=)) +import Data.List.NonEmpty (NonEmpty (..)) +import Data.Maybe (fromMaybe) +import Data.Text (Text, pack) +import qualified Data.Text.IO as T +import Data.Version (showVersion) import Development.GitRev -import Hedgehog.Internal.Seed ( Seed ) -import Paths_verifuzz ( version ) -import Shelly ( toTextIgnore ) -import Toml ( TomlCodec - , (.=) - ) +import Hedgehog.Internal.Seed (Seed) +import Paths_verifuzz (version) +import Shelly (toTextIgnore) +import Toml (TomlCodec, (.=)) import qualified Toml import VeriFuzz.Sim.Quartus import VeriFuzz.Sim.Vivado @@ -203,7 +199,7 @@ data ConfProperty = ConfProperty { _propSize :: {-# UNPACK #-} !Int , _propMaxModules :: {-# UNPACK #-} !Int , _propSampleMethod :: !Text , _propSampleSize :: {-# UNPACK #-} !Int - , _propCombine :: {-# UNPACK #-} !Bool + , _propCombine :: !Bool } deriving (Eq, Show) -- cgit