This was observed on Frama-C 31.0.
On unused values when .ml-gen files are involved. This is probably due to the move from cmt_value_dependencies to cmt_declaration_dependencies as explained in #38.
On optional arguments. The same observation was made on Opam 2.5.1.
Most changes are re-locations (between .mli and.ml), probably due to the same reason.
The rest of the changes need investigation. Chances are that they are also triggered by the same reason, changes in location information (leading to changes in links), or different (de)sugaring of some constructs in the compiler.
This was observed on Frama-C 31.0.
On unused values when .ml-gen files are involved. This is probably due to the move from
cmt_value_dependenciestocmt_declaration_dependenciesas explained in #38.On optional arguments. The same observation was made on Opam 2.5.1.
Most changes are re-locations (between .mli and.ml), probably due to the same reason.
The rest of the changes need investigation. Chances are that they are also triggered by the same reason, changes in location information (leading to changes in links), or different (de)sugaring of some constructs in the compiler.