[Haskell-cafe] Issues(Bugs?) with GHC Type Families
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
> 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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe