diff options
| author | notin | 2008-02-18 11:24:59 +0000 |
|---|---|---|
| committer | notin | 2008-02-18 11:24:59 +0000 |
| commit | b4d172b798c6fc96de3bff55c0bdf444905bb6d7 (patch) | |
| tree | f24f5052b85a824c50afeec02999c6af31e9af87 | |
| parent | d92ca6d672abe32b5e590fb27fe85993af606419 (diff) | |
Ajout de caractères unicode reconnus apr le lexer
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10574 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | parsing/lexer.ml4 | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/parsing/lexer.ml4 b/parsing/lexer.ml4 index a711bb85a9..3354971f9b 100644 --- a/parsing/lexer.ml4 +++ b/parsing/lexer.ml4 @@ -209,6 +209,14 @@ let lookup_utf8_tail c cs = | x when 0x2900 <= x & x <= 0x297F -> Utf8Symbol (* utf-8 mathematical operators U2A00-2AFF *) | x when 0x2A00 <= x & x <= 0x2AFF -> Utf8Symbol + (* utf-8 bold symbols U2768-U2775 *) + | x when 0x2768 <= x & x <= 0x2775 -> Utf8Symbol + (* utf-8 arrows and brackets U27E0-U27FF *) + | x when 0x27E0 <= x & x <= 0x27FF -> Utf8Symbol + (* utf-8 brackets, braces and parentheses *) + | x when 0x2980 <= x & x <= 0x299F -> Utf8Symbol + (* utf-8 miscellaneous including double-plus U29F0-U29FF *) + | x when 0x29F0 <= x & x <= 0x29FF -> Utf8Symbol | _ -> error_unsupported_unicode_character n cs end | _ -> |