with:

>{-# OPTIONS -fglasgow-exts  -fallow-undecidable-instances  #-}

>class A a
>class R a

>class S a

>instance  R a => A a
>instance S a => A a
----------

GHC gives

*Duplicate instance declarations*
*  instance  R a => A a *
*  instance S a => A a *
**
*Why?*
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to