Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007571OCamltoplevelpublic2017-06-27 14:442017-06-27 16:03
Reporternbb 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionunable to reproduce 
PlatformOSOS Version
Product Version4.04.0 
Target VersionFixed in Version 
Summary0007571: #use in the toplevel loads existing stale .cmo
Descriptionthe #use directive is described as

#use <str>
  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 Reproducemake 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
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0018002)
nbb (reporter)
2017-06-27 15:03

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.
(0018003)
xleroy (administrator)
2017-06-27 16:01

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.
(0018004)
nbb (reporter)
2017-06-27 16:03

ok, i'll first make a utop example and then see for ocaml -- should have done that from the start...

- Issue History
Date Modified Username Field Change
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
Powered by Mantis Bugtracker