From 2037be9a4f4e8f8fd280d9359b1bc7feff9b29b9 Mon Sep 17 00:00:00 2001 From: Jan Mas Rovira Date: Wed, 14 Feb 2024 01:34:51 +0100 Subject: [PATCH] Generate wildcard type parameters (#200) * Generate wildcard type parameters * add changelog item --- effectful-th/CHANGELOG.md | 1 + effectful-th/src/Effectful/TH.hs | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/effectful-th/CHANGELOG.md b/effectful-th/CHANGELOG.md index 4fa714e..42931bc 100644 --- a/effectful-th/CHANGELOG.md +++ b/effectful-th/CHANGELOG.md @@ -1,5 +1,6 @@ # effectful-th-1.0.0.2 (2024-??-??) * Drop support for GHC 8.8. +* `makeEffect` no longer generates `Wunused-type-patterns` warning ([#200](https://github.com/haskell-effectful/effectful/pull/200)). # effectful-th-1.0.0.1 (2023-01-13) * Depend on `effectful-core`, not `effectful`. diff --git a/effectful-th/src/Effectful/TH.hs b/effectful-th/src/Effectful/TH.hs index 644c4b8..b663f50 100644 --- a/effectful-th/src/Effectful/TH.hs +++ b/effectful-th/src/Effectful/TH.hs @@ -76,7 +76,7 @@ makeEffectImpl makeSig effName = do checkRequiredExtensions info <- reifyDatatype effName dispatch <- do - e <- getEff (ConT $ datatypeName info) (datatypeInstTypes info) + e <- getEff (ConT $ datatypeName info) (const WildCardT <$> datatypeInstTypes info) let dispatchE = ConT ''DispatchOf `AppT` e dynamic = PromotedT 'Dynamic pure . TySynInstD $ TySynEqn Nothing dispatchE dynamic