michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(util/name): accept more subscripts in identifiers

Browse source
This commit is contained in:
Sebastian Ullrich 2016-12-10 21:55:53 +01:00
parent d7320f4938
commit 3e3ce6b8ca
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/util/name.cpp
View file

@ -35,7 +35,8 @@ bool is_letter_like_unicode(unsigned u) {
bool is_sub_script_alnum_unicode(unsigned u) {
return
(0x207f <= u && u <= 0x2089) || // n superscript and numberic subscripts
(0x2090 <= u && u <= 0x209c); // letter-like subscripts
(0x2090 <= u && u <= 0x209c) || // letter-like subscripts
(0x1d62 <= u && u <= 0x1d6a); // letter-like subscripts
}
bool is_id_first(char const * begin, char const * end) {