|Anonymous | Login | Signup for a new account||2018-12-15 07:52 CET|
|Main | My View | View Issues | Change Log | Roadmap|
|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0007571||OCaml||toplevel||public||2017-06-27 14:44||2017-06-27 16:03|
|Status||resolved||Resolution||unable to reproduce|
|Target Version||Fixed in Version|
|Summary||0007571: #use in the toplevel loads existing stale .cmo|
|Description||the #use directive is described as |
Read, compile and execute source phrases from the given file.
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. |
compile to bytecode a.cmo either in current directory or in _build directory as done by ocamlbuild.
edit and change a.ml.
open utop, if necessary add _build as #directory.
in utop, #use "a.ml";;
the old version will be loaded
|Tags||No tags attached.|
|possibly the cleanest way of handling this would be to make a temporary, private copy of the freshly compiled a.cmo? probably better than just updating the .cmo as a side effect.|
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.
|ok, i'll first make a utop example and then see for ocaml -- should have done that from the start...|
|2017-06-27 14:44||nbb||New Issue|
|2017-06-27 15:03||nbb||Note Added: 0018002|
|2017-06-27 16:01||xleroy||Note Added: 0018003|
|2017-06-27 16:01||xleroy||Status||new => resolved|
|2017-06-27 16:01||xleroy||Resolution||open => unable to reproduce|
|2017-06-27 16:03||nbb||Note Added: 0018004|
|Copyright © 2000 - 2011 MantisBT Group|