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 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