diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-10-04 22:00:19 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-10-05 08:36:50 +0200 |
| commit | 526791d917f9b0804376eae02a462a3b32dd7cba (patch) | |
| tree | d9ad17bf4c1e287627acc3183bdbabf88b49438c /lib/xml_datatype.mli | |
| parent | 9a2bb3a6d12a082c61dfda62be53c195fe3cb57c (diff) | |
Distinguishing pseudo-letters out of the set of unicode letters.
This includes _ and insecable space which can be used in idents and
this allows more precise heuristics.
Diffstat (limited to 'lib/xml_datatype.mli')
0 files changed, 0 insertions, 0 deletions