Syntastic does not work out of the box
freddi301 opened this issue · comments
Frederik Batuna commented
managed to make it work
installed idris2 and syntastic with pathogen
inside ~/.vim/bundle/idris2/syntax_checkers/idris2/idris2.vim
function! SyntaxCheckers_idris2_idris2_GetLocList() dict
in vimrc
let g:syntastic_idris_checkers = ['idris']
let g:syntastic_idris2_checkers = ['idris2']