outsidein.cabal

cabal-version:   2.4
name:            outsidein
version:         0.1.0.0
license:         BSD-3-Clause
license-file:    LICENSE.md
maintainer:      coord_e <me@coord-e.com>
author:          coord_e
homepage:        https://github.com/coord-e/impl-outsidein
bug-reports:     https://github.com/coord-e/impl-outsidein/issues
synopsis:        Toy implementation of OutsideIn(X)
description:     Toy implementation of OutsideIn(X).
build-type:      Simple
extra-doc-files:
    README.md
    CHANGELOG.md

source-repository head
    type:     git
    location: https://github.com/coord-e/impl-outsidein

library
    exposed-modules:
        Language.Simple
        Language.Simple.Parser
        Language.Simple.Syntax
        Language.Simple.Type
        Language.Core
        Language.Core.Syntax
        Language.Core.Type

    hs-source-dirs:   src
    other-modules:
        Util
        Language.Core.Type.Env
        Language.Core.Type.Error
        Language.Core.Type.Substitution
        Language.Simple.Fresh
        Language.Simple.Type.Constraint
        Language.Simple.Type.Env
        Language.Simple.Type.Error
        Language.Simple.Type.Generator
        Language.Simple.Type.Program
        Language.Simple.Type.Substitution
        Language.Simple.Type.Solver
        Language.Simple.Type.Solver.Canonicalize
        Language.Simple.Type.Solver.Evidence
        Language.Simple.Type.Solver.Interact
        Language.Simple.Type.Solver.Simplify
        Language.Simple.Type.Solver.Syntax
        Language.Simple.Type.Solver.TopReact
        Language.Simple.Type.Resolve

    default-language: Haskell2010
    ghc-options:
        -Wall -Werror -Wcompat -Wincomplete-record-updates
        -Wincomplete-uni-patterns -Wnoncanonical-monad-instances
        -Wno-missing-home-modules -Wno-error=overlapping-patterns
        -Wno-error=name-shadowing

    build-depends:
        base ^>=4.14.0.0,
        hashable ^>=1.3,
        unordered-containers ^>=0.2,
        vector ^>=0.12,
        text ^>=1.2,
        mtl ^>=2.2,
        transformers ^>=0.5,
        parsers ^>=0.12,
        attoparsec ^>=0.13,
        monad-logger ^>=0.3,
        prettyprinter ^>=1.7,
        microlens ^>=0.4,
        microlens-mtl ^>=0.2

executable outsidein
    main-is:          Main.hs
    hs-source-dirs:   app
    other-modules:    App
    default-language: Haskell2010
    ghc-options:
        -Wall -Werror -Wcompat -Wincomplete-record-updates
        -Wincomplete-uni-patterns -Wnoncanonical-monad-instances

    build-depends:
        base ^>=4.14.0.0,
        text ^>=1.2,
        mtl ^>=2.2,
        monad-logger ^>=0.3,
        prettyprinter ^>=1.7,
        outsidein -any

test-suite test
    type:             exitcode-stdio-1.0
    main-is:          Test.hs
    hs-source-dirs:   test
    default-language: Haskell2010
    ghc-options:
        -Wall -Werror -Wcompat -Wincomplete-record-updates
        -Wincomplete-uni-patterns -Wnoncanonical-monad-instances

    build-depends:
        base ^>=4.14.0.0,
        text ^>=1.2,
        prettyprinter ^>=1.7,
        directory ^>=1.3,
        filepath ^>=1.4,
        tasty ^>=1.4,
        monad-logger ^>=0.3,
        mtl ^>=2.2,
        tasty-hunit ^>=0.10,
        outsidein -any