This has been reported: https://ghc.haskell.org/trac/ghc/ticket/8338
But it's really not clear what the solution is!
Richard
On Aug 11, 2014, at 9:27 PM, Iavor Diatchki wrote:
> Hello,
>
> this is clearly a bug in GHC: where `B` and `C` are imported, there should
> have been an error, sayin
Hello,
this is clearly a bug in GHC: where `B` and `C` are imported, there should
have been an error, saying that there is a duplicate instance of `Foo Int`.
If there is no ticket for this already, could you please add one?
-Iavor
On Mon, Aug 11, 2014 at 12:35 PM, Dan Doel wrote:
> On M
On Mon, Aug 11, 2014 at 11:36 AM, Twan van Laarhoven
wrote:
> To me, perhaps naively, IncoherentInstances is way more scary than
> OverlappingInstances.
>
It might be a bit naive. Most things that incoherent instances would allow
are allowed with overlapping instances so long as you partition y
To me, perhaps naively, IncoherentInstances is way more scary than
OverlappingInstances.
What behavior do these new pragmas have? In particular, will it be an error if
there is no single most specific instance? And can the user decide whether it is
an error?
Twan
On 29/07/14 11:11, Simon Pe
