Open freddi301 opened 4 years ago
managed to make it work
installed idris2 and syntastic with pathogen
inside ~/.vim/bundle/idris2/syntax_checkers/idris2/idris2.vim https://github.com/edwinb/idris2-vim/blob/099129e08c89d9526ad092b7980afa355ddaa24c/syntax_checkers/idris2/idris2.vim#L26 changed to
~/.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']
managed to make it work
installed idris2 and syntastic with pathogen
inside
~/.vim/bundle/idris2/syntax_checkers/idris2/idris2.vim
https://github.com/edwinb/idris2-vim/blob/099129e08c89d9526ad092b7980afa355ddaa24c/syntax_checkers/idris2/idris2.vim#L26 changed toin vimrc