-
Ian Lynagh authored
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
37cc35d2
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