aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorYann Herklotz Grave <git@yannherklotzgrave.com>2019-02-16 11:35:39 +0000
committerYann Herklotz Grave <git@yannherklotzgrave.com>2019-02-16 11:35:39 +0000
commita83b3b40f683400914d0f3ae23bd9e69e6e0fd96 (patch)
tree5bd7bcd8a36cce820dae888fdd4eeca080f8356d
parentf5f2b13429bd81aa1e53431e950439c3542a9100 (diff)
downloadverismith-a83b3b40f683400914d0f3ae23bd9e69e6e0fd96.tar.gz
verismith-a83b3b40f683400914d0f3ae23bd9e69e6e0fd96.zip
Fix warnings for -Wall
-rw-r--r--src/VeriFuzz/Parser.hs2
-rw-r--r--test/Property.hs2
-rw-r--r--test/Test.hs2
-rw-r--r--test/Unit.hs7
4 files changed, 5 insertions, 8 deletions
diff --git a/src/VeriFuzz/Parser.hs b/src/VeriFuzz/Parser.hs
index 667cab1..3991a1f 100644
--- a/src/VeriFuzz/Parser.hs
+++ b/src/VeriFuzz/Parser.hs
@@ -26,9 +26,7 @@ import Data.Attoparsec.Text as A
import Data.Char (isLetter)
import Data.Functor (($>))
import Data.Text (Text)
-import qualified Data.Text as T
import VeriFuzz.AST
-import VeriFuzz.CodeGen
sBinOp :: BinaryOperator -> Expr -> Expr -> Expr
sBinOp = sOp BinOp
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