intero-goto-definition 不包括库?

intero-goto-definition doesn't include libraries?

我正在尝试使用 M-. 转到函数的定义,但似乎 intero-goto-definition 仅适用于我当前正在开发的库,不适用于我正在导入的库。

这是我的 stack.yaml:

flags: {}
extra-package-dbs: []
packages:
- location: libs/not-gloss/not-gloss # the library I am trying to C-. into
- .
extra-deps:
- spatial-math-0.4.0.0
resolver: lts-9.0

如果有这个就好了,但它还没有实现 - https://github.com/commercialhaskell/intero/issues/231。这需要相当多的努力:

1) 需要保留所有依赖项的源文件。不确定如何将此句柄连接到像 base 这样的包中。这些文件应标记为只读,以免给您留下可以编辑它们的印象。

2) 不知何故有一个从模块名称+标识符名称映射到源位置的索引。 Haddock 可能有此信息,不确定,但在那种情况下,这意味着您需要使用文档构建所有依赖项。或者,您需要一个额外的步骤来使用 intero 重新加载每个包,以生成这样的索引。如果您希望在正在查看的包中包含类型信息等功能,那么这肯定是必要的。