liquidhaskell-0.6.0.0: liquidhaskell.cabal
Name: liquidhaskell
Version: 0.6.0.0
Copyright: 2010-15 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: BSD3
License-file: LICENSE
Author: Ranjit Jhala, Niki Vazou, Eric Seidel
Maintainer: Ranjit Jhala <jhala@cs.ucsd.edu>
Category: Language
Build-Type: Simple
Cabal-version: >=1.18
data-files: include/*.hquals
, include/*.hs
, include/*.spec
, include/CoreToLogic.lg
, 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
, include/710/Data/*.spec
, syntax/liquid.css
extra-source-files: tests/pos/*.hs
, tests/neg/*.hs
, tests/crash/*.hs
, tests/pos/*.hquals
, tests/ffi-include/foo.c
, tests/ffi-include/foo.h
Source-Repository head
Type: git
Location: https://github.com/ucsd-progsys/liquidhaskell/
Flag devel
Description: turn on stricter error reporting for development
Default: False
Manual: True
Flag include
Description: use in-tree include directory
Default: False
Executable liquid
default-language: Haskell98
Build-Depends: base >= 4 && < 5
, ghc
, cmdargs
, deepseq
, pretty
, process
, liquid-fixpoint
, located-base
-- , prover
, liquidhaskell
Main-is: src/Liquid.hs
ghc-options: -W -threaded
if flag(devel)
ghc-options: -Werror
Default-Extensions: PatternGuards
Executable lhi
default-language: Haskell98
Build-Depends: base >= 4 && < 5
, ghc
, cmdargs
, deepseq
, pretty
, liquid-fixpoint
, located-base
-- , prover
, liquidhaskell
, network
, directory
, unix
, daemons
, bytestring
, data-default
, unordered-containers
, cereal
, process
Main-is: src/LHi.hs
ghc-options: -W -threaded
if flag(devel)
ghc-options: -Werror
Default-Extensions: PatternGuards
Library
Default-Language: Haskell98
Build-Depends: base >= 4 && < 5
, ghc >= 7.10.2 && < 7.11
, template-haskell >= 2.9
, time >= 1.4
, array >= 0.5
, hpc >= 0.6
, cmdargs >= 0.10
, containers >= 0.5
, cpphs >= 1.19
, data-default >= 0.5
, deepseq >= 1.3
, directory >= 1.2
, Diff >= 0.3
, filepath >= 1.3
, ghc-paths >= 0.1
, hscolour >= 1.22
, mtl >= 2.1
, parsec >= 3.1
, pretty >= 1.1
, process >= 1.2
, syb >= 0.4.4
, text >= 1.2
, vector >= 0.10
, hashable >= 1.2
, unordered-containers >= 0.2
, liquid-fixpoint >= 0.5 && < 0.6
, located-base
-- , prover
, aeson >= 0.10
, bytestring >= 0.10
, fingertree >= 0.1
, Cabal >= 1.18
, bifunctors >= 5.1
, cereal
, temporary >= 1.2
hs-source-dirs: src, include
Exposed-Modules: Language.Haskell.Liquid.Prelude,
Language.Haskell.Liquid.Foreign,
Language.Haskell.Liquid.List,
Language.Haskell.Liquid.Bare,
Language.Haskell.Liquid.Constraint.Constraint,
Language.Haskell.Liquid.Constraint.Monad,
Language.Haskell.Liquid.Constraint.Env,
Language.Haskell.Liquid.Constraint.Types,
Language.Haskell.Liquid.Constraint.Split,
Language.Haskell.Liquid.Constraint.Axioms,
Language.Haskell.Liquid.Constraint.ProofToCore,
Language.Haskell.Liquid.Constraint.Generate,
Language.Haskell.Liquid.Constraint.ToFixpoint,
Language.Haskell.Liquid.Measure,
Language.Haskell.Liquid.Parse,
Language.Haskell.Liquid.GHC.Interface,
Language.Haskell.Liquid.GHC.SpanStack,
Language.Haskell.Liquid.Types.RefType,
Language.Haskell.Liquid.Types.Errors,
Language.Haskell.Liquid.Types.PrettyPrint,
Language.Haskell.Liquid.Types.Specifications,
Language.Haskell.Liquid.Types.PredType,
Language.Haskell.Liquid.Types.Meet,
Language.Haskell.Liquid.UX.ACSS,
Language.Haskell.Liquid.UX.DiffCheck,
Language.Haskell.Liquid.Transforms.ANF,
Language.Haskell.Liquid.Transforms.RefSplit,
Language.Haskell.Liquid.Transforms.CoreToLogic,
Language.Haskell.Liquid.Transforms.Rec,
Language.Haskell.Liquid.Transforms.Simplify,
Language.Haskell.Liquid.UX.Errors,
Language.Haskell.Liquid.UX.Annotate,
Language.Haskell.Liquid.UX.CTags,
Language.Haskell.Liquid.UX.Config,
Language.Haskell.Liquid.UX.CmdLine,
Language.Haskell.Liquid.GHC.Misc,
Language.Haskell.Liquid.GHC.Play,
Language.Haskell.Liquid.Misc,
Language.Haskell.Liquid.Types.Variance,
Language.Haskell.Liquid.Types.Bounds,
Language.Haskell.Liquid.Types.Dictionaries,
Language.Haskell.Liquid.Constraint.Qualifier,
Language.Haskell.Liquid.UX.Tidy,
Language.Haskell.Liquid.Types,
Language.Haskell.Liquid.Types.Literals,
Language.Haskell.Liquid.Types.Strata,
Language.Haskell.Liquid.Constraint.Fresh,
Language.Haskell.Liquid.Types.Visitors,
Language.Haskell.Liquid.WiredIn,
Language.Haskell.Liquid.Types.Names,
Language.Haskell.Liquid.Liquid,
Paths_liquidhaskell,
-- FIXME: These shouldn't really be exposed, but the linker complains otherwise...
Language.Haskell.Liquid.Bare.RefToLogic,
Language.Haskell.Liquid.Bare.Check,
Language.Haskell.Liquid.Bare.DataType,
Language.Haskell.Liquid.Bare.Env,
Language.Haskell.Liquid.Bare.Expand,
Language.Haskell.Liquid.Bare.Existential,
Language.Haskell.Liquid.Bare.GhcSpec,
Language.Haskell.Liquid.Bare.Lookup,
Language.Haskell.Liquid.Bare.Axiom,
Language.Haskell.Liquid.Bare.Measure,
Language.Haskell.Liquid.Bare.Misc,
Language.Haskell.Liquid.Bare.OfType,
Language.Haskell.Liquid.Bare.Plugged,
Language.Haskell.Liquid.Bare.Resolve,
Language.Haskell.Liquid.Bare.RTEnv,
Language.Haskell.Liquid.Bare.SymSort,
Language.Haskell.Liquid.Bare.Spec,
Language.Haskell.Liquid.Interactive.Types,
Language.Haskell.Liquid.Interactive.Handler,
Language.Haskell.Liquid.Prover.Constants,
Language.Haskell.Liquid.Prover.Misc,
Language.Haskell.Liquid.Prover.Parser,
Language.Haskell.Liquid.Prover.Pretty,
Language.Haskell.Liquid.Prover.SMTInterface,
Language.Haskell.Liquid.Prover.Solve,
Language.Haskell.Liquid.Prover.Types,
Language.Haskell.Liquid.Prover.Names,
-- NOTE: these need to be exposed so GHC generates .dyn_o files for them..
Language.Haskell.Liquid.Desugar710.Check,
Language.Haskell.Liquid.Desugar710.Coverage,
Language.Haskell.Liquid.Desugar710.Desugar,
Language.Haskell.Liquid.Desugar710.DsArrows,
Language.Haskell.Liquid.Desugar710.DsBinds,
Language.Haskell.Liquid.Desugar710.DsCCall,
Language.Haskell.Liquid.Desugar710.DsExpr,
Language.Haskell.Liquid.Desugar710.DsForeign,
Language.Haskell.Liquid.Desugar710.DsGRHSs,
Language.Haskell.Liquid.Desugar710.DsListComp,
Language.Haskell.Liquid.Desugar710.DsMeta,
Language.Haskell.Liquid.Desugar710.DsUtils,
Language.Haskell.Liquid.Desugar710.HscMain,
Language.Haskell.Liquid.Desugar710.Match,
Language.Haskell.Liquid.Desugar710.MatchCon,
Language.Haskell.Liquid.Desugar710.MatchLit
ghc-options: -W
if flag(include)
hs-source-dirs: devel
if flag(devel)
ghc-options: -Werror
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: -W -threaded
if flag(devel)
ghc-options: -Werror
main-is: test.hs
build-depends: base >= 4 && < 5
, containers >= 0.5
, directory >= 1.2
, filepath >= 1.3
, mtl >= 2.1
, process >= 1.2
, optparse-applicative >= 0.11
, stm >= 2.4
, tagged >= 0.7.3
, tasty >= 0.10
, tasty-ant-xml
, tasty-hunit >= 0.9
, tasty-rerun >= 1.1
, transformers >= 0.3