From: Frode Vatvedt Fjeld
Subject: (let () form)
Date: 
Message-ID: <2h7ko4heo1.fsf@vserver.cs.uit.no>
CLHS, for example in the entry for Macro AND, notes that:

  (and form) ==  (let () form)
  (and form1 form2 ...) ==  (when form1 (and form2 ...))

I'm curious why the first line says (let () form) rather than just
form. Are the two not the same (disregarding issues with
declarations)?

Thanks,
-- 
Frode Vatvedt Fjeld
From: Kent M Pitman
Subject: Re: (let () form)
Date: 
Message-ID: <sfwhen8ptl5.fsf@shell01.TheWorld.com>
Frode Vatvedt Fjeld <······@acm.org> writes:

> CLHS, for example in the entry for Macro AND, notes that:
> 
>   (and form) ==  (let () form)
>   (and form1 form2 ...) ==  (when form1 (and form2 ...))
> 
> I'm curious why the first line says (let () form) rather than just
> form. Are the two not the same (disregarding issues with
> declarations)?

Probably an artifact of some earlier rendering in terms of LET for the
other clauses. ... or something to make it easier to compare to OR.
From: Martin Simmons
Subject: Re: (let () form)
Date: 
Message-ID: <3c9b8525$0$231$ed9e5944@reading.news.pipex.net>
"Kent M Pitman" <······@world.std.com> wrote in message
····················@shell01.TheWorld.com...
> Frode Vatvedt Fjeld <······@acm.org> writes:
>
> > CLHS, for example in the entry for Macro AND, notes that:
> >
> >   (and form) ==  (let () form)
> >   (and form1 form2 ...) ==  (when form1 (and form2 ...))
> >
> > I'm curious why the first line says (let () form) rather than just
> > form. Are the two not the same (disregarding issues with
> > declarations)?
>
> Probably an artifact of some earlier rendering in terms of LET for the
> other clauses. ... or something to make it easier to compare to OR.

Or maybe to make it clear that form will not be a top level form, even if the
AND is?
--
Martin Simmons, Xanalys Software Tools
······@xanalys.com
rot13 to reply
comp.lang.lisp / 2002 / mar