Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
read_cmt -annot does not report internal references #5814
Original bug ID: 5814
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.
Comment author: @alainfrisch
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.