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
Sorry for any multiple reception of this message,
Send an email with REMOVE on the subject
Cheers,
Pierfrancesco Bellini, Bernhard Steffen, Shawn Bohner
_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°
CALL FOR PAPERS
IEEE International Conference on
Engineering of Complex Comput
