Hello,

Sorry to distract with such mundane problems but I find the following behaviour, reproducible on at least 4.12 and 4.13 slightly puzzling:

> echo 'let f = Bigarray.float32' > a.ml
> ocamlopt a.ml      # So far so good 
> rm *.cmi *.cmx *.o *.out                 
> ocamlopt -I $(ocamlc -where) a.ml     
File "a.ml", line 1:
Error: No implementations provided for the following modules:
         Bigarray referenced from a.cmx

Likely due to the fact that the "old" bigarray library still lives there, hence bigarray.cmi gets pickup. The following suceeds:

ocamlopt -I $(ocamlc -where) bigarray.cmxa a.ml

But it's quite annoying.

It would be nice if the distribution could isolate its libraries in dedicated directories.