Thu Jul 3 12:25:40 PDT 2008 Ian Lynagh <[EMAIL PROTECTED]>
* Fix trac #2307: conflicting functional dependencies
We were accepting some instances that should have been rejected as
their fundep constraints were violated. e.g. we accepted
class C a b c | b -> c
instance C Bool Int Float
instance C Char Int Double
M ./compiler/types/FunDeps.lhs -6 +6
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080703192540-3fd76-f08e45a328a4706e03351611c35519e7e88599bf.gz
_______________________________________________
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
