search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Change syntastic to use idris --client? #6

Open LeifW opened 10 years ago

LeifW commented 10 years ago

Should we change syntax_checkers/idris/idris.vim to run "idris --client :l" rather than idris --check? It's remarkably quicker to run the former way, but then that requires an idris repl to be fired up in that dir.

Would we want to make this configurable? Perhaps, even better would be if it could note the failure of idris --client, from a REPL not running, and fallback to idris --check.

LeifW commented 10 years ago

If doing a fallback from the vim stuff isn't possible, could have an external script to do so?