我正在尝试让 idris-mode 工作。我正在使用idris-dev和idris-mode的 HEAD 。每当我执行 Cl (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
每当我尝试 Mx idris-repl 时,它都会声明Buffer *idris-repl* has no process
.
该线程的结果是从 git 更新项目。但是,我使用的是每个项目的最新版本。
编辑:运行make
也失败了,但这可能是一个不同的问题。如果我手动结帐0.9.16
,make
将通过但上述相同的问题仍然存在。
编辑:我没有在本地安装它,我是从阴谋集团沙箱中运行它的。在idris-settings.el
我更改idris-interpreter-path
为 idris 的完整路径。此外,当我在 emacs 之外运行 idris 时,我会收到关于找不到前奏或内置的错误。如果我添加 -i path/to/idris/libs/prelude 那么一切正常。idris-interpreter-flags
但是在 in中添加“-i path/to/idris/libs/prelude”idris-settings.el
并没有帮助