idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Syntastic is not enabled #85

Open martinsson opened 6 years ago

martinsson commented 6 years ago

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

The full debug information can be found at

"enum.idr" 16L, 215C
syntastic: 0.049073: g:syntastic_version = '3.8.0-110 (Vim 800, Neovim, Darwin)'
syntastic: 0.049318: &shell = '/bin/zsh', &shellcmdflag = '-c', &shellpipe = '2>&1| tee', &shellquote = '', &shellredir = '>%s 2>&1', &shelltemp = 1, &shellxquote = '', &autochdir = 0, &shellxescape = ''
syntastic: 0.050125: UpdateErrors (auto): default checkers
syntastic: 0.050556: CacheErrors: default checkers
syntastic: 0.051391: g:syntastic_aggregate_errors = 0
syntastic: 0.051762: $TERM = 'xterm-256color'
syntastic: 0.051992: $TMPDIR = '/var/folders/s8/snh3nx3n1xx7jdmjh7qsbqh00000gp/T/'
syntastic: 0.052160: $PATH = '/Users/johan/.nvm/versions/node/v8.4.0/bin:/usr/local/bin:/usr/bin:/bin:/usr/sbin:/sbin:/Applications/MacVim.app/Contents/bin'
syntastic: 0.052521: getcwd() = '/Users/johan/workspace/idris'
syntastic: 0.052995: CacheErrors: no checkers available for idris

I'm pretty new to vi so please bear with my limited understanding.

buonuomo commented 6 years ago

@martinsson , Do you have

let g:syntastic_idris_checkers=['idris']

in your .vimrc?

martinsson commented 6 years ago

Doh! Thanks