Re: overlapping instances

[Carl R. Witty]

"Jeffrey R. Lewis" <[EMAIL PROTECTED]> writes:

> Marcin 'Qrczak' Kowalczyk wrote:
> > Parts of context reduction must be deferred, contexts must be left
> > more complex, which as I understand leads to worse code - only to
> > make overlapping instances behave consistently, even where they are
> > not actually used.
...
> When you say:  `even where they are not actually used', I'm not sure what you
> mean.  The deferred reduction only happens on classes with overlap.  Classes
> without overlap will be `eagerly' reduced.

How can that work?  Given separate compilation, you don't know whether
a class has overlapping instances or not, do you?

Carl Witty
[EMAIL PROTECTED]