On 1/9/08, Jorge Marques Pelizzoni <[EMAIL PROTECTED]> wrote:
> Given two type classes A t and B t, I'd like the typechecker to derive
> different A t instances depending exactly on whether t is an instance of
> B.
I think this would require some kind of whole-program analysis. While
Haskell provides assertions that t is an instance of B (B t), it does
*not* provide assertions that t is not an instance of B. This is
because an instance of B can be declared by other modules at a later
point (e.g. by someone who imports your module).
--
Taral <[EMAIL PROTECTED]>
"Please let me know if there's any further trouble I can give you."
-- Unknown
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
