
13 Aug
2004
13 Aug
'04
10:50 a.m.
On Fri, Aug 13, 2004 at 09:03:53AM +0100, Simon Peyton-Jones wrote:
Yes, when *inferring* types GHC defers context reduction as long as possible. Reason: the call site of the function may "see" more instance declarations (e.g. in particular, overlapping ones), so doing reduction later may yield a different answer.
Thanks for explanation. Besides overlapping instances, what are the other mechanisms that could change the decision later? I can't think of any, are they only hypotetical? Best regards, Tom -- .signature: Too many levels of symbolic links