[comp.lang.scheme] Quasiquotation

Pavel.pa@XEROX.COM (12/22/87)

In the Revised^3 Report, the grammar for quasiquotation expressions contains the
following production:

		<list template D> ::= '<quasiquotation D>

Shouldn't this be

		<list template D> ::= '<template D>

If not, why not?  Also, why is there not a formal description of the semantics
of quasiquotation?  I expected to find a precise definition in the section
giving the meanings of the other derived expression types, but there's nothing
there.

	Pavel

JAR@AI.AI.MIT.EDU (Jonathan A Rees) (12/22/87)

    Date: Mon, 21 Dec 87 09:44:58 PST
    From: Pavel.pa at Xerox.COM

    		<list template D> ::= '<quasiquotation D>
    Shouldn't this be
    		<list template D> ::= '<template D>

Yes, of course.  Thanks for pointing this out.

    Also, why is there not a formal description of the semantics of
    quasiquotation?  I expected to find a precise definition in the
    section giving the meanings of the other derived expression types,
    but there's nothing there.

It was omitted because no one got around to writing it.  Steele's
description in Common Lisp: The Language comes close, but doesn't
explicitly deal with nesting.  I'll make an attempt before the next
revision comes out.