Re: [Caml-list] inconsistent assumptions over implementation Printf

["Török Edwin" <edwin+ml-ocaml@etorok.net>]

On 06/25/2015 10:58 AM, Richard W.M. Jones wrote:
> On Tue, Jun 23, 2015 at 11:41:52PM +0300, Török Edwin wrote:
> [...]
> 
> Thanks - I have filed a bug about generating better dependencies:
> 
> https://bugzilla.redhat.com/show_bug.cgi?id=1235561

Do any of the advanced linker features in ocamlopt/ocamlc change the way ocamlobjinfo output should be used by packaging tools?
I see that -no-alias-deps adds '--------------------------------' to list of 'implementations imported' sometimes.
AFAICT this is properly ignored by the current rpm scripts, but I'm not familiar with how all the other linker features (packs, module aliases, rectypes, ...) work at the .cmx(a) level.

Perhaps there should be a 'hello-ocaml-dep' package that contains multiple inter-dependent library sub-packages exercising all these features.

For example should -safe-string usage be tracked by the package manager? OCaml itself doesn't complain now when the main application is linked with -safe-string, and
some module was compiled without it and ends up modifying the (immutable) strings, and I'm not sure whether that information exists in the .cmi/.cmx (should it?)

> 
>>> Also - could we *please* make the error message more explanatory.
>>> Printing out the mismatching MD5 hashes would be a good start.
>>>
>>
>> Yeah, and a -r flag on ocamlobjinfo.
> 
> What would the -r flag do?

Starting from  a given module recursively print the modules that are part of its interface/implementation hash, perhaps a better name would be --filter-recursive.
Of course you'd need to have both the old and new .cmx(a) around, in your case:
ocamlobjinfo /usr/lib64/ocaml/stdlib.cmxa  --filter-recursive=Printf >hashes1
ocamlobjinfo /path/to/4.02.2+rc1/stdlib.cmxa  --filter-recursive=Printf >hashes2
diff -u hashes1 hashes2

In fact such a tool could be built by parsing the output of ocamlobjinfo too:
ocamlobjinfo /usr/lib64/ocaml/stdlib.cmxa /path/to/4.02.2+rc1/stdlib.cmxa | ocamlobjdiff --module=Printf

Best regards,
--Edwin