GaloisInc/what4
1
1
Fork 0
mirror of https://github.com/GaloisInc/what4.git synced 2024-10-06 00:22:49 +03:00
Code Issues Projects Releases Wiki Activity

Update various .cabal files to upgrade certain warnings

Browse Source 
to errors. These are: incomplete-patterns, overlapping-patterns, and
missing-methods.
This commit is contained in:
Rob Dockins 2020-02-25 17:07:30 -08:00 committed by robdockins
parent d62b76e59d
commit e9b5430a94
3 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
what4-abc/what4-abc.cabal
View File

@ -39,5 +39,5 @@ library
exposed-modules:
What4.Solver.ABC
ghc-options: -Wall
ghc-options: -Wall -Werror=incomplete-patterns -Werror=missing-methods -Werror=overlapping-patterns
ghc-prof-options: -O2 -fprof-auto-top

4
what4-blt/what4-blt.cabal
View File

@ -31,7 +31,7 @@ library
exposed-modules:
What4.Solver.BLT
ghc-options: -Wall
ghc-options: -Wall -Werror=incomplete-patterns -Werror=missing-methods -Werror=overlapping-patterns
ghc-prof-options: -O2 -fprof-auto-top
default-language: Haskell2010
@ -40,7 +40,7 @@ test-suite test
type: exitcode-stdio-1.0
hs-source-dirs: test
ghc-options: -Wall
ghc-options: -Wall -Werror=incomplete-patterns -Werror=missing-methods -Werror=overlapping-patterns
ghc-prof-options: -fprof-auto -O2
main-is: Test.hs

8
what4/what4.cabal
View File

@ -126,7 +126,7 @@ library
What4.Utils.StringLiteral
What4.Utils.Word16String
ghc-options: -Wall
ghc-options: -Wall -Werror=incomplete-patterns -Werror=missing-methods -Werror=overlapping-patterns
ghc-prof-options: -O2 -fprof-auto-top
if impl(ghc >= 8.6)
default-extensions: NoStarIsType
@ -150,7 +150,7 @@ test-suite expr-builder-smtlib2
versions,
what4
ghc-options: -Wall
ghc-options: -Wall -Werror=incomplete-patterns -Werror=missing-methods -Werror=overlapping-patterns
test-suite exprs_tests
type: exitcode-stdio-1.0
@ -170,7 +170,7 @@ test-suite exprs_tests
, tasty-hedgehog
, what4
ghc-options: -Wall -Wcompat
ghc-options: -Wall -Wcompat -Werror=incomplete-patterns -Werror=missing-methods -Werror=overlapping-patterns
test-suite iteexprs_tests
type: exitcode-stdio-1.0
@ -190,4 +190,4 @@ test-suite iteexprs_tests
, tasty-hedgehog
, what4
ghc-options: -Wall -Wcompat
ghc-options: -Wall -Wcompat -Werror=incomplete-patterns -Werror=missing-methods -Werror=overlapping-patterns