emacs - idris-mode – 缓冲区 *idris-repl* 没有进程

Question

我正在尝试让 idris-mode 工作。我正在使用来自 idris-dev 的 HEAD和 idris-mode .每当我执行 C-l (idris-load-file) 时，我都会收到此错误

Debugger entered--Lisp error: (file-error "make client process failed" "connection refused" :name "Idris Ideslave" :buffer "*idris-connection*" :host "127.0.0.1" :service 0 :nowait nil)
  make-network-process(:name "Idris Ideslave" :buffer "*idris-connection*" :host "127.0.0.1" :service 0 :nowait nil)
  open-network-stream("Idris Ideslave" "*idris-connection*" "127.0.0.1" 0)
  (setq idris-connection (open-network-stream "Idris Ideslave" (idris-buffer-name :connection) "127.0.0.1" port))
  .............snipped

每当我尝试 M-x idris-repl 时，它都会显示 Buffer *idris-repl* has no process。

this 的结果线程是从 git 更新项目。但是，我使用的是每个项目的最新版本。

编辑:运行 make 也失败了，但这可能是另一个问题。如果我手动 checkout 0.9.16，make 将通过，但上面的相同问题仍然存在。

编辑:我没有在本地安装它，我正在从一个 cabal 沙箱中运行它。在 idris-settings.el 中，我将 idris-interpreter-path 更改为 idris 的完整路径。此外，当我在 emacs 之外运行 idris 时，我会收到有关找不到前奏或内置函数的错误。如果我添加 -i path/to/idris/libs/prelude 那么一切正常。但是将“-i path/to/idris/libs/prelude”添加到 idris-settings.el 中的 idris-interpreter-flags 没有帮助

Answer 1

我有点解决了这个问题。对于 idris-interpreter-flags，您必须将每个实际参数作为单独的字符串提供(这很常见，我早该知道)。所以，如果我将 idris-interpreter-flags 设置为 '("-i""/path/to/idris/libs/prelude") 那么一切都很好。所以我必须为 idris 附带的每个库目录添加路径。

这是如何运作的？这是正常要求吗？是不是因为我没有将其作为真正的 cabal 安装包运行，所以它无法在库中获取？