diff options
| author | letouzey | 2012-12-11 07:46:08 +0000 |
|---|---|---|
| committer | letouzey | 2012-12-11 07:46:08 +0000 |
| commit | 9cdd77d5774e9a73563c4d4870ea2de8225353d9 (patch) | |
| tree | e3dea01f467ec7b9f62587c53f069961884c14c6 /dev/tools | |
| parent | b0ab21a5a94b09170ff60cd4a405afa5287d7867 (diff) | |
Coq_lex: direct accounting of utf8 extra bytes in offsets
We directly produce in Coq_lex a utf8 char offset instead of
a byte offset, by counting the utf8 extra byte during the lexing.
This way, no need anymore for converting later with complex
byte_offset_to_char_offset.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16059 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/tools')
0 files changed, 0 insertions, 0 deletions