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 < [email protected]> 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 > [email protected] > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs > -- brandon s allbery kf8nh [email protected]
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
