[Haskell-cafe] Issues(Bugs?) with GHC Type Families

Manuel M T Chakravarty chak at cse.unsw.edu.au
Sun Mar 9 23:14:53 EDT 2008


Hugo Pacheco:
> >If the equality does not hold, you should get a type error because
> >your program is not type correct.  So, what is it that you would like
> >different?
>
> I would simply like the compiler not to use that instance if the  
> equality constraint does not hold, like some another instance  
> dependency constraint, but I assume that is not possible.

This is independent of type families.  The selection of type class  
instances does *never* dependent on the instance context, only on the  
instance head.  I know that this is sometimes annoying, but type  
checking would be a a lot more complicated/expensive without that rule.

Manuel



More information about the Haskell-Cafe mailing list