Open sockmaster27 opened 1 month ago
The currently used file-system watcher does not report when a parent folder containing source files is deleted. For example, deleting src/ does not register that src/Main.flix has been deleted.
src/
src/Main.flix
The currently used file-system watcher does not report when a parent folder containing source files is deleted. For example, deleting
src/
does not register thatsrc/Main.flix
has been deleted.