I previously wrote:
The typechecker commits to the instance
and adds to the current constraints
TypeCast x Int, Ord Bool, Eq Bool
The latter two are obviously satisfied and so discharged. The former
leads to the substitution {x-Int}.
I should have been more precise and said:
On 9/27/06, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote:
This message is intended as a long answer to Michael Shulman's
question (Re: variadic functions and typeCast) and Jason Dagit's
question (Re: Duplicate Instance problem). Incidentally, the short
answer to Jason Dagit's question is
Thank you Oleg! That explanation is very clear.
On 9/28/06, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote:
The typechecker commits to the instance
and adds to the current constraints
TypeCast x Int, Ord Bool, Eq Bool
The latter two are obviously satisfied and so discharged. The former
