问题描述
我目前正在尝试下载Idris并将其用于Atom,并使用其编辑器.我下载了Hackage,然后从那里在计算机上安装了idris,然后将idris软件包安装在了atom上,每当我键入该程序时,它就会像Idris应该的那样突出显示,但是当我键入check时,出现两个错误,可能t查找idris可执行文件:在"Idris"处找不到idris可执行文件"和"idris编译器已关闭或崩溃:(可能)崩溃,错误代码:-2".
I am currently trying to download and use Idris for Atom and use it's editor. I downloaded Hackage and then installed idris on my computer from there and then installed the idris package on atom, and when ever I type in the program it highlights like Idris should, but when I type check it I am getting two errors, "Couldn't find idris executable: Couldn't find idris executable at "Idris"" and "The idris compiler was closed or crashed: It (probably) crashed with error code : -2".
推荐答案
作为自述文件(该插件说),您需要将插件配置中的"Idris位置:"设置设置为安装Idris二进制文件的路径.
As the readme for the plugin says, you need to set the "Idris location:" setting in the plugin config to the path where you have installed the Idris binary.
这篇关于原子编辑器中的Idris,“找不到Idris可执行文件"错误的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持!