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 wrote:
>
> TBH I'd have expected INCOHERENT to cover OVERLAPPABLE, i.e. all bets are off
> and you've allowed anything including overlaps.
>
>
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.doming...@tweag.io> wrote:
> Dear devs,
>
> I have a program [1] which depends on the ability to specify
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
Hi,
If anyone here knows about how -dynamic-too is implemented feedback in #17502
would be appreciated. As far as I can see it's unnecessarily inefficient
currently, and the code is very hard to follow, but it's possible that I'm
missing something, and it'd be good to know what before investing