Inconsistent assumptions

Learning
3

[45.png]
vlaviron
July 4

For this particular error, you can use ocamlobjinfo to get more useful information. Running it on select.cma, select_commits.cmi, parmap.cma and parmap.cmi, and looking at the Parmap lines in the section “Interfaces imported”, you should see two
different hashes (which is why the compiler is complaining).
If parmap.cmi and parmap.cma have different hashes for Parmap, then the parmap package is in an inconsistent state and you’ll likely need to reinstall it.

parmap.cma and parmap.cmi have different hashes:

ocamlobjinfo /home/julia/.opam/4.07.0/lib/parmap/parmap.cmi > pmi

ocamlobjinfo /home/julia/.opam/4.07.0/lib/parmap/parmap.cma > pma

grep Parmap pmi
Unit name: Parmap
445724926e7591dec6cf57ccfb150eb6 Parmap

grep Parmap pma
Unit name: Parmap_utils
ca263e0aeab04d24c71d36e0113db3ee Parmap_utils
Unit name: Parmap_compat
eff462d296226479593a90644f9a89f7 Parmap_compat
eff462d296226479593a90644f9a89f7 Parmap_compat
Parmap_compat
Unit name: Parmap
ca263e0aeab04d24c71d36e0113db3ee Parmap_utils
eff462d296226479593a90644f9a89f7 Parmap_compat
c852749566ae24af3a8d570bfe7fc8d7 Parmap
Parmap_compat
Parmap_utils

I tried

opam uninstall parmap
opam install parmap

with no improvement. Also opam remove and then opam install. Is there a
more forceful way to reinstall it?

thanks,
julia