Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005711OCamlOCaml generalpublic2012-08-01 17:532012-08-02 03:49
Reporterfuruse 
Assigned Tolefessan 
PriorityhighSeverityfeatureReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version4.00.0 
Target VersionFixed in Version4.01.0+dev 
Summary0005711: Envaux.env_from_summary should be available in compiler-libs
DescriptionUnlike 4.00.0 beta2, 4.00.0 now drops Env.t details from cmt files except its summary, and Envaux.env_from_summary must be called to rebuild Env.t. The function should be available in compiler-libs.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0007859)
lefessan (developer)
2012-08-01 18:07

This is already fixed in SVN trunk since 12702. Moreover, the Envaux module in compiler-libs provides a function

val env_of_only_summary : Env.t -> Env.t

to recover plain environments from environments with only summaries.

Note that, if you set the environment variable OCAML_BINANNOT_WITHENV in 4.00, Env.t details will not be dropped, but the .cmt files might become huge on big projects.
(0007860)
furuse (reporter)
2012-08-02 03:49

Thanks!

- Issue History
Date Modified Username Field Change
2012-08-01 17:53 furuse New Issue
2012-08-01 18:07 lefessan Note Added: 0007859
2012-08-01 18:07 lefessan Status new => resolved
2012-08-01 18:07 lefessan Fixed in Version => 4.01.0+dev
2012-08-01 18:07 lefessan Resolution open => fixed
2012-08-01 18:07 lefessan Assigned To => lefessan
2012-08-02 03:49 furuse Note Added: 0007860


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker