typelet 0.1.4 → 0.1.5
raw patch · 3 files changed
+15/−7 lines, 3 filesdep ~basedep ~ghcdep ~ghc-tcplugin-api
Dependency ranges changed: base, ghc, ghc-tcplugin-api
Files
- CHANGELOG.md +4/−0
- src/TypeLet/Plugin.hs +1/−1
- typelet.cabal +10/−6
CHANGELOG.md view
@@ -1,5 +1,9 @@ # Revision history for typelet +## 0.1.5 -- 2025-03-11++* Use ghc-tcplugin-api 0.14 [Chan Siu Man]+ ## 0.1.4 -- 2024-05-30 * Support ghc 9.6 (and drop ghc <= 8.8)
src/TypeLet/Plugin.hs view
@@ -101,7 +101,7 @@ -> TcPluginM 'Solve ((EvTerm, Ct), Ct) solveEqual subst orig (L l parsed) = do ev <- newWanted' l $- mkPrimEqPredRole+ mkEqPredRole Nominal (substTy subst (equalLHS parsed)) (substTy subst (equalRHS parsed))
typelet.cabal view
@@ -1,7 +1,7 @@ cabal-version: 2.4 build-type: Simple name: typelet-version: 0.1.4+version: 0.1.5 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@@ -16,8 +16,12 @@ maintainer: edsko@well-typed.com copyright: Well-Typed LLP, Juspay Technologies Pvt Ltd category: Plugin-extra-source-files: CHANGELOG.md-tested-with: GHC ==8.10.7 || ==9.2.8 || ==9.4.8 || ==9.6.4+extra-doc-files: CHANGELOG.md+tested-with: GHC ==8.10.7+ GHC ==9.2.8+ GHC ==9.4.8+ GHC ==9.6.6+ GHC ==9.8.2 source-repository head type: git@@ -34,10 +38,10 @@ TypeLet.Plugin.NameResolution TypeLet.Plugin.Substitution build-depends:- , base >= 4.14 && < 4.19+ , base >= 4.14 && < 4.20 , containers >= 0.6 && < 0.7- , ghc >= 8.10 && < 9.7- , ghc-tcplugin-api >= 0.11 && < 0.12+ , ghc >= 8.10 && < 9.9+ , ghc-tcplugin-api >= 0.14 && < 0.15 hs-source-dirs: src default-language: