bidirectional-impl/prototype.cabal at master · gkaracha/bidirectional-impl · 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
name:                prototype
version:             0.1.0.0
build-type:          Simple
cabal-version:       >=1.10
license:             BSD3

executable prototype
  main-is:             Main.hs
  build-depends:       base >=4.8 && <5
                     , parsec
                     , pretty
                     , mtl
  other-modules:       Backend.FcTypeChecker
                     , Backend.FcTypes
                     , Frontend.HsParser
                     , Frontend.HsRenamer
                     , Frontend.HsTypeChecker
                     , Frontend.HsTypes
                     , Utils.Annotated
                     , Utils.AssocList
                     , Utils.Ctx
                     , Utils.Errors
                     , Utils.FreeVars
                     , Utils.Kind
                     , Utils.ListT
                     , Utils.PrettyPrint
                     , Utils.SnocList
                     , Utils.Substitution
                     , Utils.Trace
                     , Utils.Unique
                     , Utils.Utils
                     , Utils.Var
  default-language:    Haskell2010
  ghc-options:         -Wall -fdefer-typed-holes