From 05750369a1567b54b2a9d6859138a312d5651093 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymherklotz@gmail.com>
Date: Sat, 29 Dec 2018 22:32:39 +0100
Subject: Make tests a bit nicer

---
 tests/Property.hs | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/tests/Property.hs b/tests/Property.hs
index 2c06474..8fc9020 100644
--- a/tests/Property.hs
+++ b/tests/Property.hs
@@ -1,10 +1,11 @@
 module Property (propertyTests) where
 
-import           Data.Graph.Inductive
+import qualified Data.Graph.Inductive              as G
+import           Data.Graph.Inductive.PatriciaTree (Gr)
 import           Test.Tasty
-import qualified Test.Tasty.QuickCheck         as QC
+import qualified Test.Tasty.QuickCheck             as QC
 import           Test.VeriFuzz
-import qualified Test.VeriFuzz.Graph.RandomAlt as V
+import qualified Test.VeriFuzz.Graph.RandomAlt     as V
 
 newtype TestGraph = TestGraph { getGraph :: Gr Gate () }
                   deriving (Show)
@@ -20,11 +21,11 @@ instance QC.Arbitrary AltTestGraph where
 
 simpleGraph = QC.testProperty "simple graph generation check" $
   \graph -> simp graph
-  where simp = isSimple . getGraph
+  where simp = G.isSimple . getGraph
 
 simpleAltGraph = QC.testProperty "simple alternative graph generation check" $
   \graph -> simp graph
-  where simp = isSimple . getAltGraph
+  where simp = G.isSimple . getAltGraph
 
 propertyTests :: TestTree
 propertyTests = testGroup "Property Tests"
-- 
cgit