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

[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.


hugo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20080307/53cfdb1a/attachment.htm