[Scheme-reports] Erratum for letrec* definition John Cowan (30 Nov 2013 07:59 UTC)

[Scheme-reports] Erratum for letrec* definition John Cowan 30 Nov 2013 05:47 UTC

I've added the following erratum to the list at
<http://trac.sacrideo.us/wg/wiki/R7RSSmallErrata>:

    The semantics of letrec* should say that evaluation of the <init>s
    is interleaved with assignment to the <variable>s. As written,
    it could be understood as allowing the <init>s to be evaluated
    first in left-to-right order and then assigned to the <variable>s
    in left-to-right order.

Not interleaving the assignments would make letrec* fairly useless.

Any objections?

--
John Cowan  cowan@ccil.org   http://ccil.org/~cowan
Assent may be registered by a signature, a handshake, or a click of a computer
mouse transmitted across the invisible ether of the Internet. Formality
is not a requisite; any sign, symbol or action, or even willful inaction,
as long as it is unequivocally referable to the promise, may create a contract.
       --Specht v. Netscape

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports