daml icon indicating copy to clipboard operation
daml copied to clipboard

goto definition for data-dependencies jumps to dummy source files

Open cocreature opened this issue 3 years ago • 2 comments

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.

cocreature avatar Apr 29 '22 11:04 cocreature

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

akrmn avatar Oct 03 '22 16:10 akrmn

Being tackled as part of #17574

basvangijzel-DA avatar Apr 17 '24 10:04 basvangijzel-DA