-
Notifications
You must be signed in to change notification settings - Fork 470
Dune crashes when editing a file in exec watch mode #11010
Copy link
Copy link
Open
Labels
Description
Expected Behavior
Dune not to crash when editing data.ml
Actual Behavior
Dune crashes when data.ml is edited, even if you just save the file without changing anything, with this output:
Error: _build/default/.hello.eobjs/dune__exe__Hello.impl.d: No such file or
directory
-> required by _build/default/.hello.eobjs/dune__exe__Hello.impl.all-deps
-> required by _build/default/hello.exe
Had 1 error, waiting for filesystem changes...
Reproduction
clone https://github.com/LAC-Tech/dunebug
run
dune exec -w ./hello.exe
Save file data.ml in your editor. (saving hello.ml works fine). You may sometimes have to save 2 or 3 times to get it to crash.
Specifications
dune 3.16.0
The OCaml toplevel, version 5.2.0
Arch Linux, kernel 6.10.6, x86_64
Reactions are currently unavailable