[Ecls-list] patch for additional clhs compliance

Geo Carncross geocar at gmail.com
Tue Apr 1 17:44:03 UTC 2008


On Tue, Apr 1, 2008 at 1:12 PM, Eric Marsden <eric.marsden at free.fr> wrote:
> >>>>> "jjg" == Juan Jose Garcia-Ripoll <jjgarcia at users.sourceforge.net> writes:
>
>   gg> prog2 evaluates first-form, then second-form, and then forms, yielding
>   gg> as its only value the primary value yielded by first-form.
>
>   jjg> This must be a typo. If you look at the notes at the bottom of the
>   jjg> specification (http://www.lisp.org/HyperSpec/Body/mac_prog1cm_prog2.html)
>   jjg> you will notice this:
>   jjg>
>   jjg> (prog1 form*) ==  (values (multiple-value-prog1 form*))
>   jjg> (prog2 form1 form*) ==  (let () form1 (prog1 form*))
>   jjg>
>   jjg> Hence, PROG2 returns the primary value of the _second_ form.
>
>   Indeed, this is a known "bug" in CLtS. See
>
>      http://www.cliki.net/Issue%20PROG2-RETURN-VALUE

Well *I* certainly thought it was funny, and IRC agreed with me late
last night :)




More information about the ecl-devel mailing list