Re: o_fubar.ml -- Ocaml (is (not)) FUBAR

[Remi Vanicat <vanicat@labri.u-bordeaux.fr>]

Stefano Zacchiroli <zack@debian.org> writes:

> Hi all,
>   I've written a small toy that perform consistency checks on a set of
> ocaml bytecode objects (.cmo and .cma). Checks are performed usings
> md5sums kept inside them as reported by objinfo.
>

[...]


> Actually, as you can see, we have inconsistencies :-(

I've run it on my computer, and my conclusion is :
they are due to different explanation :
- mlgtk/lablgtk/lablgtk2 have modules that have the same name.
- labltk and shell have a Shell module
- labltk and camlimage have a Image module
- then I don't understand this one :

Inconsistent assumptions over Pa_extend:
  Objects that believe Pa_extend has md5sum 6f6267d8155ea57dd34369c019b58e69:
    /usr/lib/ocaml/3.06/camlp4/pa_extfold.cmo
  Objects that believe Pa_extend has md5sum 3546e1510c5b78fe76214f0c974dac46:
    /usr/lib/ocaml/3.06/camlp4/pa_extend_m.cmo
    /usr/lib/ocaml/3.06/camlp4/pa_extend.cmo

This last one is strange, because they are all in the ocaml-3.06-1
package. 

-- 
Rémi Vanicat
vanicat@labri.u-bordeaux.fr
http://dept-info.labri.u-bordeaux.fr/~vanicat