Lazy type-class resolution

[Simon Peyton-Jones]

just overlap I think

| -----Original Message-----
| From: Tomasz Zielonka [mailto:t.zielonka at students.mimuw.edu.pl]
| Sent: 13 August 2004 11:50
| To: Simon Peyton-Jones
| Cc: GHC-users
| Subject: Re: Lazy type-class resolution
| 
| 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