diff options
author | Yann Herklotz <git@ymhg.org> | 2019-05-11 21:55:05 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-05-11 21:55:05 +0100 |
commit | 6218c8fd0f7dae36bda08fd2b132901e4707584a (patch) | |
tree | 91d942107c4b6cf91c596aae4cdcb07a418c2364 | |
parent | dfcce130cf054b39017d2361f89836e62860c0c7 (diff) | |
download | verismith-6218c8fd0f7dae36bda08fd2b132901e4707584a.tar.gz verismith-6218c8fd0f7dae36bda08fd2b132901e4707584a.zip |
Fix warnings for CI
-rw-r--r-- | src/VeriFuzz/Reduce.hs | 6 | ||||
-rw-r--r-- | test/Reduce.hs | 3 |
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" |