Path: utzoo!mnetor!uunet!husc6!umix!ames!ucbcad!ucbvax!AI.AI.MIT.EDU!JAR
From: JAR@AI.AI.MIT.EDU (Jonathan A Rees)
Newsgroups: comp.lang.scheme
Subject: Quasiquotation
Message-ID: <302612.871221.JAR@AI.AI.MIT.EDU>
Date: 22 Dec 87 01:31:47 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 19


    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.