search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Syntastic not displaying errors #45

Open hansler opened 8 years ago

hansler commented 8 years ago

Using the latest versions of nvim (0.1.1), Syntastic (3.7.0-62), and idris (0.9.20.1), Syntastic isn't showing any errors in my .idr files, even though they show up with the idris --client ':l ' command. :SyntasticInfo shows that the idris checker is active.

hansler commented 8 years ago

Submitted a PR which fixes the issue on my end: https://github.com/idris-hackers/idris-vim/pull/46

srenatus commented 8 years ago

Since #46 is merged, I suppose this can be closed. Thanks!