Cannot start inferior-idris-process

[themattchan]

I'm trying toC-c C-l a file in emacs, but it keeps on failing with the following error:

Idris disconnected: exited abnormally with code 1
Warning from Idris: The following packages were specified but cannot be found:
- idris

Idris disconnected: exited abnormally with code 1
Warning from Idris: The following packages were specified but cannot be found:
- idris

I installed idris through brew install idris, and have set the path in emacs: (setq idris-interpreter-path "/usr/local/bin/idris"). I'm on idris v 1.1.1 and the latest version of idris-mode on MELPA.

Any help would be appreciated. Thanks!

[david-christiansen]

It sounds to me like Idris is getting the argument "-p idris". Have you specified anything on idris-load-packages?

[themattchan]

Nope, when I C-x C-e on idris-load-packages I get nil

[themattchan]

Weird, I only get this error when I'm inside a project, e.g. 1 .. could this be some weird interaction with ipkg?

[abailly]

@themattchan is still an issue?

[gergoerdi]

I'm seeing a similar problem, are these related?

Warning from Idris: The following packages were specified but cannot be found:

Warning from Idris: - effects
- js
- contrib

Idris disconnected: exited abnormally with code 1

Of course, just loading the same file from the CLI with --package js --package effects --package contrib works.

Interestingly, this only seems to happen if I have idris-load-packages set in the buffer; if it is not set, the packages are correctly taken from the .ipkg file.

[jsoo1]

@gergoerdi It looks like the original requester mentioned that idris-load-packages was nil. Would you mind creating a separate issue?

@themattchan I think the original issue is that idris-mode doesn't recognize all idris identifiers in package names in .ipkg packages. I opened #488 to address that issue.