Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
#use in the toplevel loads existing stale .cmo #7571
Original bug ID: 7571
the #use directive is described as
but when i change the .ml and #use it while still an old corresponding .cmo is available to the toplevel this old file seems to be used.
Steps to reproduce
make a source file a.ml.
Comment author: @xavierleroy
I am unable to reproduce the problem, either with the normal toplevel "ocaml" nor with "utop".
If you have a shell script that reproduces the problem using only "ocaml" (because "utop" is a separate project), please post it here and we'll investigate some more.