| Anonymous | Login | Signup for a new account | 2013-06-20 09:21 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 | |||||||
| 0005814 | OCaml | OCaml general | public | 2012-11-06 18:20 | 2012-11-08 14:55 | |||||||
| Reporter | frisch | |||||||||||
| Assigned To | frisch | |||||||||||
| Priority | normal | Severity | minor | Reproducibility | have not tried | |||||||
| Status | resolved | Resolution | fixed | |||||||||
| Platform | OS | OS Version | ||||||||||
| Product Version | ||||||||||||
| Target Version | Fixed in Version | 4.01.0+dev | ||||||||||
| Summary | 0005814: read_cmt -annot does not report internal references | |||||||||||
| Description | It seems that all int_ref entries are turned into ext_ref when an annot file is generated by "read_cmt -annot" instead of "ocamlc -annot". This is because the information is lost when environments are discarded. This is fixed by setting OCAML_BINANNOT_WITHENV=1. | |||||||||||
| Tags | No tags attached. | |||||||||||
| Attached Files | ||||||||||||
 Relationships |
||||||
|
||||||
 Relationships |
|
Notes |
|
|
(0008439) frisch (developer) 2012-11-08 09:59 |
> This is fixed by setting OCAML_BINANNOT_WITHENV=1. Well, only if the unit has been compiled with -annot as well (otherwise the annotations field in env is not filled), so this is not really a fix... |
|
(0008440) frisch (developer) 2012-11-08 10:16 edited on: 2012-11-08 10:16 |
The annotations field seems rather useless these days, since the location of value definitions can be found in value_description record directly. |
|
(0008441) frisch (developer) 2012-11-08 10:50 |
I've removed the annotations field from the environment (commit 13076). Now read_cmt works fine as soon as environments are not discarded from .cmt files (i.e. compiling with OCAML_BINANNOT_WITHENV), even without -annot is not used. |
|
(0008443) frisch (developer) 2012-11-08 11:20 |
Commit 5814: rebuild environments from summaries when needed. |
|
Notes |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2012-11-06 18:20 | frisch | New Issue | |
| 2012-11-06 18:22 | frisch | Relationship added | related to 0005809 |
| 2012-11-08 09:59 | frisch | Note Added: 0008439 | |
| 2012-11-08 10:16 | frisch | Note Added: 0008440 | |
| 2012-11-08 10:16 | frisch | Note Edited: 0008440 | View Revisions |
| 2012-11-08 10:50 | frisch | Note Added: 0008441 | |
| 2012-11-08 10:58 | frisch | Note Added: 0008442 | |
| 2012-11-08 11:05 | frisch | Note Deleted: 0008442 | |
| 2012-11-08 11:20 | frisch | Note Added: 0008443 | |
| 2012-11-08 14:55 | frisch | Status | new => resolved |
| 2012-11-08 14:55 | frisch | Fixed in Version | => 4.01.0+dev |
| 2012-11-08 14:55 | frisch | Resolution | open => fixed |
| 2012-11-08 14:55 | frisch | Assigned To | => frisch |
|
Issue History |
| Copyright © 2000 - 2011 MantisBT Group |
 |