idris-模式-缓冲区*idris-repl*没有进程

Question

我在试着让伊德里斯模式发挥作用。我正在使用来自伊德里斯-德夫和idris模式的HEAD。每当我执行C (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时，它的状态是Buffer *idris-repl* has no process。

这线程的结果是从git更新项目。然而，我使用的是来自每个项目的最新版本。

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

编辑:我没有在本地安装这个，我正在运行它的一个阴谋沙箱。在idris-settings.el中，我将idris-interpreter-path更改为idris的完整路径。而且，当我在emacs之外运行idris时，我会发现没有找到前奏曲或内置程序的错误。如果我将-i路径/添加到/idris/libs/prelude，那么一切都正常。但是在idris-interpreter-flags中添加“idris-interpreter-flags路径/idris/libs/prelude”并没有帮助。

Answer 1

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

这是怎么回事？这很正常吗？是不是因为我没有把它作为一个真正安装的阴谋包运行，而它却没有在库中找到它？