inconsistent assumptions over interface Random

[Kuba Roth]

Hi, a newbie question here. Can anyone guide me how to solve the following error in 4.02.1 or point me to the right place? Thanks in advance.

I'm using opam to switch versions of compiler and apparently something gets out of sync here.

Error: The files /home/kuba/.opam/4.02.1/bin/ocaml and random.cmi

       make inconsistent assumptions over interface Random

Thanks,

kuba

[Yaron Minsky]

That is pretty surprising. Did this happen during the execution of
"opam switch"?

y

> --
> You received this message because you are subscribed to the Google Groups
> "ocaml-core" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ocaml-core+...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

[Kuba Roth]

No, this actually happens in the utop on the very first use of Random. I did quick test switching to another patch version with same results. Ultimately switching to higher minor version - 4.03.0+trunk solved the issue but left me wondering how to handle such problems in the future. 

Does the fact that interface file is insistent with the module mean the problem has been caused by opam? 

Can I fix this by forcing opam to reinstall the module/compiler version?

[Kuba Roth]

Reading up more about opam lead me to the answer :)

opam switch reinstall 4.02.1

...solved the problem.

Thank you

kuba

[Malcolm Matalka]

Did you restart utop after the switch? If you had it open the whole
time things probably won't work right.

[juuso....@gmail.com]

I can't tell whether it is relevant to this particular instance, but not running "eval `opam config env`" after an opam switch is an endless well of nebulous errors and bugs. Keep it in your .bashrc (or similar), so that popping up a new terminal will suffice.