package.yaml

name: gerty-main
version: '0.1.1'
synopsis: An implementation of (Graded Modal Dependent Type Theory)
author: Ben Moon, Dominic Orchard
copyright: 2020 authors
license: BSD3
dependencies:
- base >=4.10 && <5

ghc-options:
- -O0
- -Wall
- -Werror
- -Wcompat
- -Wincomplete-record-updates
- -Wincomplete-uni-patterns
- -Wredundant-constraints
- -Wno-name-shadowing
- -Wno-type-defaults
- -XOverloadedStrings

library:
  source-dirs: src
  build-tools:
   - alex
   - happy
  dependencies:
   - containers
   - mtl
   - pretty
   - transformers
   - array
   - clock
   - extra
   - sbv < 10
  exposed-modules:
   - Language.Gerty.Interpreter
   - Language.Gerty.Substitution
   - Language.Gerty.Syntax.Concrete
   - Language.Gerty.Syntax.Parser
   - Language.Gerty.Types
   - Language.Gerty.TypeChecking.Monad
   - Language.Gerty.Util.Pretty
  other-modules:
   - Language.Gerty.Syntax.Abstract
   - Language.Gerty.Syntax.Common
   - Language.Gerty.Syntax.Common.Language
   - Language.Gerty.Syntax.Concrete.Name
   - Language.Gerty.Syntax.Free
   - Language.Gerty.Syntax.Internal
   - Language.Gerty.Syntax.Lexer
   - Language.Gerty.Syntax.Literal
   - Language.Gerty.Syntax.Parser.Alex
   - Language.Gerty.Syntax.Parser.Comments
   - Language.Gerty.Syntax.Parser.Layout
   - Language.Gerty.Syntax.Parser.LexActions
   - Language.Gerty.Syntax.Parser.LookAhead
   - Language.Gerty.Syntax.Parser.Monad
   - Language.Gerty.Syntax.Parser.Tokens
   - Language.Gerty.Syntax.Position
   - Language.Gerty.Syntax.Translation.ConcreteToAbstract
   - Language.Gerty.Scoping.Monad
   - Language.Gerty.Scoping.Monad.Base
   - Language.Gerty.Scoping.Monad.Exception
   - Language.Gerty.Scoping.Scope
   - Language.Gerty.TypeChecking.Monad.Base
   - Language.Gerty.TypeChecking.Monad.Solver
   - Language.Gerty.TypeChecking.Constraints
   - Language.Gerty.TypeChecking.Constraints.SNatX
   - Language.Gerty.TypeChecking.Constraints.SymbolicGrades
   - Language.Gerty.TypeChecking.Predicates
   - Language.Gerty.Util.Lens
   - Language.Gerty.Util.Peekaboo

executables:
  gerty:
    main: Main.hs
    ghc-options: -main-is Gerty
    dependencies:
     - gerty-main
     - directory
     - clock

tests:
  gerty-main:
    main: Test.hs
    source-dirs: tests
    dependencies:
    - gerty-main
    - directory
    - strict
    - tasty
    - tasty-golden
    - tasty-hunit