| Anonymous | Login | Signup for a new account | 2013-05-19 04:58 CEST | ![]() |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | |||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | |||
| 0004837 | OCaml | OCaml documentation | public | 2009-07-16 14:21 | 2011-05-31 16:17 | |||
| Reporter | rdr | |||||||
| Assigned To | ||||||||
| Priority | normal | Severity | trivial | Reproducibility | N/A | |||
| Status | closed | Resolution | fixed | |||||
| Platform | OS | OS Version | ||||||
| Product Version | 3.11.0 | |||||||
| Target Version | Fixed in Version | 3.13.0+dev | ||||||
| Summary | 0004837: The return value for Lexing.lexeme_end is incorrectly documented | |||||||
| Description | In 12.2.5 of the Ocaml Reference Manual lexeme_end is documented as returning: "... the absolute position in the input text of the end of the matched string." The offset returned is actually of the first character past the matched string. This is correctly documented in the documentation for the Lexing module. | |||||||
| Tags | No tags attached. | |||||||
| Attached Files | ||||||||
Notes |
|
|
(0005026) doligez (manager) 2009-07-17 16:40 |
Actually, positions are not character offsets, they lie between characters. The position of the end of the substring is indeed the offset of the next character after the substring, which is also the position of the start plus the length of the substring. Still, we need to make the doc clearer about that. |
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2009-07-16 14:21 | rdr | New Issue | |
| 2009-07-17 16:40 | doligez | Note Added: 0005026 | |
| 2011-05-31 16:17 | doligez | Status | new => closed |
| 2011-05-31 16:17 | doligez | Resolution | open => fixed |
| 2011-05-31 16:17 | doligez | Fixed in Version | => 3.13.0+dev |
| Copyright © 2000 - 2011 MantisBT Group |