Sun, 06 Feb 2000 23:21:38 -0800, Jeffrey R. Lewis <[EMAIL PROTECTED]> pisze:
> If context reduction choses a more generic instance when a more
> specific one exists, then I consider that a bug.
<http://research.microsoft.com/users/simonpj/Papers/multi.ps.gz>
Section 4.4
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.
--
__("< Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
\__/ GCS/M d- s+:-- a22 C+++$ UL++>++++$ P+++ L++>++++$ E-
^^ W++ N+++ o? K? w(---) O? M- V? PS-- PE++ Y? PGP+ t
QRCZAK 5? X- R tv-- b+>++ DI D- G+ e>++++ h! r--%>++ y-
