just overlap I think | -----Original Message----- | From: Tomasz Zielonka [mailto:t.zielonka@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