Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005814OCamlOCaml generalpublic2012-11-06 18:202012-11-08 14:55
Assigned Tofrisch 
PrioritynormalSeverityminorReproducibilityhave not tried
PlatformOSOS Version
Product Version 
Target VersionFixed in Version4.01.0+dev 
Summary0005814: read_cmt -annot does not report internal references
DescriptionIt 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.
TagsNo tags attached.
Attached Files

- Relationships
related to 0005809resolvedfrisch Generating .cmt files takes a long time, in case of type error 

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

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.
frisch (developer)
2012-11-08 11:20

Commit 5814: rebuild environments from summaries when needed.

- 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

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker