typelet 0.1.0.0 → 0.1.1.0

raw patch · 3 files changed

+10/−25 lines, 3 filesdep ~ghc-tcplugin-apiPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: ghc-tcplugin-api

API changes (from Hackage documentation)

Files

• CHANGELOG.md +4/−0
• src/TypeLet/Plugin/GhcTcPluginAPI.hs +3/−23
• typelet.cabal +3/−2

@@ -1,5 +1,9 @@ # Revision history for typelet +## 0.1.1.0 -- 2022-03-24++* Move to `ghc-tcplugin-api` 0.7+ ## 0.1.0.0 -- 2021-12-17   * First version.

@@ -7,9 +7,6 @@   , module GHC.Utils.Outputable      -- * Additional re-exports-    -- ** Type variables-  , TyVar-  , isSkolemTyVar     -- ** Substitutions   , TCvSubst   , Subst.substTy@@ -17,40 +14,23 @@   , Subst.zipTvSubst   , elemVarSet   , tyCoVarsOfType-    -- ** Location information-  , GenLocated(L)-    -- ** Errors-  , Panic.panic   ) where  import GHC.TcPlugin.API+import GHC.Utils.Outputable  #if MIN_VERSION_ghc(9,0,0)+ import GHC.Core.TyCo.FVs (tyCoVarsOfType) import GHC.Core.TyCo.Subst (TCvSubst)-import GHC.Tc.Utils.TcType (isSkolemTyVar)-import GHC.Types.SrcLoc (GenLocated(L))-import GHC.Types.Var (TyVar) import GHC.Types.Var.Set (elemVarSet)  import qualified GHC.Core.TyCo.Subst as Subst-#endif -#if MIN_VERSION_ghc(9,2,0)-import GHC.Utils.Outputable-import qualified GHC.Utils.Panic as Panic #else--- for ghc < 9.0, needs ghc-tcplugin-api's re-export of GHC.Utils.Outputable-import GHC.Utils.Outputable hiding (panic)-import qualified GHC.Utils.Outputable as Panic-#endif -#if !MIN_VERSION_ghc(9,0,0)--import SrcLoc (GenLocated(L))-import Type (TyVar) import VarSet (elemVarSet)-import TcType (TCvSubst, tyCoVarsOfType, isSkolemTyVar)+import TcType (TCvSubst, tyCoVarsOfType)  import qualified TcType as Subst 

@@ -1,7 +1,7 @@ cabal-version:      2.4 build-type:         Custom name:               typelet-version:            0.1.0.0+version:            0.1.1.0 synopsis:           Plugin to faciliate type-level let description:        For a certain class of programs, type-level let is essential                     in order to be able to write these programs in such a way@@ -17,6 +17,7 @@ copyright:          Well-Typed LLP, Juspay Technologies Pvt Ltd category:           Plugin extra-source-files: CHANGELOG.md+tested-with:        GHC ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.2  source-repository head   type:     git@@ -39,7 +40,7 @@         TypeLet.Plugin.Substitution     build-depends:         base >= 4.13 && < 4.17-      , ghc-tcplugin-api >= 0.6 && < 0.7+      , ghc-tcplugin-api >= 0.7 && < 0.8          -- whichever versions are bundled with ghc:       , containers