Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Envaux.env_from_summary should be available in compiler-libs #5711

Closed
vicuna opened this issue Aug 1, 2012 · 2 comments
Closed

Envaux.env_from_summary should be available in compiler-libs #5711

vicuna opened this issue Aug 1, 2012 · 2 comments

Comments

@vicuna
Copy link

vicuna commented Aug 1, 2012

Original bug ID: 5711
Reporter: furuse
Assigned to: @lefessan
Status: closed (set by @xavierleroy on 2015-12-11T18:07:32Z)
Resolution: fixed
Priority: high
Severity: feature
Version: 4.00.0
Fixed in version: 4.01.0+dev
Category: ~DO NOT USE (was: OCaml general)

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

@vicuna
Copy link
Author

vicuna commented Aug 1, 2012

Comment author: @lefessan

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.

@vicuna
Copy link
Author

vicuna commented Aug 2, 2012

Comment author: furuse

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants