daml
daml copied to clipboard
goto definition for data-dependencies jumps to dummy source files
I don’t think you can actually jump to the real sources but not jumping anywhere would honestly be better because jumping to the dummy source files just produces a bunch of errors in vscode which is clearly not great.
afaict the sources are part of the .dar, so it might be possible to hack ghcide to jump to the (previously extracted to a specially marked folder, to be excluded from the main .dar) sources when it detects a package is a data-dependency
Being tackled as part of #17574