packages feed

typelet 0.1.6 → 0.1.7

raw patch · 7 files changed

+14/−29 lines, 7 filesdep ~basedep ~ghcdep ~ghc-tcplugin-api

Dependency ranges changed: base, ghc, ghc-tcplugin-api

Files

CHANGELOG.md view
@@ -1,5 +1,10 @@ # Revision history for typelet +## 0.1.7 -- 2026-05-20++* Support ghc 9.14+* Use ghc-tcplugin-api 0.19+ ## 0.1.6 -- 2025-07-19  * Relax bounds [together with Gabriele Sales]
src/TypeLet/Plugin.hs view
@@ -22,7 +22,8 @@                                tcPluginInit    = resolveNames                              , tcPluginSolve   = solve                              , tcPluginRewrite = \_st -> emptyUFM-                             , tcPluginStop    = \_st -> return ()+                             , tcPluginPostTc  = \_st -> return ()+                             , tcPluginShutdown = \_st -> return ()                              }     }
src/TypeLet/Plugin/Constraints.hs view
src/TypeLet/Plugin/GhcTcPluginAPI.hs view
@@ -8,8 +8,6 @@      -- * Additional re-exports     -- ** Substitutions-  , Subst -- opaque-  , Subst.substTy   , Subst.substTyWith   , Subst.zipTvSubst   , elemVarSet@@ -34,24 +32,5 @@ import qualified TcType as Subst  #endif--{--------------------------------------------------------------------------------  TCvSubst was renamed to Subst in ghc 9.6--------------------------------------------------------------------------------}--#if MIN_VERSION_ghc(9,6,0)-import GHC.Core.TyCo.Subst (Subst)-#elif MIN_VERSION_ghc(9,0,0)-import GHC.Core.TyCo.Subst (TCvSubst)-#else-import TcType (TCvSubst)-#endif--#if !MIN_VERSION_ghc(9,6,0)-type Subst = TCvSubst-#endif---  
src/TypeLet/Plugin/Substitution.hs view
src/TypeLet/UserAPI.hs view
@@ -236,5 +236,3 @@ constructLet :: forall f a. (forall b. Let b a => Proxy b -> f b) -> f a constructLet f = f Proxy --
typelet.cabal view
@@ -1,7 +1,7 @@ cabal-version:      2.4 build-type:         Simple name:               typelet-version:            0.1.6+version:            0.1.7 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@@ -18,12 +18,14 @@ category:           Plugin extra-doc-files:    CHANGELOG.md tested-with:        GHC ==8.10.7+                    GHC ==9.0.2                     GHC ==9.2.8                     GHC ==9.4.8                     GHC ==9.6.7                     GHC ==9.8.4                     GHC ==9.10.2                     GHC ==9.12.2+                    GHC ==9.14.1  source-repository head   type:     git@@ -40,10 +42,10 @@         TypeLet.Plugin.NameResolution         TypeLet.Plugin.Substitution     build-depends:-      , base             >= 4.14   && < 4.22-      , containers       >= 0.6    && < 0.9-      , ghc              >= 8.10   && < 9.13-      , ghc-tcplugin-api >= 0.16.1 && < 0.17+      , base             >= 4.14 && < 4.23+      , containers       >= 0.6  && < 0.9+      , ghc              >= 8.10 && < 9.15+      , ghc-tcplugin-api >= 0.19 && < 0.20     hs-source-dirs:         src     default-language: