Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!samsung!think!ames!zodiac!doug From: doug@zodiac.ADS.COM (Doug Morgan) Newsgroups: comp.lang.lisp Subject: Re: PLet Message-ID: Date: 4 Dec 89 17:33:30 GMT References: <509@cs.columbia.edu> Sender: news@zodiac.ADS.COM Organization: Advanced Decision Systems Lines: 10 In-reply-to: mkamer@cs.columbia.edu's message of 29 Nov 89 02:38:21 GMT > ((NOT (AND body (ListP sexp) (EQL (FIRST sexp) 'DECLARE))) Since declare's can come from macro expansions, hadn't sexp better be expanded (if a macro) before the (eql ... 'declare) test. Also, if expanded, it has to be taken out of body to eliminate unexpected multiple expansions. doug