Rename DotDotPat -> RestPat

This commit is contained in:
Aleksey Kladov 2020-07-31 21:45:29 +02:00
parent 215b9b9ccc
commit 22d295ceaa
14 changed files with 55 additions and 55 deletions

View file

@ -128,7 +128,7 @@ pub(crate) const KINDS_SRC: KindsSrc = KindsSrc {
"BOX_PAT",
"IDENT_PAT",
"WILDCARD_PAT",
"DOT_DOT_PAT",
"REST_PAT",
"PATH_PAT",
"RECORD_PAT",
"RECORD_PAT_FIELD_LIST",

View file

@ -498,7 +498,7 @@ TypeBound =
Pat =
IdentPat
| BoxPat
| DotDotPat
| RestPat
| LiteralPat
| MacroPat
| OrPat
@ -560,7 +560,7 @@ OrPat =
BoxPat =
'box' Pat
DotDotPat =
RestPat =
'..'
MacroPat =