From ebcee1bf76fe47efc93efc7d7cbd5371db3bb368 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 28 Aug 2014 11:41:37 +0200
Subject: Fixing bug #3541.

All superscript numbers are now symbols instead of parts of identifiers.
This disallows some identifiers, but hopefully not a lot of people were
using superscripts as part of identifiers, weren't they?
---
 lib/unicode.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/lib/unicode.ml b/lib/unicode.ml
index f26af10141..0764531c1a 100644
--- a/lib/unicode.ml
+++ b/lib/unicode.ml
@@ -102,7 +102,10 @@ let classify =
     (* Exceptions (from a previous version of this function).           *)
     mk_lookup_table_from_unicode_tables_for Symbol
       [
-        single 0x000B2;            (* Squared.                          *)
+        [(0x000B2, 0x000B3)];      (* Superscript 2-3.                  *)
+        single 0x000B9;            (* Superscript 1.                    *)
+        single 0x02070;            (* Superscript 0.                    *)
+        [(0x02074, 0x02079)];      (* Superscript 4-9.                  *)
         single 0x0002E;            (* Dot.                              *)
       ];
     mk_lookup_table_from_unicode_tables_for Letter
-- 
cgit v1.2.3