0005147: improve location for identifiers in the camlp4 ast

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0005147

OCaml

Camlp4

public

2010-09-16 17:30

2012-05-16 09:24

Reporter

Hendrik Tews

Assigned To

xclerc

Priority

normal

Severity

feature

Reproducibility

always

Status

assigned

Resolution

open

Platform

OS Version

Product Version

3.12.0

Target Version

Fixed in Version

Summary

0005147: improve location for identifiers in the camlp4 ast

Description

This 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.

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

Relationships