Warning: file_get_contents(/data/phpspider/zhask/data//catemap/6/haskell/10.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Haskell intero goto定义不';不包括图书馆吗?_Haskell_Emacs_Haskell Stack - Fatal编程技术网

Haskell intero goto定义不';不包括图书馆吗?

Haskell intero goto定义不';不包括图书馆吗?,haskell,emacs,haskell-stack,Haskell,Emacs,Haskell Stack,我试图使用M-。来定义函数,但似乎intero-goto-definition只适用于我当前开发的库,而不适用于我正在导入的库 这是我的堆栈。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

我试图使用
M-。
来定义函数,但似乎
intero-goto-definition
只适用于我当前开发的库,而不适用于我正在导入的库

这是我的堆栈。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

有了它就太好了,但它还没有实现。这需要相当多的努力:

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

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