A.3 Quotation patt
Syntax tree nodes for language patterns, of type
Ast.patt. The basic nodes are:
-
<:patt< $p1$ . $p2$ >>: access in module.
-
<:patt< $anti:e$ >>: location node for Ast antiquotations
(temporary node).
-
<:patt< ( $p1$ as $p2$ ) >>: alias.
-
<:patt< _ >>: wildcard.
-
<:patt< $p1$ $p2$ >>: application.
-
<:patt< $chr:c$ >>: character constant.
-
<:patt< $int:s$ >>: integer constant.
-
<:patt< $lid:i$ >>: identifier starting with a
lowercase letter.
-
<:patt< $p1$ | $p2$ >>: ``or'' pattern.
-
<:patt< $p1$ .. $p2$ >>: range.
-
<:patt< { $ppl$ } >>: record.
-
<:patt< $str:s$ >>: string constant.
-
<:patt< ( $list:pl$ ) >>: tuple.
-
<:patt< ( $p$ : $t$ ) >>: type constraint.
-
<:patt< $uid:s$ >>: identifier starting with an
uppercase letter.