-- Initial Delta-Lambda.cabal generated by cabal init.  For further
-- documentation, see http://haskell.org/cabal/users-guide/

-- The name of the package.
name:                Delta-Lambda

-- The package version.  See the Haskell package versioning policy (PVP)
-- for standards guiding when and how versions should be incremented.
-- http://www.haskell.org/haskellwiki/Package_versioning_policy
-- PVP summary:      +-+------- breaking API changes
--                   | | +----- non-breaking API additions
--                   | | | +--- code changes with no API change
version:             0.3.0.0

-- A short (one-line) description of the package.
synopsis:            A demonstration interpreter for type system delta-lambda (of N.G. De-bruijn)

-- A longer description of the package.
description:         A demonstration package for the type system delta-lambda (of N.G. De-bruijn)
                     in ~1000 lines of haskell.
                     this is at the moment exceptionally ALPHA level software.
                     no tests for the validity of the type checker (only the
                     type synthesizer), or the parser, or the repl, etc...
                     there are dragons in here (soon to be tamed), and lots
                     of them!

                     todo: profiling, unit testing, formal verification of type correctness
                           adequacy proof of the implemented type system.

-- The license under which the package is released.
license:             MIT

-- The file containing the license text.
license-file:        LICENSE

-- The package author(s).
author:              James M

-- An email address to which users can send suggestions, bug reports, and
-- patches.
maintainer:          listofoptions@gmail.com

homepage:            https://github.com/listofoptions/delta-lambda

bug-reports:         https://github.com/listofoptions/delta-lambda/issues

stability:           alpha



-- A copyright notice.
copyright:           Copyright (c) 2016 James M

                     Permission is hereby granted, free of charge, to any person obtaining
                     a copy of this software and associated documentation files (the
                     "Software"), to deal in the Software without restriction, including
                     without limitation the rights to use, copy, modify, merge, publish,
                     distribute, sublicense, and/or sell copies of the Software, and to
                     permit persons to whom the Software is furnished to do so, subject to
                     the following conditions:

                     The above copyright notice and this permission notice shall be included
                     in all copies or substantial portions of the Software.

                     THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
                     EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
                     MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
                     IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
                     CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
                     TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
                     SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

category:            Compilers/Interpreters

build-type:          Simple
-- Constraint on the version of Cabal needed to build this package.
cabal-version:       >=1.10
-- Extra files to be distributed with the package, such as examples or a
-- README.
extra-source-files:  README.md,
                     LICENSE,
                     library/stdlib.dl

Tested-With:         GHC == 8.0.1

Test-Suite tests
  type:             detailed-0.9
  test-module:      Tests
  hs-source-dirs:   tests,
                    source
  build-depends:    base       >= 4.8      && <4.10 ,
                    bytestring >= 0.10.6.0          ,
                    mtl        >= 2.2      && <2.3  ,
                    text       >= 1.2.2.0           ,
                    Cabal      >= 1.9.2             ,
  -- nonstandard packages that are cabal-install-ed
                    cereal     >= 0.5      && <0.6  ,
                    cpphs      >= 1.20              ,
                    filepath   >= 1.4.0.0           ,
                    haskeline  >= 0.7      && <0.8  ,
                    megaparsec >= 5.0      && <5.3  ,
                    options    >= 1.2      && <1.3  ,
                    parallel   >= 3.2      && <3.3  ,
                    wl-pprint  >= 1.2
  default-language: Haskell2010
  other-modules:    AST,
                    Reduction,
                    Check,
                    Parser,
                    Printer


Flag Debug
  Description:         Enable debugging
  Default:             False
  manual:              True


source-repository head
  type:                git
  location:            git://github.com/listofoptions/delta-lambda.git


executable Delta-Lambda
  -- .hs or .lhs file containing the Main module.
  main-is:             dl.hs
  hs-source-dirs:      source
  default-extensions:  OverloadedStrings,
                       FlexibleContexts,
                       TypeSynonymInstances,
                       FlexibleInstances,
                       MultiParamTypeClasses,
                       DefaultSignatures,
                       DeriveGeneric,
                       ScopedTypeVariables


  if !flag(debug)
      ghc-options:     -threaded
                       -with-rtsopts=-N
                       -W
                       -fno-warn-warnings-deprecations
                       -fno-warn-orphans
                       -fwarn-unused-binds
  else
     ghc-options:      -with-rtsopts=-pa


  -- Modules included in this executable, other than Main.
  other-modules:       AST,
                       Reduction,
                       Check,
                       Parser,
                       Printer


  -- LANGUAGE extensions used by modules in this package.
  -- other-extensions:

  -- standard haskell platform packages.
  build-depends:       base       >= 4.8      && <4.10 ,
                       bytestring >= 0.10.6.0          ,
                       mtl        >= 2.2      && <2.3  ,
                       text       >= 1.2.2.0           ,
                       Cabal      >= 1.9.2             ,
  -- nonstandard packages that are cabal-install-ed
                       cereal     >= 0.5      && <0.6  ,
                       cpphs      >= 1.20              ,
                       filepath   >= 1.4.0.0           ,
                       haskeline  >= 0.7      && <0.8  ,
                       megaparsec >= 5.0      && <5.3  ,
                       options    >= 1.2      && <1.3  ,
                       parallel   >= 3.2      && <3.3  ,
                       wl-pprint  >= 1.2

  -- Directories containing source files.
  -- hs-source-dirs:

  -- Base language which the package is written in.
  default-language:    Haskell2010