You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hi I'm not getting Syntastic to work for idris, where it works for other languages
I can invoke the checker manually
:SyntasticCheck idris
and it reports errors but the SyntasticInfo command tells me that it is not enabled
:SyntasticInfo
Syntastic version: 3.8.0-110 (Vim 800, Neovim, Darwin)
Info for filetype: idris
Global mode: active
Filetype idris is active
The current file will be checked automatically
Available checker: idris
Currently enabled checkers: -
I activated some debug and I get the information that
syntastic: 0.052995: CacheErrors: no checkers available for idris
Hi I'm not getting Syntastic to work for idris, where it works for other languages
I can invoke the checker manually
and it reports errors but the SyntasticInfo command tells me that it is not enabled
I activated some debug and I get the information that
The full debug information can be found at
I'm pretty new to vi so please bear with my limited understanding.
The text was updated successfully, but these errors were encountered: