From a83b3b40f683400914d0f3ae23bd9e69e6e0fd96 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Grave Date: Sat, 16 Feb 2019 11:35:39 +0000 Subject: Fix warnings for -Wall --- test/Property.hs | 2 ++ test/Test.hs | 2 +- test/Unit.hs | 7 ++----- 3 files changed, 5 insertions(+), 6 deletions(-) (limited to 'test') diff --git a/test/Property.hs b/test/Property.hs index 2c8abc9..3edf5d4 100644 --- a/test/Property.hs +++ b/test/Property.hs @@ -22,9 +22,11 @@ instance QC.Arbitrary TestGraph where instance QC.Arbitrary AltTestGraph where arbitrary = AltTestGraph <$> QC.resize 100 V.randomDAG +simpleGraph :: TestTree simpleGraph = QC.testProperty "simple graph generation check" $ \graph -> simp graph where simp = G.isSimple . getGraph +simpleAltGraph :: TestTree simpleAltGraph = QC.testProperty "simple alternative graph generation check" $ \graph -> simp graph where simp = G.isSimple . getAltGraph diff --git a/test/Test.hs b/test/Test.hs index 389fdff..f2609ba 100644 --- a/test/Test.hs +++ b/test/Test.hs @@ -3,9 +3,9 @@ module Main where import Property import Test.Tasty import Unit -import VeriFuzz tests :: TestTree tests = testGroup "Tests" [unitTests, propertyTests] +main :: IO () main = defaultMain tests diff --git a/test/Unit.hs b/test/Unit.hs index 5c2db55..404c899 100644 --- a/test/Unit.hs +++ b/test/Unit.hs @@ -4,9 +4,6 @@ module Unit where import Control.Lens -import qualified Data.Graph.Inductive as G -import Data.Text (Text) -import qualified Data.Text as T import Test.Tasty import Test.Tasty.HUnit import VeriFuzz @@ -83,5 +80,5 @@ transformExpectedResult = BinOp trans :: Expr -> Expr trans e = case e of - Id id -> if id == Identifier "id2" then Id $ Identifier "Replaced" else Id id - _ -> e + Id i -> if i == Identifier "id2" then Id $ Identifier "Replaced" else Id i + _ -> e -- cgit