Breakpoints only worked inside the _build/default/ directory
Mng12345 opened this issue · 3 comments
Mng12345 commented
sim642 commented
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).
Mng12345 commented
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.
Mng12345 commented