Cabal revisions of liquidhaskell-boot-0.9.8.2
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-cabal-version: 2.4-name: liquidhaskell-boot-version: 0.9.8.2-synopsis: Liquid Types for Haskell-description: This package provides a plugin to verify Haskell programs.- But most likely you should be using the [liquidhaskell package](https://hackage.haskell.org/package/liquidhaskell)- instead, which rexports this plugin together with necessary- specifications for definitions in the boot libraries.-license: BSD-3-Clause-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-tested-with: GHC == 9.8.2--extra-source-files: tests/specfiles/pos/*.spec--source-repository head- type: git- location: https://github.com/ucsd-progsys/liquidhaskell/--flag devel- default: False- manual: True- description: Enable more warnings and fail compilation when warnings occur.- Turn this flag on in CI.--library- autogen-modules: Paths_liquidhaskell_boot- exposed-modules: Language.Haskell.Liquid.Cabal- 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.Bare.Slice- Language.Haskell.Liquid.Bare.Typeclass- Language.Haskell.Liquid.Bare.Elaborate- Language.Haskell.Liquid.CSS- 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.Template- Language.Haskell.Liquid.Constraint.Termination- Language.Haskell.Liquid.Constraint.Types- Language.Haskell.Liquid.Constraint.Relational- Liquid.GHC.API- Liquid.GHC.API.Extra- Liquid.GHC.API.StableModule- Language.Haskell.Liquid.GHC.CoreToLogic- Language.Haskell.Liquid.GHC.Interface- Language.Haskell.Liquid.GHC.Logging- Language.Haskell.Liquid.GHC.Misc- Language.Haskell.Liquid.GHC.Play- Language.Haskell.Liquid.GHC.Resugar- Language.Haskell.Liquid.GHC.SpanStack- Language.Haskell.Liquid.GHC.Types- Language.Haskell.Liquid.GHC.TypeRep- Language.Haskell.Liquid.GHC.Plugin- Language.Haskell.Liquid.GHC.Plugin.Tutorial- Language.Haskell.Liquid.LawInstances- Language.Haskell.Liquid.Liquid- Language.Haskell.Liquid.Measure- Language.Haskell.Liquid.Misc- Language.Haskell.Liquid.Parse- 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.Transforms.InlineAux- 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.Generics- 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.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.SimpleVersion- Language.Haskell.Liquid.UX.Tidy- Language.Haskell.Liquid.WiredIn- LiquidHaskellBoot- Paths_liquidhaskell_boot- other-modules: Language.Haskell.Liquid.GHC.Plugin.SpecFinder- Language.Haskell.Liquid.GHC.Plugin.Types- Language.Haskell.Liquid.GHC.Plugin.Util- hs-source-dirs: src src-ghc-- build-depends: base >= 4.11.1.0 && < 5- , Diff >= 0.3 && < 0.6- , aeson- , binary- , bytestring >= 0.10- , Cabal- , cereal- , cmdargs >= 0.10- , containers >= 0.5- , data-default >= 0.5- , deepseq >= 1.3- , directory >= 1.2- , filepath >= 1.3- , fingertree >= 0.1- , exceptions < 0.11- , ghc ^>= 9.8- , ghc-boot- , ghc-prim- , gitrev- , hashable >= 1.3 && < 1.5- , hscolour >= 1.22- , liquid-fixpoint == 0.9.6.3- , mtl >= 2.1- , optparse-applicative < 0.19- , githash- , megaparsec >= 8- , pretty >= 1.1- , split- , syb >= 0.4.4- , template-haskell >= 2.9- , th-compat < 0.2- , temporary >= 1.2- , text >= 1.2- , time >= 1.4- , transformers >= 0.3- , unordered-containers >= 0.2.11- , vector >= 0.10- , free- , recursion-schemes < 5.3- , data-fix- , extra- default-language: Haskell98- default-extensions: PatternGuards, RecordWildCards, DoAndIfThenElse- ghc-options: -W -fwarn-missing-signatures-- if flag(devel)- ghc-options: -Wall -Werror--test-suite ghc-api-tests- type: exitcode-stdio-1.0- main-is: GhcApiTests.hs- hs-source-dirs: ghc-api-tests- build-depends: base- , ghc- , ghc-paths- , liquidhaskell-boot- , tasty- , tasty-ant-xml- , tasty-hunit- , time- default-language: Haskell2010- ghc-options: -W--test-suite liquidhaskell-parser- type: exitcode-stdio-1.0- main-is: Parser.hs- other-modules: Paths_liquidhaskell_boot- hs-source-dirs: tests- build-depends: base >= 4.8.1.0 && < 5- , directory >= 1.2.5 && < 1.4- , filepath- , liquid-fixpoint- , liquidhaskell-boot- , megaparsec- , syb- , tasty >= 0.10- , tasty-ant-xml- , tasty-hunit >= 0.9- default-language: Haskell2010- ghc-options: -W-- if flag(devel)- ghc-options: -Wall -Wno-name-shadowing -Werror+cabal-version: 2.4 +name: liquidhaskell-boot +version: 0.9.8.2 +x-revision: 1 +synopsis: Liquid Types for Haskell +description: This package provides a plugin to verify Haskell programs. + But most likely you should be using the [liquidhaskell package](https://hackage.haskell.org/package/liquidhaskell) + instead, which rexports this plugin together with necessary + specifications for definitions in the boot libraries. +license: BSD-3-Clause +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 +tested-with: GHC == 9.8.2 + +extra-source-files: tests/specfiles/pos/*.spec + +source-repository head + type: git + location: https://github.com/ucsd-progsys/liquidhaskell/ + +flag devel + default: False + manual: True + description: Enable more warnings and fail compilation when warnings occur. + Turn this flag on in CI. + +library + autogen-modules: Paths_liquidhaskell_boot + exposed-modules: Language.Haskell.Liquid.Cabal + 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.Bare.Slice + Language.Haskell.Liquid.Bare.Typeclass + Language.Haskell.Liquid.Bare.Elaborate + Language.Haskell.Liquid.CSS + 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.Template + Language.Haskell.Liquid.Constraint.Termination + Language.Haskell.Liquid.Constraint.Types + Language.Haskell.Liquid.Constraint.Relational + Liquid.GHC.API + Liquid.GHC.API.Extra + Liquid.GHC.API.StableModule + Language.Haskell.Liquid.GHC.CoreToLogic + Language.Haskell.Liquid.GHC.Interface + Language.Haskell.Liquid.GHC.Logging + Language.Haskell.Liquid.GHC.Misc + Language.Haskell.Liquid.GHC.Play + Language.Haskell.Liquid.GHC.Resugar + Language.Haskell.Liquid.GHC.SpanStack + Language.Haskell.Liquid.GHC.Types + Language.Haskell.Liquid.GHC.TypeRep + Language.Haskell.Liquid.GHC.Plugin + Language.Haskell.Liquid.GHC.Plugin.Tutorial + Language.Haskell.Liquid.LawInstances + Language.Haskell.Liquid.Liquid + Language.Haskell.Liquid.Measure + Language.Haskell.Liquid.Misc + Language.Haskell.Liquid.Parse + 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.Transforms.InlineAux + 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.Generics + 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.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.SimpleVersion + Language.Haskell.Liquid.UX.Tidy + Language.Haskell.Liquid.WiredIn + LiquidHaskellBoot + Paths_liquidhaskell_boot + other-modules: Language.Haskell.Liquid.GHC.Plugin.SpecFinder + Language.Haskell.Liquid.GHC.Plugin.Types + Language.Haskell.Liquid.GHC.Plugin.Util + hs-source-dirs: src src-ghc + + build-depends: base >= 4.11.1.0 && < 5 + , Diff >= 0.3 && < 0.6 + , aeson + , binary + , bytestring >= 0.10 + , Cabal + , cereal + , cmdargs >= 0.10 + , containers >= 0.5 + , data-default >= 0.5 + , deepseq >= 1.3 + , directory >= 1.2 + , filepath >= 1.3 + , fingertree >= 0.1 + , exceptions < 0.11 + , ghc ^>= 9.8 + , ghc-boot + , ghc-prim + , gitrev + , hashable >= 1.3 && < 1.5 + , hscolour >= 1.22 + , liquid-fixpoint == 0.9.6.3.1 + , mtl >= 2.1 + , optparse-applicative < 0.19 + , githash + , megaparsec >= 8 + , pretty >= 1.1 + , split + , syb >= 0.4.4 + , template-haskell >= 2.9 + , th-compat < 0.2 + , temporary >= 1.2 + , text >= 1.2 + , time >= 1.4 + , transformers >= 0.3 + , unordered-containers >= 0.2.11 + , vector >= 0.10 + , free + , recursion-schemes < 5.3 + , data-fix + , extra + default-language: Haskell98 + default-extensions: PatternGuards, RecordWildCards, DoAndIfThenElse + ghc-options: -W -fwarn-missing-signatures + + if flag(devel) + ghc-options: -Wall -Werror + +test-suite ghc-api-tests + type: exitcode-stdio-1.0 + main-is: GhcApiTests.hs + hs-source-dirs: ghc-api-tests + build-depends: base + , ghc + , ghc-paths + , liquidhaskell-boot + , tasty + , tasty-ant-xml + , tasty-hunit + , time + default-language: Haskell2010 + ghc-options: -W + +test-suite liquidhaskell-parser + type: exitcode-stdio-1.0 + main-is: Parser.hs + other-modules: Paths_liquidhaskell_boot + hs-source-dirs: tests + build-depends: base >= 4.8.1.0 && < 5 + , directory >= 1.2.5 && < 1.4 + , filepath + , liquid-fixpoint + , liquidhaskell-boot + , megaparsec + , syb + , tasty >= 0.10 + , tasty-ant-xml + , tasty-hunit >= 0.9 + default-language: Haskell2010 + ghc-options: -W + + if flag(devel) + ghc-options: -Wall -Wno-name-shadowing -Werror