Cabal revisions of liquidhaskell-0.6.0.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-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+Name: liquidhaskell +Version: 0.6.0.0 +x-revision: 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/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.8.* + , 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.8.* + , 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.8.* + , 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 && < 1.0 + , 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.8.* + , containers >= 0.5 + , directory >= 1.2 + , filepath >= 1.3 + , mtl >= 2.1 + , process >= 1.2 + , optparse-applicative >= 0.11 && < 0.13 + , stm >= 2.4 + , tagged >= 0.7.3 + , tasty >= 0.10 + , tasty-ant-xml + , tasty-hunit >= 0.9 + , tasty-rerun >= 1.1 + , transformers >= 0.3