aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorYann Herklotz <git@ymhg.org>2019-05-11 21:55:05 +0100
committerYann Herklotz <git@ymhg.org>2019-05-11 21:55:05 +0100
commit6218c8fd0f7dae36bda08fd2b132901e4707584a (patch)
tree91d942107c4b6cf91c596aae4cdcb07a418c2364
parentdfcce130cf054b39017d2361f89836e62860c0c7 (diff)
downloadverismith-6218c8fd0f7dae36bda08fd2b132901e4707584a.tar.gz
verismith-6218c8fd0f7dae36bda08fd2b132901e4707584a.zip
Fix warnings for CI
-rw-r--r--src/VeriFuzz/Reduce.hs6
-rw-r--r--test/Reduce.hs3
2 files changed, 4 insertions, 5 deletions
diff --git a/src/VeriFuzz/Reduce.hs b/src/VeriFuzz/Reduce.hs
index 65b0e86..2865898 100644
--- a/src/VeriFuzz/Reduce.hs
+++ b/src/VeriFuzz/Reduce.hs
@@ -107,9 +107,9 @@ filterExpr _ e = e
-- | Checks if a declaration is part of the current scope. If not, it returns
-- 'False', otherwise 'True', as it should be kept.
-filterDecl :: [Identifier] -> ModItem -> Bool
-filterDecl ids (Decl Nothing (Port _ _ _ i) _) = i `elem` ids
-filterDecl _ _ = True
+--filterDecl :: [Identifier] -> ModItem -> Bool
+--filterDecl ids (Decl Nothing (Port _ _ _ i) _) = i `elem` ids
+--filterDecl _ _ = True
-- | Checks if a continuous assignment is in the current scope, if not, it
-- returns 'False'.
diff --git a/test/Reduce.hs b/test/Reduce.hs
index 17bbfbc..7db948b 100644
--- a/test/Reduce.hs
+++ b/test/Reduce.hs
@@ -16,12 +16,11 @@ module Reduce
(reduceUnitTests)
where
-import Data.List ((\\))
+import Data.List ((\\))
import Test.Tasty
import Test.Tasty.HUnit
import VeriFuzz
import VeriFuzz.Reduce
-import VeriFuzz.Verilog.Quote
reduceUnitTests :: TestTree
reduceUnitTests = testGroup "Reducer tests"