From b4d172b798c6fc96de3bff55c0bdf444905bb6d7 Mon Sep 17 00:00:00 2001
From: notin
Date: Mon, 18 Feb 2008 11:24:59 +0000
Subject: 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
---
 parsing/lexer.ml4 | 8 ++++++++
 1 file changed, 8 insertions(+)

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
     | _ ->
-- 
cgit v1.2.3