From 58c0c75859a63bc60064a265eb3ea0ae669b4137 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sun, 21 Jul 2019 14:24:12 +0200
Subject: Add .env and fix VeriFuzz.hs

---
 .envrc          |  1 +
 src/VeriFuzz.hs | 44 +++++++++++++++++++++-----------------------
 2 files changed, 22 insertions(+), 23 deletions(-)
 create mode 100644 .envrc

diff --git a/.envrc b/.envrc
new file mode 100644
index 0000000..1d953f4
--- /dev/null
+++ b/.envrc
@@ -0,0 +1 @@
+use nix
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs
index 0bbdc4f..7bc562f 100644
--- a/src/VeriFuzz.hs
+++ b/src/VeriFuzz.hs
@@ -28,29 +28,27 @@ module VeriFuzz
 where
 
 import           Control.Concurrent
-import           Control.Lens            hiding ( (<.>) )
-import           Control.Monad.IO.Class         ( liftIO )
-import qualified Crypto.Random.DRBG            as C
-import           Data.ByteString                ( ByteString )
-import           Data.ByteString.Builder        ( byteStringHex
-                                                , toLazyByteString
-                                                )
-import qualified Data.ByteString.Lazy          as L
-import qualified Data.Graph.Inductive          as G
-import qualified Data.Graph.Inductive.Dot      as G
-import           Data.Maybe                     ( isNothing )
-import           Data.Text                      ( Text )
-import qualified Data.Text                     as T
-import           Data.Text.Encoding             ( decodeUtf8 )
-import qualified Data.Text.IO                  as T
-import           Hedgehog                       ( Gen )
-import qualified Hedgehog.Gen                  as Hog
-import           Hedgehog.Internal.Seed         ( Seed )
+import           Control.Lens             hiding ((<.>))
+import           Control.Monad.IO.Class   (liftIO)
+import qualified Crypto.Random.DRBG       as C
+import           Data.ByteString          (ByteString)
+import           Data.ByteString.Builder  (byteStringHex, toLazyByteString)
+import qualified Data.ByteString.Lazy     as L
+import qualified Data.Graph.Inductive     as G
+import qualified Data.Graph.Inductive.Dot as G
+import           Data.Maybe               (isNothing)
+import           Data.Text                (Text)
+import qualified Data.Text                as T
+import           Data.Text.Encoding       (decodeUtf8)
+import qualified Data.Text.IO             as T
+import           Hedgehog                 (Gen)
+import qualified Hedgehog.Gen             as Hog
+import           Hedgehog.Internal.Seed   (Seed)
 import           Options.Applicative
-import           Prelude                 hiding ( FilePath )
-import           Shelly                  hiding ( command )
-import           Shelly.Lifted                  ( liftSh )
-import           System.Random                  ( randomIO )
+import           Prelude                  hiding (FilePath)
+import           Shelly                   hiding (command)
+import           Shelly.Lifted            (liftSh)
+import           System.Random            (randomIO)
 import           VeriFuzz.Circuit
 import           VeriFuzz.Config
 import           VeriFuzz.Fuzz
@@ -60,7 +58,7 @@ import           VeriFuzz.Result
 import           VeriFuzz.Sim
 import           VeriFuzz.Sim.Internal
 import           VeriFuzz.Verilog
-import           VeriFuzz.Verilog.Parser        ( parseSourceInfoFile )
+import           VeriFuzz.Verilog.Parser  (parseSourceInfoFile)
 
 data OptTool = TYosys
           | TXST
-- 
cgit