idris-mode — в буфере *idris-repl* нет процесса

Я пытаюсь заставить работать режим idris. Я использую HEAD как из idris-dev, так и из 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.

Результатом этого потока было обновление проектов из git. Однако я использую самые последние версии из каждого проекта.

edit: запуск make также не работает, но это, вероятно, другая проблема. Если я вручную проверю 0.9.16, make пройдет, но та же проблема, что и выше, останется.

edit: у меня это не установлено локально, я запускаю его из песочницы клики. В idris-settings.el я изменил idris-interpreter-path на полный путь к idris. Кроме того, когда я запускаю idris вне emacs, я получаю ошибки о том, что не могу найти прелюдию или встроенные модули. Если я добавлю -i path/to/idris/libs/prelude, то все будет работать. Но добавление "-i path/to/idris/libs/prelude" к idris-interpreter-flags в idris-settings.el не помогает


emacs idris
person pdexter    schedule 13.03.2015    source источник

Ответы (1)


arrow_upward
2
arrow_downward

Я вроде решил эту проблему. Для idris-interpreter-flags вы должны указать каждый фактический аргумент в виде отдельной строки (что обычно, я должен был знать). Итак, если я установлю idris-interpreter-flags на '("-i" "/path/to/idris/libs/prelude"), тогда все будет хорошо. Поэтому мне нужно добавить путь для каждого из каталогов библиотек, с которыми поставляется idris.

Как это работает? Это нормально требовать? Это потому, что я не запускаю это как настоящий установленный пакет клики, который не обнаруживается в библиотеках?

person pdexter    schedule 13.03.2015
comment
Да, если это не установка клики, то она будет искать не в том месте. Недавно я добавил флаг IDRIS_LIBRARY_PATH, чтобы указать, где найти библиотеки - возможно, вы сможете его использовать. - person Brian McKenna; 24.03.2015