Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005147OCamlCamlp4public2010-09-16 17:302012-05-16 09:24
ReporterHendrik Tews 
Assigned Toxclerc 
PrioritynormalSeverityfeatureReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product Version3.12.0 
Target VersionFixed in Version 
Summary0005147: improve location for identifiers in the camlp4 ast
DescriptionThis is a feature wish for otags: In the following cases I have
to parse parts of the input a second time (after camlp4) because
there is not sufficient location information available.

Here are the problematic cases:

1. "type t = ..." : There is no location info for "t" in the
   camlp4 ast. This location is non-trivial to compute, because
   there might be type parameters between "type" and "t".

2. "class type x = object val s : int end" : There is no location
   info for "s"

3. same for the "s" in "class type x = object method virtual s : int end"

4. same for the "s" in "class type x = object method s : int end"

5. same for the "s" in ``external s : int->int = "xx" '' in
   interfaces and structures

6. same for the "S" in "module S : ..." in interfaces.

7. same for the "S" in "module type S = ..." in interfaces.

8. same for the "s" in "val s : int" in interfaces.

9. same for the "s" in "class t = object val s = 0 end" in
   structures.

10. same for the "s" in "class t = object val virtual s : int
    end" in structures.

11. same for the "s" in "class t = object method virtual s : int
    end" in structures.

12. same for the "s" in "class t = object method s = 0 end" in structure.

13. same for the "S" in "module S = ..." in structures.

14. same for the "S" in "module type S = ..." in structures.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0007439)
Hendrik Tews (reporter)
2012-05-16 09:24

15. same for "S" in "module rec S : ..." in signatures and structures

- Issue History
Date Modified Username Field Change
2010-09-16 17:30 Hendrik Tews New Issue
2010-09-16 17:30 Hendrik Tews Status new => assigned
2010-09-16 17:30 Hendrik Tews Assigned To => ertai
2011-10-26 08:44 ertai Assigned To ertai => xclerc
2012-05-16 09:24 Hendrik Tews Note Added: 0007439


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker