diff options
| author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-16 11:35:39 +0000 |
|---|---|---|
| committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-16 11:35:39 +0000 |
| commit | a83b3b40f683400914d0f3ae23bd9e69e6e0fd96 (patch) | |
| tree | 5bd7bcd8a36cce820dae888fdd4eeca080f8356d /test | |
| parent | f5f2b13429bd81aa1e53431e950439c3542a9100 (diff) | |
| download | verismith-a83b3b40f683400914d0f3ae23bd9e69e6e0fd96.tar.gz verismith-a83b3b40f683400914d0f3ae23bd9e69e6e0fd96.zip | |
Fix warnings for -Wall
Diffstat (limited to 'test')
| -rw-r--r-- | test/Property.hs | 2 | ||||
| -rw-r--r-- | test/Test.hs | 2 | ||||
| -rw-r--r-- | test/Unit.hs | 7 |
3 files changed, 5 insertions, 6 deletions
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 |