cabal-version:      2.4
name:               CoreTT
version:            0.1.0.0
synopsis:

-- A longer description of the package.
-- description:
homepage:

-- A URL where users can report bugs.
-- bug-reports:
license:            NONE
author:             Nicolas Osborne
maintainer:         nicolas.osborne@etu.univ-lille.fr

-- A copyright notice.
-- copyright:
category:           Language
extra-source-files: CHANGELOG.md

library
    exposed-modules:  AST

    -- Modules included in this library but not exported.
    -- other-modules: 

    -- LANGUAGE extensions used by modules in this package.
    -- other-extensions:
    build-depends:    base ^>=4.14.3.0,
                      text,
                      listsafe,
                      containers
    hs-source-dirs:   src
    ghc-options:
        -Wall
        -Werror
        -fwarn-incomplete-uni-patterns
    default-language: Haskell2010

executable CoreTT
    main-is:          Main.hs

    -- Modules included in this executable, other than Main.
    -- other-modules:

    -- LANGUAGE extensions used by modules in this package.
    -- other-extensions:
    build-depends:
        base ^>=4.14.3.0,
        CoreTT

    hs-source-dirs:   app
    default-language: Haskell2010

test-suite CoreTT-test
    default-language: Haskell2010
    type:             exitcode-stdio-1.0
    hs-source-dirs:   test
    main-is:          Spec.hs
    other-modules:    AstTest
    build-depends:    base ^>=4.14.3.0,
                      hspec,
                      CoreTT