diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2021-07-17 15:25:24 -0700 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2021-07-17 15:25:24 -0700 |
| commit | 85f6cb8e769fa9bb4e90dcf93c02b061401f1ad1 (patch) | |
| tree | 0b4f9a45ecaace06e593dd00c17031c27447b69a /grammars | |
| parent | ad85fb1da590f988cb64f270cf2239c06405b2a7 (diff) | |
Performance optimization for common case where pattern starts with
string
Diffstat (limited to 'grammars')
| -rw-r--r-- | grammars/html.bp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/grammars/html.bp b/grammars/html.bp index 457a183..29e4566 100644 --- a/grammars/html.bp +++ b/grammars/html.bp @@ -14,9 +14,9 @@ void-element: `< ("area"/"base"/"br"/"col"/"embed"/"hr"/"img"/"input"/"link"/"me template-element: "<template>" ..%(\n / comment / element) "</template>" -raw-element: `< @tag=("script"/"style"/"textarea"/"title") __attributes__ `> ..%\n ("</"tag__`>) +raw-element: `< @tag=("script"/"style"/"textarea"/"title") __attributes__ `> ..%\n "</"tag__`> -normal-element: `< @tag=id __attributes__ `> ..%(\n / comment / element) ("</"tag`>) +normal-element: `< @tag=id __attributes__ `> ..%(\n / comment / element) "</"tag__`> comment: "<!--" ..%\n "-->" |