haskell-effectful/effectful
1
1
Fork 0
mirror of https://github.com/haskell-effectful/effectful.git synced 2024-11-26 15:25:46 +03:00
Code Issues Projects Releases Wiki Activity

Generate wildcard type parameters (#200)

Browse Source 
* Generate wildcard type parameters

* add changelog item
This commit is contained in:
Jan Mas Rovira 2024-02-14 01:34:51 +01:00 committed by GitHub
parent 732314f5b8
commit 2037be9a4f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
effectful-th/CHANGELOG.md
View File

@ -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`.

2
effectful-th/src/Effectful/TH.hs
View File

@ -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