free-theorems-0.3.2.1: free-theorems.cabal

cabal-version:  >= 1.10
name:           free-theorems
version:        0.3.2.1
license:        PublicDomain
license-file:   LICENSE
author:         Sascha Boehme
maintainer:     voigt@tcs.inf.tu-dresden.de
synopsis:       Automatic generation of free theorems.
description:
    The free-theorems library allows to automatically generate free
    theorems from Haskell type expressions. It supports nearly all
    Haskell 98 types except of type constructor classes, and in
    addition it can also handle higher-rank functions. Free theorems
    are generated for three different sublanguages of Haskell, a
    basic one corresponding to the polymorphic lambda-calculus of 
    Girard-Reynolds, an extension of that allowing for recursion and
    errors, and finally a sublanguage additionally allowing seq.
    In the last two sublanguages, also inequational free theorems
    may be derived in addition to classical equational results.
category:       Language
tested-with: 	GHC==7.6.1
build-type:	Simple

extra-source-files:
    src/Arbitraries.hs
    src/FrontendCheckGlobalTests.hs
    src/FrontendCheckLocalTests.hs
    src/FrontendOtherTests.hs
    src/FrontendTypeExpressionsTests.hs
    src/InterpretationTests.hs
    src/ParserPrettyPrinterTests.hs
    src/Runtests.hs
    src/Tests.hs
    README
    runtests

library
  default-language: Haskell98
  build-depends:
      mtl >= 1.0
    , haskell-src >= 1.0
    -- , haskell-src-exts >= 1.13.5 
    , pretty >= 1.0.0.0
    , containers >= 0.1.0.1
  if impl(ghc >= 6.10)
    build-depends:
        base >= 4
      , syb >= 0.1.0.0
  else
    build-depends:
        base >= 1 && < 5

  exposed-modules:
      Language.Haskell.FreeTheorems
      Language.Haskell.FreeTheorems.Syntax
      Language.Haskell.FreeTheorems.Parser.Haskell98
      Language.Haskell.FreeTheorems.Theorems
      Language.Haskell.FreeTheorems.BasicSyntax
      Language.Haskell.FreeTheorems.ValidSyntax
      Language.Haskell.FreeTheorems.NameStores

  other-modules:
      Language.Haskell.FreeTheorems.Frontend
      Language.Haskell.FreeTheorems.Frontend.Error
      Language.Haskell.FreeTheorems.Frontend.TypeExpressions
      Language.Haskell.FreeTheorems.Frontend.CheckLocal
      Language.Haskell.FreeTheorems.Frontend.CheckGlobal
      Language.Haskell.FreeTheorems.LanguageSubsets
      Language.Haskell.FreeTheorems.Intermediate
      Language.Haskell.FreeTheorems.Unfold
      Language.Haskell.FreeTheorems.PrettyBase
      Language.Haskell.FreeTheorems.PrettyTypes
      Language.Haskell.FreeTheorems.PrettyTheorems
      Language.Haskell.FreeTheorems.Theorems.Simplify

  hs-source-dirs: src

  ghc-options: -w