glambda/glambda.cabal at master · goldfirere/glambda · 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
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
86
87
88
89
90
name:           glambda
version:        1.0.2
cabal-version:  >= 1.10
synopsis:       A simply typed lambda calculus interpreter, written with GADTs
homepage:       https://github.com/goldfirere/glambda
category:       Compilers/Interpreters
author:         Richard Eisenberg <rae@cs.brynmawr.edu>
maintainer:     Richard Eisenberg <rae@cs.brynmawr.edu>
bug-reports:    https://github.com/goldfirere/glambda/issues
stability:      unknown
extra-source-files: README.md, CHANGES.md
license:        BSD3
license-file:   LICENSE
build-type:     Simple
description:
    This is an interpreter for the simply-typed lambda calculus. It is
    written making heavy use of generalized algebraic datatypes (GADTs), and is
    meant to serve as an example how how these GADTs can be useful. See
    the GitHub repo for more information about the syntax for the language
    and interpreter commands.

source-repository this
  type:     git
  location: https://github.com/goldfirere/glambda.git
  tag:      v1.0.2

library
  build-depends:      base == 4.*
                    , prettyprinter >= 1.7.0
                    , prettyprinter-ansi-terminal >= 1.1.0
                    , mtl >= 2.2.1
                    , transformers >= 0.4.0.0
                    , containers >= 0.5
                    , parsec >= 3.1
                    , haskeline >= 0.7.1.1
                    , directory >= 1.2.0.1
                    , text >= 2.1.1


  exposed-modules:    Language.Glambda.Repl
                      Language.Glambda.Check
                      Language.Glambda.Eval
                      Language.Glambda.Exp
                      Language.Glambda.Globals
                      Language.Glambda.Lex
                      Language.Glambda.Monad
                      Language.Glambda.Parse
                      Language.Glambda.Pretty
                      Language.Glambda.Shift
                      Language.Glambda.Statement
                      Language.Glambda.Token
                      Language.Glambda.Type
                      Language.Glambda.Unchecked
                      Language.Glambda.Util

  hs-source-dirs:     src
  ghc-options:        -Wall -fno-warn-name-shadowing
  default-language:   Haskell2010

executable glam
  build-depends:      base == 4.*
                    , glambda

  hs-source-dirs:     main
  ghc-options:        -Wall -fno-warn-name-shadowing
  default-language:   Haskell2010
  main-is:            Main.hs

test-suite tests
  type:               exitcode-stdio-1.0
  hs-source-dirs:     tests
  ghc-options:        -Wall -fno-warn-name-shadowing -main-is Tests.Main
  default-language:   Haskell2010
  main-is:            Tests/Main.hs

  other-modules:      Tests.Check
                      Tests.Parse
                      Tests.Lex
                      Tests.Util

  build-depends:      base == 4.*
                    , glambda
                    , template-haskell
                    , prettyprinter >= 1.7.0
                    , prettyprinter-ansi-terminal >= 1.1.0
                    , mtl >= 2.2.1
                    , transformers >= 0.4.0.0
                    , parsec >= 3.1
                    , tasty >= 0.8.1
                    , tasty-hunit >= 0.9