pi-forall.cabal

Name: pi-forall
Version: 0.1
License: BSD3
License-file: LICENSE
Copyright: (c) 2013 University of Pennsylvania
Description: An implementation of a simple dependently typed language for OPLSS 2013
Author: Stephanie Weirich <sweirich@cis.upenn.edu>, based on code by Trellys Team <trellys@...>
Maintainer: Stephanie Weirich <sweirich@cis.upenn.edu>
Cabal-Version: >= 1.2
Build-type: Simple
tested-with: GHC == 7.8.4, GHC == 7.10.3

library
  hs-source-dirs: src/
  Exposed-modules: Syntax
                   Parser
                   TypeCheck
                   Main
  Build-depends:  base >= 4

executable pi-forall
  hs-source-dirs: src/
  Main-is: Main.hs
  Build-depends: base >=4,
                 parsec (>= 3.1 && < 3.1.5) || (>= 3.1.8 && < 3.2),
                 pretty >= 1.0.1.0,
                 unbound-generics >= 0.2,
                 mtl >= 2.2.1,
                 transformers,
                 array >= 0.3.0.2 && < 0.6,
                 containers,
                 directory,
                 filepath,
                 HUnit,
                 QuickCheck
  Ghc-Options:  -Wall -fno-warn-unused-matches