TBH I'd have expected INCOHERENT to cover OVERLAPPABLE, i.e. all bets are off and you've allowed anything including overlaps. On Mon, Nov 25, 2019 at 11:26 AM Domínguez, Facundo < facundo.dominguez@tweag.io> wrote:
Dear devs,
I have a program [1] which depends on the ability to specify some instances to be both overlappable and incoherent.
GHC so far, allows only one of the OVERLAPPABLE or INCOHERENT pragmas to be specified per instance. One can still have an overlappable and incoherent instance by using -XIncoherenInstances, but this extension is deprecated.
Is there any chance that a patch is accepted to allow multiple instance pragmas? And if not, what would the reason for this constraint?
Thanks, Facundo
[1] https://gist.github.com/facundominguez/2c0292bf6a721b450c46486ff3b71f24 _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
-- brandon s allbery kf8nh allbery.b@gmail.com