-
Notifications
You must be signed in to change notification settings - Fork 2
/
haskell-tc.cabal
59 lines (56 loc) · 2.25 KB
/
haskell-tc.cabal
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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
-- Initial haskell-tc.cabal generated by cabal init. For further
-- documentation, see http://haskell.org/cabal/users-guide/
name: haskell-tc
version: 0.1.0.0
synopsis: Haskell typechecker.
-- description:
license: MIT
license-file: LICENSE
author: David Himmelstrup
maintainer: [email protected]
-- copyright:
category: Language
build-type: Simple
-- extra-source-files:
cabal-version: >=1.10
library
exposed-modules: Language.Haskell.TypeCheck,
Language.Haskell.TypeCheck.Pretty
other-modules: Language.Haskell.TypeCheck.Unify,
Language.Haskell.TypeCheck.Types,
Language.Haskell.TypeCheck.Proof,
Language.Haskell.TypeCheck.SyntaxDirected,
Language.Haskell.TypeCheck.Misc,
Language.Haskell.TypeCheck.Subsumption,
Language.Haskell.TypeCheck.Monad,
Language.Haskell.TypeCheck.Debug
-- other-modules:
other-extensions: GeneralizedNewtypeDeriving
build-depends: base >=4.11 && <5,
haskell-scope >=0.1 && <0.2,
haskell-src-exts >=1.21 && <1.22,
mtl >=2.2 && <2.3,
containers >=0.5 && <0.7,
ansi-wl-pprint >=0.6 && <0.7,
pretty >=1.1 && <1.2
hs-source-dirs: src
default-language: Haskell2010
ghc-options: -W
test-suite spec
type: exitcode-stdio-1.0
main-is: runtests.hs
hs-source-dirs: tests
build-depends: base >=4.11 && <5,
haskell-scope >=0.1 && <0.2,
haskell-src-exts >=1.21 && <1.22,
mtl >=2.2 && <2.3,
containers >=0.5 && <0.7,
ansi-wl-pprint >=0.6 && <0.7,
pretty >=1.1 && <1.2,
haskell-tc,
directory, filepath, text, bytestring,
tasty,
tasty-golden,
tasty-expected-failure
default-language: Haskell2010
ghc-options: -Wall -Werror