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.