polyfix.cabal

   1 name:           polyfix
   2 version:        0.1
   3 license:        PublicDomain
   4 author:         Daniel Seidel, Joachim Breitner
   5 maintainer:     seideld@tcs.inf.tu-dresden.de
   6 synopsis:       Counter examples to Free Theorems
   7 description:
   8         Given a Free Theorem, this program calculates a term for which the
   9         Free Theorem does not hold if a strictness requirement is relaxed.
  10         .
  11         It also includes a simple Free Theorem deriver.
  12 category:       Language
  13 build-type:     Simple
  14 cabal-version:  >= 1.2
  15
  16 extra-source-files:
  17     TestItExt.hs
  18     testcgi.py
  19
  20 library
  21     build-depends:
  22         base >= 1.0
  23       , mtl >= 1.0
  24       , haskell-src >= 1.0
  25       , haskell-src-exts >= 0.3.9
  26       , pretty >= 1.0.0.0
  27       , containers >= 0.1.0.1
  28       , HUnit >= 1.2
  29     exposed-modules:
  30         ExFindExtended
  31         SimpleFT
  32         ParseType
  33         Term2Expr
  34     other-modules:
  35         Expr
  36         M
  37
  38 executable polyfix.cgi
  39     main-is:
  40         polyfix-cgi.hs
  41     build-depends:
  42         xhtml, cgi, utf8-string, free-theorems >= 0.2.1