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