name: tip-haskell-frontend
version: 0.2
license: BSD3
license-file: LICENSE
author: Dan Rosén
maintainer: danr@chalmers.se
build-type: Simple
cabal-version: >=1.10
description: Convert from Haskell to Tip
synopsis: Convert from Haskell to Tip
homepage: http://tip-org.github.io
bug-reports: http://github.com/tip-org/tools/issues
category: Theorem Provers
extra-source-files: changelog
source-repository head
type: git
location: http://github.com/tip-org/tools
subdir: tip-haskell-frontend
library
exposed-modules:
Tip.HaskellFrontend
Tip.Prelude
Tip
other-modules:
Tip.Params
Tip.Id
Tip.GHCUtils
Tip.CoreToTip
Tip.DataConPattern
Tip.Dicts
Tip.FreeTyCons
Tip.ParseDSL
Tip.Property
Tip.RemoveDefault
Tip.TyAppBeta
Tip.Uniquify
Tip.GenericInstances
ghc-options: -fexpose-all-unfoldings
hs-source-dirs: src
include-dirs: src
default-language: Haskell2010
build-depends: base >=4 && <5,
ghc,
ghc-paths >=0.1,
containers >=0.4,
filepath >=1.3,
directory >=1.1,
pretty >=1.1,
mtl >=2.1,
bytestring >=0.9.2,
split >=0.2,
geniplate-mirror >=0.7.1,
tip-lib >= 0.2 && < 0.3,
ghc-simple >= 0.1.2.0 && < 0.2,
optparse-applicative,
QuickCheck >= 2.8
executable tip-ghc
main-is: executable/Main.hs
default-language: Haskell2010
build-depends: base,
tip-haskell-frontend,
tip-lib,
pretty-show,
optparse-applicative,
pretty