GHC 8 and Template Haskell

Ben Gamari ben at well-typed.com
Thu Apr 14 18:12:34 UTC 2016


Iavor Diatchki <iavor.diatchki at gmail.com> 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
> ASAP.
>
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.

Cheers,

- Ben

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 472 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20160414/8db5c9b7/attachment.sig>


More information about the ghc-devs mailing list