-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathtandoori.cabal
85 lines (63 loc) · 3.12 KB
/
tandoori.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
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
-- tandoori.cabal auto-generated by cabal init. For additional
-- options, see
-- http://www.haskell.org/cabal/release/cabal-latest/doc/users-guide/authors.html#pkg-descr.
-- The name of the package.
Name: tandoori
-- The package version. See the Haskell package versioning policy
-- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for
-- standards guiding when and how versions should be incremented.
Version: 0.1
-- A short (one-line) description of the package.
Synopsis: Compositional type checking for Haskell 98
-- A longer description of the package.
Description:
Implementations of the traditional Hindley-Milner type system
can give poor error messages in some cases. This package
implements a type checker for a compositional type system that
is compatible with the Hindley-Milner type system extended by
typeclass polymorphism. See my MSc thesis at the package's
homepage for details.
-- URL for the project homepage or repository.
Homepage: http://gergo.erdi.hu/projects/tandoori/
-- The license under which the package is released.
License: BSD3
-- The file containing the license text.
License-file: LICENSE
-- The package author(s).
Author: Dr. ERDI Gergo
-- An email address to which users can send suggestions, bug reports,
-- and patches.
Maintainer: gergo@erdi.hu
-- A copyright notice.
-- Copyright:
Category: Language
Build-type: Simple
-- Extra files to be distributed with the package, such as examples or
-- a README.
-- Extra-source-files:
-- Constraint on the version of Cabal needed to build this package.
Cabal-version: >=1.2
Executable tandoori
hs-source-dirs: src
-- .hs or .lhs file containing the Main module.
Main-is: main.hs
ghc-options: -Wall -fwarn-tabs -fno-warn-incomplete-patterns -fno-warn-unused-binds -fno-warn-unused-matches -fno-warn-missing-signatures -fno-warn-name-shadowing -fno-warn-orphans
-- Packages needed in order to build this package.
Build-depends: base >= 3 && < 5,
ghc == 7.0.*,
boxes,
containers,
mtl,
MaybeT,
ghc-paths
-- Modules not exported by this package.
Other-modules: Tandoori
Tandoori.Supply
Tandoori.GHC
Tandoori.GHC.Internals Tandoori.GHC.Parse Tandoori.GHC.Scope
Tandoori.Typing
Tandoori.Typing.ClassDecl Tandoori.Typing.Ctxt Tandoori.Typing.DataType Tandoori.Typing.Error Tandoori.Typing.Infer
Tandoori.Typing.InstanceDecl Tandoori.Typing.Instantiate Tandoori.Typing.Monad Tandoori.Typing.MonoEnv Tandoori.Typing.Pretty
Tandoori.Typing.Repr Tandoori.Typing.Show Tandoori.Typing.Substitute Tandoori.Typing.Unify Tandoori.Typing.UnifyPred
-- Extra tools (e.g. alex, hsc2hs, ...) needed to build the source.
-- Build-tools: