Next Contents

A.1   General rules

The syntax used in quotations use the revised concrete syntax (chapter 5) with a system of ``antiquotations'' to insert expressions or patterns of the language in the concrete syntax, to make all possible values of the syntax tree nodes. These antiquotations have the format:
antiquotation ::= $ { name : } string $
name ::= identifier
where string is any sequence of characters not holding any $.


Next Contents