07-GADTs/cis5520-GADTs.cabal at main · upenn-cis5520/07-GADTs · 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
cabal-version:       >=1.10
name:                cis5520-GADTs
version:             0.1.0.0
synopsis:            GADT examples
homepage:            https://www.cis.upenn.edu/~cis552/current/index.html
license:             OtherLicense
license-file:        LICENSE
maintainer:          sweirich@seas.upenn.edu
build-type:          Simple
extra-source-files:  CHANGELOG.md

library
  exposed-modules:     GADTs
                     , RedBlackGADT0
                     , RedBlackGADT1
                     , RedBlackGADT2
                     , RedBlackGADT3
  build-depends:       base >= 4.15
                     , HUnit >= 1.6
                     , QuickCheck >= 2.14
                     , ghc-typelits-knownnat
                     , ghc-typelits-natnormalise
                     , singletons
                     , singletons-base
                     , array
                     , pretty
                     , orthotope
  default-language:    GHC2021
  ghc-options:       -Wincomplete-patterns -Wno-orphans -Wno-unticked-promoted-constructors
  default-extensions:
    NoStarIsType