GHC 8 and Template Haskell

Ben Gamari ben at
Thu Apr 14 18:12:34 UTC 2016

Iavor Diatchki <iavor.diatchki at> writes:

> Hello,
> Now that "OVERLAPPING" and "OVERLAPPABLE" are pragmas on the instances, do
> we have a way to generate instances with such pragmas using Template
> Haskell?   I can't seem to find a way to do this, which is unfortunate.
> If I am not missing anything, would there be objections to adding it to the
> TH library before the next release---I would volunteer to do the change
Indeed this is an unfortunate gap. Given that this shouldn't be a
terribly invasive change I would be alright with this if Richard approves.


- Ben

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 472 bytes
Desc: not available
URL: <>

More information about the ghc-devs mailing list