Hello,

    It seems to me that there is an error in the formal definition of
"let*-values", p. 70. The first clause reads:

((let*-values () body0 body1 ...) (begin body0 body1...))

that is, "define" occuring inside the body would introduce variables
visible outside of "let*-values"...

    As for "let*" and other let-like macros, this clause should be:

((let*-values () body0 body1 ...) (let () body0 body1 ...))

shouldn't it?

    Yours sincerely,

J.-M. Hufflen

----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.

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