I agree -- I think INCOHERENT essentially subsumes the others. Do you have a counter-example?
Richard > On Nov 25, 2019, at 4:28 PM, Brandon Allbery <[email protected]> wrote: > > 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] <mailto:[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 > <https://gist.github.com/facundominguez/2c0292bf6a721b450c46486ff3b71f24>_______________________________________________ > ghc-devs mailing list > [email protected] <mailto:[email protected]> > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs > <http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs> > > > -- > brandon s allbery kf8nh > [email protected] > <mailto:[email protected]>_______________________________________________ > ghc-devs mailing list > [email protected] > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
