Name: liquidhaskell Version: 0.2.0.0 Copyright: 2010-13 Ranjit Jhala, University of California, San Diego. build-type: Simple Synopsis: Liquid Types for Haskell Description: Liquid Types for Haskell. Homepage: http://goto.ucsd.edu/liquidhaskell License: GPL License-file: LICENSE Author: Ranjit Jhala, Niki Vazou, Eric Seidel Maintainer: Ranjit Jhala Category: Language Build-Type: Simple Cabal-version: >=1.18 data-files: include/*.hquals , include/*.hs , include/*.spec , include/Control/*.spec , include/Data/*.hquals , include/Data/*.spec , include/Data/Text/*.spec , include/Data/Text/Fusion/*.spec , include/Data/Text/Lazy/*.spec , include/Foreign/*.spec , include/Foreign/C/*.spec , include/Foreign/Marshal/*.spec , include/GHC/*.hquals , include/GHC/*.spec , include/GHC/IO/*.spec , include/Language/Haskell/Liquid/*.hs , include/Language/Haskell/Liquid/*.pred , include/System/*.spec , syntax/liquid.css Source-Repository head Type: git Location: https://github.com/ucsd-progsys/liquidhaskell/ Executable liquid default-language: Haskell98 Build-Depends: base >= 4 && < 5 , ghc>=7.8.3 , ansi-terminal , template-haskell , time , array , hpc , bifunctors , cmdargs , containers , cpphs , data-default , deepseq , directory , Diff , filemanip , filepath , ghc-paths , hscolour , mtl , parsec , pretty , process , syb , text , vector , liquid-fixpoint >= 0.2 , hashable , unordered-containers , aeson , bytestring , fingertree , liquidhaskell Main-is: Liquid.hs --ghc-options: -O -W Default-Extensions: PatternGuards -- Executable liquid-count-binders -- Build-Depends: base >= 4 && < 5 -- , ghc==7.6.3 -- , ansi-terminal -- , bifunctors -- , cmdargs -- , containers -- , cpphs -- , deepseq -- , directory -- , Diff -- , filemanip -- , filepath -- , ghc-paths -- , hscolour -- , mtl -- , parsec -- , pretty -- , process -- , syb -- , text -- , vector -- , liquid-fixpoint -- , hashable -- , unordered-containers -- , aeson -- , bytestring -- , fingertree -- , liquidhaskell -- -- Main-is: CountBinders.hs -- --ghc-options: -O -W -- Extensions: PatternGuards Library Default-Language: Haskell98 Build-Depends: base , ghc>=7.8.3 , ansi-terminal , template-haskell , time , array , hpc , bifunctors , cmdargs , containers , cpphs , data-default , deepseq , directory , Diff , filemanip , filepath , ghc-paths , hscolour , mtl , parsec , pretty , process , syb , text , unix , intern , vector , hashable , unordered-containers , liquid-fixpoint >= 0.2 , aeson , bytestring , fingertree hs-source-dirs: include, src Exposed-Modules: Language.Haskell.Liquid.Prelude, Language.Haskell.Liquid.Foreign, Language.Haskell.Liquid.List, Language.Haskell.Liquid.PrettyPrint, Language.Haskell.Liquid.Bare, Language.Haskell.Liquid.Constraint, Language.Haskell.Liquid.Measure, Language.Haskell.Liquid.Parse, Language.Haskell.Liquid.GhcInterface, Language.Haskell.Liquid.World, Language.Haskell.Liquid.RefType, Language.Haskell.Liquid.Errors, Language.Haskell.Liquid.PredType, Language.Haskell.Liquid.ACSS, Language.Haskell.Liquid.DiffCheck, Language.Haskell.Liquid.ANFTransform, Language.Haskell.Liquid.Annotate, Language.Haskell.Liquid.CTags, Language.Haskell.Liquid.CmdLine, Language.Haskell.Liquid.GhcMisc, Language.Haskell.Liquid.Misc, Language.Haskell.Liquid.Qualifier, Language.Haskell.Liquid.TransformRec, Language.Haskell.Liquid.Tidy, Language.Haskell.Liquid.Types, Language.Haskell.Liquid.Strata, Language.Haskell.Liquid.Fresh, Paths_liquidhaskell, --NOTE: these need to be exposed so GHC generates .dyn_o files for them.. Language.Haskell.Liquid.Desugar.Desugar, Language.Haskell.Liquid.Desugar.DsExpr, Language.Haskell.Liquid.Desugar.Coverage, Language.Haskell.Liquid.Desugar.Check, Language.Haskell.Liquid.Desugar.DsForeign, Language.Haskell.Liquid.Desugar.DsMeta, Language.Haskell.Liquid.Desugar.DsListComp, Language.Haskell.Liquid.Desugar.MatchCon, Language.Haskell.Liquid.Desugar.MatchLit, Language.Haskell.Liquid.Desugar.DsArrows, Language.Haskell.Liquid.Desugar.DsUtils, Language.Haskell.Liquid.Desugar.Match, Language.Haskell.Liquid.Desugar.DsBinds, Language.Haskell.Liquid.Desugar.DsGRHSs, Language.Haskell.Liquid.Desugar.HscMain --ghc-options: -O -W ghc-prof-options: -fprof-auto Default-Extensions: PatternGuards test-suite test default-language: Haskell98 type: exitcode-stdio-1.0 hs-source-dirs: tests ghc-options: -O2 -threaded main-is: test.hs build-depends: base, directory, filepath, process, tagged, unix, liquidhaskell, optparse-applicative < 0.10, tasty >= 0.8, tasty-hunit >= 0.8, tasty-rerun >= 1.1