[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
eql specializers
- To: CommonLoops.pa@Xerox.COM
- Subject: eql specializers
- From: rich@linus.MITRE.ORG
- Date: Fri, 26 May 89 17:08:28 EDT
- Cc: pc@linus.MITRE.ORG
- Posted-date: Fri, 26 May 89 17:08:28 EDT
- Posted-from: The MITRE Corp., Bedford, MA
- Redistributed: commonloops.pa
- Reply-to: <Owners-commonloops.pa@Xerox.COM>
They don't seem to work at all in Victoria Day PCL.
If you type:
(DEFMETHOD FOO ((X (EQL :X)) XXX) NIL)
you get into an infinite loop. It seems that when it is invalidating
methods it will want to do the same for every superior class. This
means the class T. Since FOO is also a direct method of T it will try
to invalidate FOO again. I think this was supposed to be avoided
because FOO should already have been invalidated and put on the list
*umi-gfs*. However, you call UPDATE-CLASS again, which nils out the
global *umi-gfs*, therefore an infinite loop....
Rich
-------------------------------------------------------------------------
uucp: linus!rich
arpa: rich@mitre.org