0005711: Envaux.env_from_summary should be available in compiler-libs - MantisBT

Mantis Bug Tracker

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0005711

OCaml

OCaml general

public

2012-08-01 17:53

2012-08-02 03:49

Reporter

furuse

Assigned To

lefessan

Priority

high

Severity

feature

Reproducibility

always

Status

resolved

Resolution

fixed

Platform

OS

OS Version

Product Version

4.00.0

Target Version

Fixed in Version

4.01.0+dev

Summary

0005711: Envaux.env_from_summary should be available in compiler-libs

Description

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

Tags

No tags attached.

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