[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


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