Name: liquidhaskell Version: 0.8.0.2 Copyright: 2010-17 Ranjit Jhala & Niki Vazou, University of California, San Diego. build-type: Simple Synopsis: Liquid Types for Haskell Description: Liquid Types for Haskell. Homepage: https://github.com/ucsd-progsys/liquidhaskell License: BSD3 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/CoreToLogic.lg , include/Control/*.spec , include/Control/Parallel/*.spec , include/Data/*.hquals , include/Data/*.spec , include/Data/Text/*.spec , include/Data/Text/Fusion/*.spec , include/Data/Text/Lazy/*.spec , include/Data/ByteString/*.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: CHANGES.md , README.md , tests/pos/*.hs , tests/neg/*.hs , tests/import/lib/*.hs , tests/import/client/*.hs , tests/errors/*.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.8.1.0 && <5 , ghc , ghc-boot == 8.0.2 , cmdargs , time , deepseq , pretty , process , liquid-fixpoint >= 0.7 , located-base , liquidhaskell , hpc >= 0.6 Main-is: src/Liquid.hs ghc-options: -W -threaded -fdefer-typed-holes if flag(devel) ghc-options: -Werror Default-Extensions: PatternGuards executable target default-language: Haskell2010 main-is: src/Target.hs build-depends: base >=4.8.1.0 && <5, hint, liquidhaskell Library Default-Language: Haskell98 Build-Depends: base >=4.8.1.0 && <5 , ghc == 8.0.2 , ghc-boot == 8.0.2 , template-haskell >= 2.9 , time >= 1.4 , array >= 0.5 , hpc >= 0.6 , cmdargs >= 0.10 , time , containers >= 0.5 , 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.7 , located-base , aeson >= 0.10 && < 1.0 , bytestring >= 0.10 , fingertree >= 0.1 , Cabal >= 1.18 , bifunctors >= 5.1 , cereal , binary , temporary >= 1.2 , transformers >= 0.3 , text-format , th-lift , exceptions >= 0.6 , QuickCheck >= 2.7 , ghc-prim , hpc >= 0.6 hs-source-dirs: src, include Exposed-Modules: LiquidHaskell, Language.Haskell.Liquid.Prelude, Language.Haskell.Liquid.ProofCombinators, Language.Haskell.Liquid.Foreign, Language.Haskell.Liquid.List, Language.Haskell.Liquid.Bare, Language.Haskell.Liquid.Constraint.Constraint, Language.Haskell.Liquid.Constraint.Init, 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.UX.QuasiQuoter, Language.Haskell.Liquid.Transforms.Rewrite, 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.GHC.TypeRep, Language.Haskell.Liquid.GHC.Resugar, 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, Language.Haskell.Liquid.Desugar.HscMain, -- 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.DsCCall, 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.Match, Language.Haskell.Liquid.Desugar.MatchCon, Language.Haskell.Liquid.Desugar.MatchLit, Language.Haskell.Liquid.Desugar.DsMonad, Language.Haskell.Liquid.Desugar.StaticPtrTable, Language.Haskell.Liquid.Desugar.TmOracle Paths_liquidhaskell, -- FIXME: These shouldn't really be exposed, but the linker complains otherwise... 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.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.ToBare, 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.Model, Test.Target, Test.Target.Eval, Test.Target.Expr, Test.Target.Monad, Test.Target.Targetable, Test.Target.Targetable.Function, Test.Target.Testable, Test.Target.Types, Test.Target.Util ghc-options: -W -fwarn-missing-signatures if flag(include) hs-source-dirs: devel if flag(devel) ghc-options: -Werror 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.8.1.0 && <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 , syb , liquid-fixpoint >= 0.7 , hpc >= 0.6 , text test-suite liquidhaskell-parser default-language: Haskell2010 type: exitcode-stdio-1.0 hs-source-dirs: tests ghc-options: -W main-is: Parser.hs build-depends: base >=4.8.1.0 && <5 , ghc-boot == 8.0.2 , containers >= 0.5 , parsec , tasty >= 0.10 , tasty-ant-xml , tasty-hunit >= 0.9 , tasty-rerun >= 1.1 , text , transformers >= 0.3 , syb , liquid-fixpoint >= 0.7 , hpc >= 0.6 if flag(devel) hs-source-dirs: tests src build-depends: aeson >= 0.10 && < 1.0 , binary , bytestring , cereal , cmdargs >= 0.10 , data-default >= 0.5 , deepseq , directory >= 1.2 , filepath >= 1.3 , mtl >= 2.1 , ghc == 8.0.2 , ghc-boot == 8.0.2 , hashable >= 1.2 , liquid-fixpoint >= 0.7 , pretty , syb >= 0.4.4 , time , unordered-containers >= 0.2 , template-haskell , hpc >= 0.6 else build-depends: liquidhaskell , base >= 4 && < 5 , ghc == 8.0.2 , ghc-boot == 8.0.2 , array >= 0.5 , time >= 1.4 , directory >= 1.2 , hpc >= 0.6 , containers >= 0.5 , template-haskell >= 2.9 , bytestring