We ship Daml Finance as a set of DAR packages, and ideally users would be able to “Go to definition” to inspect the source code. I don’t even know if sources are part of a DAR, but eg for the stdlib it does work (but I understand it gets some special treatment). So I’d like to know if we can enable that for data-dependencies as well somehow.
2 Likes
Hi @georg, thank you for bringing this up. We’re already tracking a similar issue (goto definition for data-dependencies jumps to dummy source files · Issue #13749 · digital-asset/daml · GitHub). The difficulty here is that ghcide, on which Daml Studio is based, has no concept of data-dependencies, so we would need to extend it to support that, which is not trivial.