edwinb / idris2-vim

Vim mode for Idris 2

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Syntastic does not work out of the box

freddi301 opened this issue · comments

managed to make it work

installed idris2 and syntastic with pathogen

inside ~/.vim/bundle/idris2/syntax_checkers/idris2/idris2.vim

function! SyntaxCheckers_idris_idris_GetLocList() dict
changed to

function! SyntaxCheckers_idris2_idris2_GetLocList() dict

in vimrc

let g:syntastic_idris_checkers = ['idris']
let g:syntastic_idris2_checkers = ['idris2']