Cabal revisions of liquidhaskell-0.8.6.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: liquidhaskell-version: 0.8.6.0-synopsis: Liquid Types for Haskell-description: Liquid Types for Haskell.-license: BSD3-license-file: LICENSE-copyright: 2010-19 Ranjit Jhala & Niki Vazou & Eric L. Seidel, University of California, San Diego.-author: Ranjit Jhala, Niki Vazou, Eric Seidel-maintainer: Ranjit Jhala <jhala@cs.ucsd.edu>-category: Language-homepage: https://github.com/ucsd-progsys/liquidhaskell-build-type: Simple-extra-source-files: CHANGES.md- README.md- devel/Paths_liquidhaskell.hs- 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-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-cabal-version: >= 1.22--source-repository head- type: git- location: https://github.com/ucsd-progsys/liquidhaskell/--flag devel- default: False- manual: True- description: turn on stricter error reporting for development--flag include- default: False- description: use in-tree include directory--flag deterministic-profiling- default: False- description: Support building against GHC with <https://phabricator.haskell.org/D4388>- backported--library- exposed-modules: Gradual.Concretize- Gradual.GUI- Gradual.GUI.Annotate- Gradual.GUI.Misc- Gradual.GUI.Types- Gradual.Misc- Gradual.PrettyPrinting- Gradual.Refinements- Gradual.Trivial- Gradual.Types- Gradual.Uniquify- Language.Haskell.Liquid.Bag- Language.Haskell.Liquid.Bare- Language.Haskell.Liquid.Bare.Axiom- Language.Haskell.Liquid.Bare.Check- Language.Haskell.Liquid.Bare.Class- Language.Haskell.Liquid.Bare.DataType- Language.Haskell.Liquid.Bare.Expand- Language.Haskell.Liquid.Bare.Laws- Language.Haskell.Liquid.Bare.Measure- Language.Haskell.Liquid.Bare.Misc- Language.Haskell.Liquid.Bare.Plugged- Language.Haskell.Liquid.Bare.Resolve- Language.Haskell.Liquid.Bare.ToBare- Language.Haskell.Liquid.Bare.Types- Language.Haskell.Liquid.Constraint.Constraint- Language.Haskell.Liquid.Constraint.Env- Language.Haskell.Liquid.Constraint.Fresh- Language.Haskell.Liquid.Constraint.Generate- Language.Haskell.Liquid.Constraint.Init- Language.Haskell.Liquid.Constraint.Monad- Language.Haskell.Liquid.Constraint.Qualifier- Language.Haskell.Liquid.Constraint.Split- Language.Haskell.Liquid.Constraint.ToFixpoint- Language.Haskell.Liquid.Constraint.Types- Language.Haskell.Liquid.Equational- Language.Haskell.Liquid.Foreign- Language.Haskell.Liquid.GHC.API- Language.Haskell.Liquid.GHC.Interface- Language.Haskell.Liquid.GHC.Misc- Language.Haskell.Liquid.GHC.Play- Language.Haskell.Liquid.GHC.Resugar- Language.Haskell.Liquid.GHC.SpanStack- Language.Haskell.Liquid.GHC.TypeRep- Language.Haskell.Liquid.Interactive.Handler- Language.Haskell.Liquid.Interactive.Types- Language.Haskell.Liquid.LawInstances- Language.Haskell.Liquid.Liquid- Language.Haskell.Liquid.List- Language.Haskell.Liquid.Measure- Language.Haskell.Liquid.Misc- Language.Haskell.Liquid.Parse- Language.Haskell.Liquid.Prelude- Language.Haskell.Liquid.ProofCombinators- Language.Haskell.Liquid.Termination.Structural- Language.Haskell.Liquid.Transforms.ANF- Language.Haskell.Liquid.Transforms.CoreToLogic- Language.Haskell.Liquid.Transforms.Rec- Language.Haskell.Liquid.Transforms.RefSplit- Language.Haskell.Liquid.Transforms.Rewrite- Language.Haskell.Liquid.Transforms.Simplify- Language.Haskell.Liquid.Types- Language.Haskell.Liquid.Types.Bounds- Language.Haskell.Liquid.Types.Dictionaries- Language.Haskell.Liquid.Types.Equality- Language.Haskell.Liquid.Types.Errors- Language.Haskell.Liquid.Types.Fresh- Language.Haskell.Liquid.Types.Literals- Language.Haskell.Liquid.Types.Meet- Language.Haskell.Liquid.Types.Names- Language.Haskell.Liquid.Types.PredType- Language.Haskell.Liquid.Types.PrettyPrint- Language.Haskell.Liquid.Types.RefType- Language.Haskell.Liquid.Types.Specs- Language.Haskell.Liquid.Types.Strata- Language.Haskell.Liquid.Types.Types- Language.Haskell.Liquid.Types.Variance- Language.Haskell.Liquid.Types.Visitors- Language.Haskell.Liquid.UX.ACSS- Language.Haskell.Liquid.UX.Annotate- Language.Haskell.Liquid.UX.CTags- Language.Haskell.Liquid.UX.CmdLine- Language.Haskell.Liquid.UX.Config- Language.Haskell.Liquid.UX.DiffCheck- Language.Haskell.Liquid.UX.Errors- Language.Haskell.Liquid.UX.QuasiQuoter- Language.Haskell.Liquid.UX.Tidy- Language.Haskell.Liquid.WiredIn- LiquidHaskell- Paths_liquidhaskell- hs-source-dirs: src, include- build-depends: base >= 4.11.1.0 && < 5- , Diff >= 0.3- , aeson- , binary- , bytestring >= 0.10- , cereal- , cmdargs >= 0.10- , containers >= 0.5- , data-default >= 0.5- , deepseq >= 1.3- , directory >= 1.2- , filepath >= 1.3- , fingertree >= 0.1- , ghc- , ghc-boot- , ghc-paths >= 0.1- , ghc-prim- , gitrev- , hashable >= 1.2- , hscolour >= 1.22- , liquid-fixpoint >= 0.8.0.0- , mtl >= 2.1- , optparse-simple- , githash- , parsec >= 3.1- , pretty >= 1.1- , syb >= 0.4.4- , template-haskell >= 2.9- , temporary >= 1.2- , text >= 1.2- , time >= 1.4- , time- , transformers >= 0.3- , unordered-containers >= 0.2- , vector >= 0.10- default-language: Haskell98- default-extensions: PatternGuards- ghc-options: -W -fwarn-missing-signatures-- if flag(include)- hs-source-dirs: devel-- if flag(deterministic-profiling)- cpp-options: -DDETERMINISTIC_PROFILING--executable liquid- main-is: src/Liquid.hs- build-depends: base >= 4.9.1.0 && < 5, liquidhaskell- default-language: Haskell98- default-extensions: PatternGuards- ghc-options: -W -threaded -fdefer-typed-holes-- if flag(devel)- ghc-options: -Werror--executable gradual- main-is: src/Gradual.hs- build-depends: base >= 4.8.1.0 && < 5- , cmdargs- , hscolour- , liquid-fixpoint >= 0.7.0.5- , liquidhaskell- default-language: Haskell2010- buildable: False- ghc-options: -W -threaded-- if flag(devel)- ghc-options: -Werror--executable target- main-is: src/Target.hs- build-depends: base >= 4.8.1.0 && < 5, hint, liquidhaskell- default-language: Haskell2010- buildable: False--test-suite test- type: exitcode-stdio-1.0- main-is: test.hs- other-modules: Paths_liquidhaskell- hs-source-dirs: tests- build-depends: base >= 4.8.1.0 && < 5- , containers >= 0.5- , directory >= 1.2- , filepath >= 1.3- , mtl >= 2.1- , optparse-applicative >= 0.11- , process >= 1.2- , stm >= 2.4- , tagged >= 0.7.3- , tasty >= 0.10- , tasty-ant-xml- , tasty-hunit >= 0.9- , tasty-rerun >= 1.1- , text- , transformers >= 0.3- default-language: Haskell98- ghc-options: -W -threaded--test-suite liquidhaskell-parser- type: exitcode-stdio-1.0- main-is: Parser.hs- other-modules: Paths_liquidhaskell- hs-source-dirs: tests- build-depends: base >= 4.8.1.0 && < 5- , liquid-fixpoint >= 0.8.0.0- , liquidhaskell- , parsec- , syb- , tasty >= 0.10- , tasty-ant-xml- , tasty-hunit >= 0.9- default-language: Haskell2010- ghc-options: -W+name: liquidhaskell +version: 0.8.6.0 +x-revision: 1 +synopsis: Liquid Types for Haskell +description: Liquid Types for Haskell. +license: BSD3 +license-file: LICENSE +copyright: 2010-19 Ranjit Jhala & Niki Vazou & Eric L. Seidel, University of California, San Diego. +author: Ranjit Jhala, Niki Vazou, Eric Seidel +maintainer: Ranjit Jhala <jhala@cs.ucsd.edu> +category: Language +homepage: https://github.com/ucsd-progsys/liquidhaskell +build-type: Simple +extra-source-files: CHANGES.md + README.md + devel/Paths_liquidhaskell.hs + 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 +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 +cabal-version: >= 1.22 + +source-repository head + type: git + location: https://github.com/ucsd-progsys/liquidhaskell/ + +flag devel + default: False + manual: True + description: turn on stricter error reporting for development + +flag include + default: False + description: use in-tree include directory + +flag deterministic-profiling + default: False + description: Support building against GHC with <https://phabricator.haskell.org/D4388> + backported + +library + exposed-modules: Gradual.Concretize + Gradual.GUI + Gradual.GUI.Annotate + Gradual.GUI.Misc + Gradual.GUI.Types + Gradual.Misc + Gradual.PrettyPrinting + Gradual.Refinements + Gradual.Trivial + Gradual.Types + Gradual.Uniquify + Language.Haskell.Liquid.Bag + Language.Haskell.Liquid.Bare + Language.Haskell.Liquid.Bare.Axiom + Language.Haskell.Liquid.Bare.Check + Language.Haskell.Liquid.Bare.Class + Language.Haskell.Liquid.Bare.DataType + Language.Haskell.Liquid.Bare.Expand + Language.Haskell.Liquid.Bare.Laws + Language.Haskell.Liquid.Bare.Measure + Language.Haskell.Liquid.Bare.Misc + Language.Haskell.Liquid.Bare.Plugged + Language.Haskell.Liquid.Bare.Resolve + Language.Haskell.Liquid.Bare.ToBare + Language.Haskell.Liquid.Bare.Types + Language.Haskell.Liquid.Constraint.Constraint + Language.Haskell.Liquid.Constraint.Env + Language.Haskell.Liquid.Constraint.Fresh + Language.Haskell.Liquid.Constraint.Generate + Language.Haskell.Liquid.Constraint.Init + Language.Haskell.Liquid.Constraint.Monad + Language.Haskell.Liquid.Constraint.Qualifier + Language.Haskell.Liquid.Constraint.Split + Language.Haskell.Liquid.Constraint.ToFixpoint + Language.Haskell.Liquid.Constraint.Types + Language.Haskell.Liquid.Equational + Language.Haskell.Liquid.Foreign + Language.Haskell.Liquid.GHC.API + Language.Haskell.Liquid.GHC.Interface + Language.Haskell.Liquid.GHC.Misc + Language.Haskell.Liquid.GHC.Play + Language.Haskell.Liquid.GHC.Resugar + Language.Haskell.Liquid.GHC.SpanStack + Language.Haskell.Liquid.GHC.TypeRep + Language.Haskell.Liquid.Interactive.Handler + Language.Haskell.Liquid.Interactive.Types + Language.Haskell.Liquid.LawInstances + Language.Haskell.Liquid.Liquid + Language.Haskell.Liquid.List + Language.Haskell.Liquid.Measure + Language.Haskell.Liquid.Misc + Language.Haskell.Liquid.Parse + Language.Haskell.Liquid.Prelude + Language.Haskell.Liquid.ProofCombinators + Language.Haskell.Liquid.Termination.Structural + Language.Haskell.Liquid.Transforms.ANF + Language.Haskell.Liquid.Transforms.CoreToLogic + Language.Haskell.Liquid.Transforms.Rec + Language.Haskell.Liquid.Transforms.RefSplit + Language.Haskell.Liquid.Transforms.Rewrite + Language.Haskell.Liquid.Transforms.Simplify + Language.Haskell.Liquid.Types + Language.Haskell.Liquid.Types.Bounds + Language.Haskell.Liquid.Types.Dictionaries + Language.Haskell.Liquid.Types.Equality + Language.Haskell.Liquid.Types.Errors + Language.Haskell.Liquid.Types.Fresh + Language.Haskell.Liquid.Types.Literals + Language.Haskell.Liquid.Types.Meet + Language.Haskell.Liquid.Types.Names + Language.Haskell.Liquid.Types.PredType + Language.Haskell.Liquid.Types.PrettyPrint + Language.Haskell.Liquid.Types.RefType + Language.Haskell.Liquid.Types.Specs + Language.Haskell.Liquid.Types.Strata + Language.Haskell.Liquid.Types.Types + Language.Haskell.Liquid.Types.Variance + Language.Haskell.Liquid.Types.Visitors + Language.Haskell.Liquid.UX.ACSS + Language.Haskell.Liquid.UX.Annotate + Language.Haskell.Liquid.UX.CTags + Language.Haskell.Liquid.UX.CmdLine + Language.Haskell.Liquid.UX.Config + Language.Haskell.Liquid.UX.DiffCheck + Language.Haskell.Liquid.UX.Errors + Language.Haskell.Liquid.UX.QuasiQuoter + Language.Haskell.Liquid.UX.Tidy + Language.Haskell.Liquid.WiredIn + LiquidHaskell + Paths_liquidhaskell + hs-source-dirs: src, include + build-depends: base >= 4.11.1.0 && < 5 + , Diff >= 0.3 + , aeson + , binary + , bytestring >= 0.10 + , cereal + , cmdargs >= 0.10 + , containers >= 0.5 + , data-default >= 0.5 + , deepseq >= 1.3 + , directory >= 1.2 + , filepath >= 1.3 + , fingertree >= 0.1 + , ghc < 8.6.2 + , ghc-boot + , ghc-paths >= 0.1 + , ghc-prim + , gitrev + , hashable >= 1.2 + , hscolour >= 1.22 + , liquid-fixpoint >= 0.8.0.0 + , mtl >= 2.1 + , optparse-simple + , githash + , parsec >= 3.1 + , pretty >= 1.1 + , syb >= 0.4.4 + , template-haskell >= 2.9 + , temporary >= 1.2 + , text >= 1.2 + , time >= 1.4 + , time + , transformers >= 0.3 + , unordered-containers >= 0.2 + , vector >= 0.10 + default-language: Haskell98 + default-extensions: PatternGuards + ghc-options: -W -fwarn-missing-signatures + + if flag(include) + hs-source-dirs: devel + + if flag(deterministic-profiling) + cpp-options: -DDETERMINISTIC_PROFILING + +executable liquid + main-is: src/Liquid.hs + build-depends: base >= 4.9.1.0 && < 5, liquidhaskell + default-language: Haskell98 + default-extensions: PatternGuards + ghc-options: -W -threaded -fdefer-typed-holes + + if flag(devel) + ghc-options: -Werror + +executable gradual + main-is: src/Gradual.hs + build-depends: base >= 4.8.1.0 && < 5 + , cmdargs + , hscolour + , liquid-fixpoint >= 0.7.0.5 + , liquidhaskell + default-language: Haskell2010 + buildable: False + ghc-options: -W -threaded + + if flag(devel) + ghc-options: -Werror + +executable target + main-is: src/Target.hs + build-depends: base >= 4.8.1.0 && < 5, hint, liquidhaskell + default-language: Haskell2010 + buildable: False + +test-suite test + type: exitcode-stdio-1.0 + main-is: test.hs + other-modules: Paths_liquidhaskell + hs-source-dirs: tests + build-depends: base >= 4.8.1.0 && < 5 + , containers >= 0.5 + , directory >= 1.2 + , filepath >= 1.3 + , mtl >= 2.1 + , optparse-applicative >= 0.11 + , process >= 1.2 + , stm >= 2.4 + , tagged >= 0.7.3 + , tasty >= 0.10 + , tasty-ant-xml + , tasty-hunit >= 0.9 + , tasty-rerun >= 1.1 + , text + , transformers >= 0.3 + default-language: Haskell98 + ghc-options: -W -threaded + +test-suite liquidhaskell-parser + type: exitcode-stdio-1.0 + main-is: Parser.hs + other-modules: Paths_liquidhaskell + hs-source-dirs: tests + build-depends: base >= 4.8.1.0 && < 5 + , liquid-fixpoint >= 0.8.0.0 + , liquidhaskell + , parsec + , syb + , tasty >= 0.10 + , tasty-ant-xml + , tasty-hunit >= 0.9 + default-language: Haskell2010 + ghc-options: -W