[Haskell-cafe] typeclass constraint question
jeff.polakow at db.com
Thu Dec 14 09:54:01 EST 2006
I'm trying to understand what happens when a typeclass constraint with an
uninstantiated type variable gets duplicated.
Does the type checker treat the separate copies of the constraint as two
constraints (with the same type variable) which are checked separately?
Or does the type checker only consider one constraint which is checked
(simultaneously) in different contexts?
Also does it matter if the constraints are on datatype, or even gadt,
constructors rather than functions?
This e-mail may contain confidential and/or privileged information. If you
are not the intended recipient (or have received this e-mail in error)
please notify the sender immediately and destroy this e-mail. Any
unauthorized copying, disclosure or distribution of the material in this
e-mail is strictly forbidden.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe