ghc-typelits-presburger 0.7.4.0 → 0.7.4.1
raw patch · 3 files changed
+11/−12 lines, 3 filesdep ~ghcPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: ghc
API changes (from Hackage documentation)
Files
Changelog.md view
@@ -1,5 +1,9 @@ # Changelog +## 0.7.4.1++* Supports GHC 9.8.4+ ## 0.7.4.0 * Supports GHC 9.10
ghc-typelits-presburger.cabal view
@@ -4,10 +4,10 @@ -- -- see: https://github.com/sol/hpack ----- hash: f52bad218d1394e10b8a760cdc99d47bb03d4ea2f2949d4afcf3da8711c53c60+-- hash: f62c6305d38380eb4cc8063c8e4c4b0056c9bcb01d01075789915680436a7263 name: ghc-typelits-presburger-version: 0.7.4.0+version: 0.7.4.1 synopsis: Presburger Arithmetic Solver for GHC Type-level natural numbers. description: @ghc-typelits-presburger@ augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers.@@ -30,7 +30,7 @@ license: BSD3 license-file: LICENSE tested-with:- GHC==9.2.8 GHC==9.4.8 GHC==9.6.5 GHC==9.8.2 GHC==9.10.1+ GHC==9.2.8 GHC==9.4.8 GHC==9.6.5 GHC==9.8.4 GHC==9.10.1 extra-source-files: Changelog.md build-type: Simple@@ -59,7 +59,7 @@ build-depends: base >=4.7 && <5 , containers- , ghc <9.11+ , ghc <9.13 , ghc-tcplugins-extra >=0.2 && <0.5 , mtl , pretty
src/GHC/TypeLits/Presburger/Compat.hs view
@@ -9,13 +9,13 @@ module GHC.TypeLits.Presburger.Compat (module GHC.TypeLits.Presburger.Compat) where -import GHC.TypeLits.Presburger.Flags import Data.Coerce (coerce) import Data.Function (on) import Data.Functor ((<&>)) import Data.Generics.Twins-import qualified GHC.Types.Unique as Unique (getKey, Unique)+import GHC.TypeLits.Presburger.Flags import GHC.Types.Unique as GHC.TypeLits.Presburger.Compat (Unique, getUnique)+import qualified GHC.Types.Unique as Unique (Unique, getKey) #if MIN_VERSION_ghc(9,10,1) import GHC.Builtin.Names (gHC_INTERNAL_TYPENATS, gHC_INTERNAL_TYPEERROR) import GHC.Builtin.Names (mkGhcInternalModule)@@ -203,7 +203,6 @@ gHC_TYPEERROR = mkBaseModule "GHC.TypeLits" #endif - type PredTree = Pred data TvSubst = TvSubst InScopeSet TvSubstEnv@@ -519,15 +518,11 @@ #endif getKey :: Unique.Unique -> Int-#if MIN_VERSION_ghc(9,10,1) getKey = fromIntegral . Unique.getKey-#else-getKey = Unique.getKey-#endif getVoidTyCon :: TcPluginM TyCon getVoidTyCon = tcLookupTyCon =<< lookupOrig aMod (mkTcOcc "Void")- where + where #if MIN_VERSION_ghc(9,10,1) aMod = mkGhcInternalModule "GHC.Internal.Base" #elif MIN_VERSION_ghc(9,6,1)