From 747ed0c81d6fe60d876192c183c6caea56f01559 Mon Sep 17 00:00:00 2001 From: Michael Dyck Date: Wed, 21 Aug 2019 16:08:32 -0400 Subject: [PATCH] Editorial: Merge PatternCharacter + ExtendedPatternCharacter --- spec.html | 18 ++++-------------- 1 file changed, 4 insertions(+), 14 deletions(-) diff --git a/spec.html b/spec.html index 9278cce8e9a..42624abcd63 100644 --- a/spec.html +++ b/spec.html @@ -30331,19 +30331,16 @@

Patterns

`(` GroupSpecifier[?U] Disjunction[?U, ?N] `)` `(` `?` `:` Disjunction[?U, ?N] `)` [~U] InvalidBracedQuantifier - [+U] PatternCharacter - [~U] ExtendedPatternCharacter + PatternCharacter[?U] InvalidBracedQuantifier :: `{` DecimalDigits[~Sep] `}` `{` DecimalDigits[~Sep] `,` `}` `{` DecimalDigits[~Sep] `,` DecimalDigits[~Sep] `}` - ExtendedPatternCharacter :: - SourceCharacter but not one of `^` `$` `\` `.` `*` `+` `?` `(` `)` `[` `|` - - PatternCharacter :: - SourceCharacter but not SyntaxCharacter + PatternCharacter[U] :: + [+U] SourceCharacter but not SyntaxCharacter + [~U] SourceCharacter but not one of `^` `$` `\` `.` `*` `+` `?` `(` `)` `[` `|` SyntaxCharacter :: one of `^` `$` `\` `.` `*` `+` `?` `(` `)` `[` `]` `{` `}` `|` @@ -31365,12 +31362,6 @@

Atom

1. Return the Matcher that is the result of evaluating |Disjunction| with argument _direction_. -

The production Atom ::! ExtendedPatternCharacter evaluates as follows:

- - 1. Let _ch_ be the character represented by |ExtendedPatternCharacter|. - 1. Let _A_ be a one-element CharSet containing the character _ch_. - 1. Return ! CharacterSetMatcher(_A_, *false*, _direction_). -

The production Atom ::! PatternCharacter evaluates as follows:

1. Let _ch_ be the character matched by |PatternCharacter|. @@ -41802,7 +41793,6 @@

Regular Expressions

-