| Anonymous | Login | Signup for a new account | 2013-05-19 21:05 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 | ||||||
| 0004518 | OCaml | OCamldoc | public | 2008-03-06 21:57 | 2008-03-07 13:36 | ||||||
| Reporter | dbuenzli | ||||||||||
| Assigned To | |||||||||||
| Priority | normal | Severity | feature | Reproducibility | always | ||||||
| Status | acknowledged | Resolution | open | ||||||||
| Platform | OS | OS Version | |||||||||
| Product Version | |||||||||||
| Target Version | Fixed in Version | ||||||||||
| Summary | 0004518: Better location format for reporting errors in ocamldoc | ||||||||||
| Description | Related to http://caml.inria.fr/mantis/view.php?id=4515 [^] the format used by ocamldoc to report errors does not allow to use emacs' next error to directly jump at the location. E.g. : /Users/dbuenzli/devel/xmlm/src/xmlm.mli : Syntax error in text: Same as {!input_tree} but reads a complete {{:#TYPEsignal}valid} sequence of signals. {b Raises {!Error} on input errors. line 3, character 39: {b Raises {!Error} on input errors. should be something like : File "src/xmlm.mli", line 3, character 39: ... Thanks, Daniel | ||||||||||
| Tags | No tags attached. | ||||||||||
| Attached Files | |||||||||||
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2008-03-06 21:57 | dbuenzli | New Issue | |
| 2008-03-07 13:36 | doligez | Status | new => acknowledged |
| Copyright © 2000 - 2011 MantisBT Group |