cabal-version: 2.0 -- This file has been generated from package.dhall by hpack version 0.34.7. -- -- see: https://github.com/sol/hpack -- -- hash: c3248a327520f3bde8c5f3a8739450d0c85c2f59921bc642859337ddd52c1471 name: ghc-corroborate version: 1.0.0 synopsis: An flatter API for GHC typechecker plugins description: The GHC API changes over time. This package re-exports most GHC imports needed by typechecker plugins from its GHC.Corroborate module with a stable API over multiple GHC versions. category: Type System, GHC, Plugin stability: experimental homepage: https://github.com/blockscope/ghc-corroborate#readme bug-reports: https://github.com/blockscope/ghc-corroborate/issues author: Phil de Joux maintainer: phil.dejoux@blockscope.com copyright: © 2020-2022 Phil de Joux, © 2020-2022 Block Scope Limited license: MPL-2.0 license-file: LICENSE.md tested-with: GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.4, GHC == 8.10.7, GHC == 9.0.2, GHC == 9.2.3 build-type: Simple extra-source-files: LICENSE.md changelog.md defaults.dhall package.dhall source-repository head type: git location: https://github.com/blockscope/ghc-corroborate library exposed-modules: GhcApi.Constraint GhcApi.Predicate GhcApi.GhcPlugins GHC.Corroborate.Constraint GHC.Corroborate.Evidence GHC.Corroborate.Compare GHC.Corroborate.Shim GHC.Corroborate.Wrap GHC.Corroborate.Divulge GHC.Corroborate ghc-options: -Wall -Wincomplete-uni-patterns -Wcompat -Widentities -Wredundant-constraints build-depends: base >=4.9.1.0 && <5 , ghc-tcplugins-extra if impl(ghc >= 9.2) && impl(ghc < 9.4) hs-source-dirs: src-ghc-tree src-ghc-9.2 build-depends: ghc >=9.2 && <9.4 if impl(ghc >= 9.0) && impl(ghc < 9.2) hs-source-dirs: src-ghc-tree src-ghc-9.0 build-depends: ghc >=9.0 && <9.2 if impl(ghc >= 8.10.0) && impl(ghc < 9.0) hs-source-dirs: src-ghc-flat src-ghc-8.10 build-depends: ghc >=8.10 && <8.12 if impl(ghc >= 8.8.0) && impl(ghc < 8.10.0) hs-source-dirs: src-ghc-flat src-ghc-8.8 build-depends: ghc >=8.8 && <8.10 mixins: ghc hiding () , ghc (TcRnTypes as TcRnTypes) , ghc (Type as Type) , ghc (TcRnTypes as Constraint) , ghc (Type as Predicate) if impl(ghc >= 8.6.0) && impl(ghc < 8.8.0) hs-source-dirs: src-ghc-flat src-ghc-8.6 build-depends: ghc >=8.6 && <8.8 mixins: ghc hiding () , ghc (TcRnTypes as TcRnTypes) , ghc (Type as Type) , ghc (TcRnTypes as Constraint) , ghc (Type as Predicate) if impl(ghc >= 8.4.0) && impl(ghc < 8.6.0) hs-source-dirs: src-ghc-flat src-ghc-8.4 build-depends: ghc >=8.4 && <8.6 mixins: ghc hiding () , ghc (TcRnTypes as TcRnTypes) , ghc (Type as Type) , ghc (TcRnTypes as Constraint) , ghc (Type as Predicate) if impl(ghc >= 8.2.0) && impl(ghc < 8.4.0) hs-source-dirs: src-ghc-flat src-ghc-8.2 build-depends: ghc >=8.2 && <8.4 mixins: ghc hiding () , ghc (TcRnTypes as TcRnTypes) , ghc (Type as Type) , ghc (TcRnTypes as Constraint) , ghc (Type as Predicate) if impl(ghc >= 8.0.0) && impl(ghc < 8.2.0) hs-source-dirs: src-ghc-flat src-ghc-8.0 build-depends: ghc >=8.0 && <8.2 mixins: ghc hiding () , ghc (TcRnTypes as TcRnTypes) , ghc (Type as Type) , ghc (TcRnTypes as Constraint) , ghc (Type as Predicate) default-language: Haskell2010