Syntastic fix and prettying up output

idris-hackers / idris-vim

Idris mode for vim

221 stars 52 forks source link

Syntastic fix and prettying up output #5

Closed heyzua closed 10 years ago

heyzua commented 10 years ago

Fixing the syntastic integration, as well as adding a newline to the output of expressions for disambiguation.

I think you may have been using an older version of syntastic. I don't see that method syntastic#makeprg#build anywhere. I'm going off of scrooloose/syntastic master.