You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 5814 Reporter:@alainfrisch Assigned to:@alainfrisch Status: closed (set by @xavierleroy on 2015-12-11T18:08:22Z) Resolution: fixed Priority: normal Severity: minor Fixed in version: 4.01.0+dev Category: ~DO NOT USE (was: OCaml general) Related to:#5809
Bug 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.
The text was updated successfully, but these errors were encountered:
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.
Original bug ID: 5814
Reporter: @alainfrisch
Assigned to: @alainfrisch
Status: closed (set by @xavierleroy on 2015-12-11T18:08:22Z)
Resolution: fixed
Priority: normal
Severity: minor
Fixed in version: 4.01.0+dev
Category: ~DO NOT USE (was: OCaml general)
Related to: #5809
Bug 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.
The text was updated successfully, but these errors were encountered: