原子编辑器中的 Idris，"Couldn't find Idris executable" 错误
Idris in atom editor, "Couldn't find Idris executable" error
我目前正在尝试下载和使用 Idris for Atom 并使用它的编辑器。我下载了 Hackage，然后从那里在我的电脑上安装了 idris，然后在 atom 上安装了 idris 包，每当我输入程序时，它都会像 Idris 一样突出显示，但是当我输入检查时，我收到两个错误，"Couldn't find idris executable: Couldn't find idris executable at "Idris"" 和 "The idris compiler was closed or crashed: It (probably) crashed with error code : -2".
picture of the error
正如插件的 readme 所说，您需要将插件配置中的 "Idris location:" 设置设置为您安装 Idris 二进制文件的路径。
我目前正在尝试下载和使用 Idris for Atom 并使用它的编辑器。我下载了 Hackage，然后从那里在我的电脑上安装了 idris，然后在 atom 上安装了 idris 包，每当我输入程序时，它都会像 Idris 一样突出显示，但是当我输入检查时，我收到两个错误，"Couldn't find idris executable: Couldn't find idris executable at "Idris"" 和 "The idris compiler was closed or crashed: It (probably) crashed with error code : -2".
picture of the error
正如插件的 readme 所说，您需要将插件配置中的 "Idris location:" 设置设置为您安装 Idris 二进制文件的路径。