[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