coverage-checking/coverage-checking.cabal at main · wasabi315/coverage-checking · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
cabal-version:      3.0
name:               coverage-check
version:            0.1.0.0
-- synopsis:
-- description:
license:            MIT
license-file:       LICENSE
author:             Satoshi Takimoto
maintainer:         wasabi.nvim.st@gmail.com
-- copyright:
build-type:         Simple
-- extra-doc-files:    CHANGELOG.md
-- extra-source-files:

common warnings
    ghc-options:
      -Wall
      -fno-warn-unused-matches
      -fno-warn-unused-imports
      -fno-warn-unused-local-binds

library
    import:           warnings
    exposed-modules:  CoverageCheck.Prelude
                    , CoverageCheck.Syntax
                    , CoverageCheck.Instance
                    , CoverageCheck.Subsumption
                    , CoverageCheck.Name
                    , CoverageCheck.Usefulness.Definition
                    , CoverageCheck.Usefulness.Algorithm
                    , CoverageCheck.Usefulness.Algorithm.Raw
                    , CoverageCheck.Usefulness.Algorithm.MissingConstructors
                    , CoverageCheck.Exhaustiveness
                    , CoverageCheck.NonRedundancy
    build-depends:    base >=4.21 && <5
                    , containers
    hs-source-dirs:   lib
    default-language: GHC2021

    ghc-options:
      -- agda2hs generates many (safe) incomplete patterns
      -fno-warn-incomplete-patterns
      -fno-warn-name-shadowing