Am Freitag, 3. Oktober 2003, 10:22 schrieb Kenny:
> [...]
> But how about
> instance C (AND (OR r1 r2) (OR r1 r2)) (OR r1 r2)
> --[1]
>
> instance ( C (AND r1 r3) r5
>, C (AND r2 r4) r6
>) => C (AND (OR r1 r2) (OR r3 r4)) (OR r5 r6) --[2]
>
> GHC allows this with -fallow-overlappin
e specific than [2] or the
other way round?
I am confused.
-Kenny
--- H X <[EMAIL PROTECTED]> wrote: > Date: Mon,
29 Sep 2003 13:10:25 +0800 (CST)
> From: H X <[EMAIL PROTECTED]>
> Subject: GHC allow-overlapping-instances
> To: [EMAIL PROTECTED]
>
> Hi,
>
>
Hi,
Does anyone have ever used this option?
I see no difference when I present this program to ghc
with -fallow-overlapping-instances on/off:
module Test where
data T = T
data F = F
data OR a b = OR a b
data AND a b = AND a b
class C a b | a -> b
instance C (OR T r) T
instance C (OR r T) T
