14 Apr
2016
14 Apr
'16
2:12 p.m.
Iavor Diatchki
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