Re: intro material

[Gregor J. Kiczales <gregor@parc.xerox.com>]

    Date: Wed, 9 May 90 13:06 EDT
    From: Moon@STONY-BROOK.SCRC.Symbolics.COM,
	    Cyphers@STONY-BROOK.SCRC.Symbolics.COM

Thanks for getting comments back so quickly.

This is not a complete response to your message.  I am only responding
to fix a glaring editing I made which you pointed out.  I wanted other
people to have this fix before they sent their comments later today :-)
     

         ... TeX source for definitions of override and shadow ... 

    Also, these descriptions cannot be complete since they say nothing about
    the methods' parameter specializers.

The glory of text editors is that I was able to make the same mistake
consistently.  In each definition, insert the clause:

   "and for that set of arguments M2 is more specific than M1;"

so, the definitions should be:

\item{\bull} For a given set of arguments, a method $M\sub{2}$ {\bit
shadows} a method $M\sub{1}$ if and only if $M\sub{1}$ and $M\sub{2}$
are both associated with the same generic function; and either
$M\sub{1}$ and $M\sub{2}$ are both primary methods or $M\sub{1}$ and
$M\sub{2}$ are both {\bf :around} methods or $M\sub{2}$ is an {\bf
:around} method and $M\sub{1}$ is a primary method; and for that set of
arguments $M\sub{2}$ is more specific than $M\sub{1}$; and when
$M\sub{2}$ is invoked, {\bf call-next-method} is called from within its
body.

\item{\bull} For a given set of arguments, a method $M\sub{2}$ {\bit
overrides} a method $M\sub{1}$ if and only if $M\sub{1}$ and $M\sub{2}$
are both associated with the same generic function; and either
$M\sub{1}$ and $M\sub{2}$ are both primary methods or $M\sub{1}$ and
$M\sub{2}$ are both {\bf :around} methods or $M\sub{2}$ is an {\bf
:around} method and $M\sub{1}$ is a primary method; and for that set of
arguments $M\sub{2}$ is more specific than $M\sub{1}$; and when
$M\sub{2}$ is invoked, {\bf call-next-method} is not called from within
its body.