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.