cabal-version:   1.18
name:            language-ats
version:         1.7.10.3
x-revision: 1
license:         BSD3
license-file:    LICENSE
copyright:       Copyright: (c) 2018-2020 Vanessa McHale
maintainer:      vamchale@gmail.com
author:          Vanessa McHale
stability:       stable
synopsis:        Parser and pretty-printer for ATS.
description:
    Parser and pretty-printer for [ATS](http://www.ats-lang.org/), written with Happy and Alex.

category:        Language, Lexer, Parser, Pretty Printer, ATS
build-type:      Simple
data-files:
    test/data/*.dats
    test/data/*.sats
    test/data/*.out
    test/data/stdlib/*.sats
    test/data/stdlib/*.out
    test/data/stdlib/DATS/*.dats
    test/data/stdlib/DATS/*.out

extra-doc-files:
    README.md
    CHANGELOG.md

source-repository head
    type:     darcs
    location: https://hub.darcs.net/vmchale/ats

flag cross
    description: Set this flag if cross-compiling
    default:     False
    manual:      True

flag development
    description: Enable `-Werror`
    default:     False
    manual:      True

library
    exposed-modules:  Language.ATS
    hs-source-dirs:   src
    other-modules:
        Language.ATS.Lexer
        Language.ATS.Parser
        Language.ATS.PrettyPrint
        Language.ATS.Types
        Language.ATS.Types.Lens
        Language.ATS.Rewrite
        Paths_language_ats

    default-language: Haskell2010
    other-extensions:
        OverloadedStrings DeriveGeneric DeriveAnyClass FlexibleContexts
        PatternSynonyms StandaloneDeriving GeneralizedNewtypeDeriving
        DerivingStrategies DuplicateRecordFields DeriveFunctor
        ScopedTypeVariables

    ghc-options:      -Wall -O2
    build-depends:
        base >=4.11 && <5,
        array <0.6,
        recursion >=2.2.3.0 && <2.3,
        microlens >=0.3.0.0 && <0.5,
        deepseq <1.5,
        ansi-wl-pprint >=0.6.8 && <1.0,
        composition-prelude >=2.0.4.0 && <3.1,
        containers <0.7,
        transformers <0.7,
        these-skinny <0.8

    if !flag(cross)
        build-tools: happy >=1.17.1, alex -any

    if flag(development)
        ghc-options: -Werror

    if impl(ghc >=8.0)
        ghc-options:
            -Wincomplete-uni-patterns -Wincomplete-record-updates -Wcompat

test-suite language-ats-test
    type:             exitcode-stdio-1.0
    main-is:          Spec.hs
    hs-source-dirs:   test
    default-language: Haskell2010
    ghc-options:      -threaded -rtsopts -with-rtsopts=-N -Wall
    build-depends:
        base -any,
        language-ats -any,
        hspec <2.12,
        hspec-dirstream <1.1,
        system-filepath <0.5

    if flag(development)
        ghc-options: -Werror

    if impl(ghc >=8.0)
        ghc-options: -Wincomplete-uni-patterns -Wincomplete-record-updates

benchmark language-ats-bench
    type:             exitcode-stdio-1.0
    main-is:          Bench.hs
    hs-source-dirs:   bench
    default-language: Haskell2010
    ghc-options:      -Wall -O2 -rtsopts -with-rtsopts=-A9M
    build-depends:
        base -any,
        language-ats -any,
        criterion <1.7

    if flag(development)
        ghc-options: -Werror

    if impl(ghc >=8.0)
        ghc-options: -Wincomplete-uni-patterns -Wincomplete-record-updates