liquidhaskell-0.5.0.1: liquidhaskell.cabal
Name: liquidhaskell
Version: 0.5.0.1
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/708/Control/*.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 include
Description: use in-tree include directory
Default: False
Executable liquid
default-language: Haskell98
Build-Depends: base >= 4 && < 5
, ghc
, 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
, hashable
, unordered-containers
, aeson
, bytestring
, fingertree
, liquidhaskell
Main-is: Liquid.hs
ghc-options: -W -fno-warn-unused-imports -fno-warn-dodgy-imports -fno-warn-deprecated-flags -fno-warn-deprecations
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 || == 7.8.4 || == 7.10.2
, 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 >= 1.2
, syb
, text
, intern
, vector
, hashable
, unordered-containers
, liquid-fixpoint >= 0.4
, aeson
, bytestring
, fingertree
, Cabal >= 1.18
hs-source-dirs: src, include
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.Constraint,
Language.Haskell.Liquid.Constraint.Types,
Language.Haskell.Liquid.Constraint.Generate,
Language.Haskell.Liquid.Constraint.ToFixpoint,
Language.Haskell.Liquid.Measure,
Language.Haskell.Liquid.Parse,
Language.Haskell.Liquid.GhcInterface,
Language.Haskell.Liquid.World,
Language.Haskell.Liquid.RefType,
Language.Haskell.Liquid.RefSplit,
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.Cabal,
Language.Haskell.Liquid.GhcMisc,
Language.Haskell.Liquid.GhcPlay,
Language.Haskell.Liquid.Misc,
Language.Haskell.Liquid.CoreToLogic,
Language.Haskell.Liquid.Variance,
Language.Haskell.Liquid.Bounds,
Language.Haskell.Liquid.Dictionaries,
Language.Haskell.Liquid.Qualifier,
Language.Haskell.Liquid.TransformRec,
Language.Haskell.Liquid.Tidy,
Language.Haskell.Liquid.Types,
Language.Haskell.Liquid.Simplify,
Language.Haskell.Liquid.Literals,
Language.Haskell.Liquid.Strata,
Language.Haskell.Liquid.Fresh,
Language.Haskell.Liquid.Visitors,
Language.Haskell.Liquid.WiredIn,
Language.Haskell.Liquid.Names,
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.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
if impl(ghc < 7.10)
exposed-modules:
--NOTE: these need to be exposed so GHC generates .dyn_o files for them..
Language.Haskell.Liquid.Desugar.Check,
Language.Haskell.Liquid.Desugar.Coverage,
Language.Haskell.Liquid.Desugar.Desugar,
Language.Haskell.Liquid.Desugar.DsArrows,
Language.Haskell.Liquid.Desugar.DsBinds,
Language.Haskell.Liquid.Desugar.DsExpr,
Language.Haskell.Liquid.Desugar.DsForeign,
Language.Haskell.Liquid.Desugar.DsGRHSs,
Language.Haskell.Liquid.Desugar.DsListComp,
Language.Haskell.Liquid.Desugar.DsMeta,
Language.Haskell.Liquid.Desugar.DsUtils,
Language.Haskell.Liquid.Desugar.HscMain,
Language.Haskell.Liquid.Desugar.Match,
Language.Haskell.Liquid.Desugar.MatchCon,
Language.Haskell.Liquid.Desugar.MatchLit
else
exposed-modules:
--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 -fno-warn-unused-imports -fno-warn-dodgy-imports -fno-warn-deprecated-flags -fno-warn-deprecations
if flag(include)
hs-source-dirs: devel
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,
liquidhaskell,
containers,
directory,
filepath,
mtl,
process,
optparse-applicative == 0.11.*,
stm,
tagged,
tasty >= 0.10,
tasty-hunit >= 0.9,
tasty-rerun >= 1.1,
transformers