Breakpoints only worked inside the _build/default/ directory
Mng12345 opened this issue · comments
The breakpoint can not be add in the source file, when i click the line in source file, the breakpoint is added in the file located in _build/default directory.
Screen-shot is here.
I've found this to be more annoying in terms of modifying the files because after debugging, you might have the _build copy open instead of the original source, but that's read-only.
I think the problem is that dune-built artifacts are all based on the sources copied to _build and thus debug information refers to those paths instead of the ones in original sources. It's not as simple as just dropping _build/default/ for various reasons:
- Users might use some other dune contexts as
default. - Some sources are generated, so no original source exists (unless dune promotion is being used).
- Some sources are transformed (e.g. by ppx), so original and built sources are different (with different line numbers).
Yes, it did be a little annoying...... I have got notified a lot of times by warning the file in _build/default can not be modified.
