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

Hugo Pacheco hpacheco at gmail.com
Thu Mar 6 20:37:01 EST 2008


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


More information about the Haskell-Cafe mailing list