Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ocamldebug ignores # linenum "filename" #2337

Closed
vicuna opened this Issue Dec 20, 1999 · 3 comments

Comments

Projects
None yet
1 participant
@vicuna
Copy link
Collaborator

vicuna commented Dec 20, 1999

Original bug ID: 9
Reporter: administrator
Assigned to: @xclerc
Status: closed (set by @xavierleroy on 2012-09-25T18:07:21Z)
Resolution: fixed
Priority: normal
Severity: feature
Fixed in version: 3.11+dev
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Norman Ramsey
Version: 2.04
OS:
Submission from: estephe.inria.fr (128.93.11.95)
Submitted by: xleroy

I'm running ocamldebug on a file that is litted with directives like

176 "rsync.nw"

Unfortunately, the debugger does not direct emacs to source file rsync.nw,
but uses lines in rsync.ml (the actual source file). Am I correct in
thinking that this behavior represents a bug?

@vicuna

This comment has been minimized.

Copy link
Collaborator Author

vicuna commented Nov 5, 2002

Comment author: administrator

Needs to be done at some point, but not trivial.

We're getting closer to the goal. -- Damien 2002-11-05

@vicuna

This comment has been minimized.

Copy link
Collaborator Author

vicuna commented Jun 17, 2009

Comment author: @xclerc

A tentative fix has been committed in branch 'release311'.

@vicuna

This comment has been minimized.

Copy link
Collaborator Author

vicuna commented Dec 30, 2011

Comment author: @damiendoligez

Release 3.11.2 is long past, and quick testing indicates that this is fixed. I'm closing this PR.

@vicuna vicuna closed this Sep 25, 2012

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.