Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004518OCamlOCamldocpublic2008-03-06 21:572013-12-23 16:30
Reporterdbuenzli 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0004518: Better location format for reporting errors in ocamldoc
DescriptionRelated 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


Tagsjunior_job
Attached Files

- Relationships
related to 0006069closedguesdon ocamldoc: lexing: empty token 

-  Notes
(0010762)
lebedev (reporter)
2013-12-23 16:30
edited on: 2013-12-23 20:50

I've started working and this and I'm not sure if warnings should have the same location information header? Any suggestions?


- Issue History
Date Modified Username Field Change
2008-03-06 21:57 dbuenzli New Issue
2008-03-07 13:36 doligez Status new => acknowledged
2013-07-28 22:27 gasche Tag Attached: junior_job
2013-07-28 22:30 gasche Relationship added related to 0006069
2013-12-23 16:30 lebedev Note Added: 0010762
2013-12-23 20:50 lebedev Note Edited: 0010762 View Revisions


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker