diff options
| author |   Ingo Schwarze <schwarze@openbsd.org> | 2022-06-05 13:54:09 +0000 |
|---|---|---|
| committer | Ingo Schwarze <schwarze@openbsd.org> | 2022-06-05 13:54:09 +0000 |
| commit | 3a43ce11ac1aec9b2c00d7c5f966919b71f5eda7 (patch) | |
| tree | f1c2dbb9cb9eabff8877de71fea198ced3487b5e /regress/char/unicode/input.out_lint | |
| parent | 2e4490e7023dd483d992df8eb6f75860fd445fe4 (diff) | |
| download | mandoc-3a43ce11ac1aec9b2c00d7c5f966919b71f5eda7.tar.gz mandoc-3a43ce11ac1aec9b2c00d7c5f966919b71f5eda7.tar.zst mandoc-3a43ce11ac1aec9b2c00d7c5f966919b71f5eda7.zip | |
With the improved escape sequence parser, it becomes easy to also improve
diagnostics. Distinguish "incomplete escape sequence", "invalid special
character", and "unknown special character" from the generic "invalid
escape sequence", also promoting them from WARNING to ERROR because
incomplete escape sequences are severe syntax violations and because
encountering an invalid or unknown special character makes it likely
that part of the document content intended by the authors gets lost.
Diffstat (limited to 'regress/char/unicode/input.out_lint')
| -rw-r--r-- | regress/char/unicode/input.out_lint | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/regress/char/unicode/input.out_lint b/regress/char/unicode/input.out_lint index 578a7704..fa36f876 100644 --- a/regress/char/unicode/input.out_lint +++ b/regress/char/unicode/input.out_lint @@ -24,11 +24,11 @@ mandoc: input.in:35:19: ERROR: skipping bad character: 0xbf mandoc: input.in:42:25: ERROR: skipping bad character: 0xed mandoc: input.in:42:26: ERROR: skipping bad character: 0xa0 mandoc: input.in:42:27: ERROR: skipping bad character: 0x80 -mandoc: input.in:42:17: WARNING: invalid escape sequence: \[uD800] +mandoc: input.in:42:17: ERROR: invalid special character: \[uD800] mandoc: input.in:43:25: ERROR: skipping bad character: 0xed mandoc: input.in:43:26: ERROR: skipping bad character: 0xbf mandoc: input.in:43:27: ERROR: skipping bad character: 0xbf -mandoc: input.in:43:17: WARNING: invalid escape sequence: \[uDFFF] +mandoc: input.in:43:17: ERROR: invalid special character: \[uDFFF] mandoc: input.in:53:19: ERROR: skipping bad character: 0xf0 mandoc: input.in:53:20: ERROR: skipping bad character: 0x80 mandoc: input.in:53:21: ERROR: skipping bad character: 0x80 @@ -57,25 +57,25 @@ mandoc: input.in:67:31: ERROR: skipping bad character: 0xf4 mandoc: input.in:67:32: ERROR: skipping bad character: 0x90 mandoc: input.in:67:33: ERROR: skipping bad character: 0x80 mandoc: input.in:67:34: ERROR: skipping bad character: 0x80 -mandoc: input.in:67:21: WARNING: invalid escape sequence: \[u110000] +mandoc: input.in:67:21: ERROR: invalid special character: \[u110000] mandoc: input.in:68:31: ERROR: skipping bad character: 0xf4 mandoc: input.in:68:32: ERROR: skipping bad character: 0xbf mandoc: input.in:68:33: ERROR: skipping bad character: 0xbf mandoc: input.in:68:34: ERROR: skipping bad character: 0xbf -mandoc: input.in:68:21: WARNING: invalid escape sequence: \[u13FFFF] +mandoc: input.in:68:21: ERROR: invalid special character: \[u13FFFF] mandoc: input.in:69:31: ERROR: skipping bad character: 0xf5 mandoc: input.in:69:32: ERROR: skipping bad character: 0x80 mandoc: input.in:69:33: ERROR: skipping bad character: 0x80 mandoc: input.in:69:34: ERROR: skipping bad character: 0x80 -mandoc: input.in:69:21: WARNING: invalid escape sequence: \[u140000] +mandoc: input.in:69:21: ERROR: invalid special character: \[u140000] mandoc: input.in:70:31: ERROR: skipping bad character: 0xf7 mandoc: input.in:70:32: ERROR: skipping bad character: 0xbf mandoc: input.in:70:33: ERROR: skipping bad character: 0xbf mandoc: input.in:70:34: ERROR: skipping bad character: 0xbf -mandoc: input.in:70:21: WARNING: invalid escape sequence: \[u1FFFFF] +mandoc: input.in:70:21: ERROR: invalid special character: \[u1FFFFF] mandoc: input.in:71:33: ERROR: skipping bad character: 0xf8 mandoc: input.in:71:34: ERROR: skipping bad character: 0x88 mandoc: input.in:71:35: ERROR: skipping bad character: 0x80 mandoc: input.in:71:36: ERROR: skipping bad character: 0x80 mandoc: input.in:71:37: ERROR: skipping bad character: 0x80 -mandoc: input.in:71:23: WARNING: invalid escape sequence: \[u200000] +mandoc: input.in:71:23: ERROR: invalid special character: \[u200000] |