name:           polyfix
version:        0.1
license:        PublicDomain
author:         Daniel Seidel, Joachim Breitner
maintainer:     seideld@tcs.inf.tu-dresden.de
synopsis:       Counter examples to Free Theorems
description:
	Given a Free Theorem, this program calculates a term for which the
        Free Theorem does not hold if a strictness requirement is relaxed.
        .
        It also includes a simple Free Theorem deriver.
category:       Language
build-type:	Simple
cabal-version:  >= 1.2

extra-source-files:
    TestItExt.hs
    testcgi.py

library
    build-depends:
        base >= 1.0
      , mtl >= 1.0
      , haskell-src >= 1.0
      , haskell-src-exts >= 0.3.9
      , pretty >= 1.0.0.0
      , containers >= 0.1.0.1
      , HUnit >= 1.2
    exposed-modules:
        ExFindExtended
        SimpleFT
        ParseType
        Term2Expr
    other-modules:
        Expr
        M

executable polyfix.cgi
    main-is:
        polyfix-cgi.hs
    build-depends:
        xhtml, cgi, utf8-string, free-theorems >= 0.2.1