search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

implemented IdrisReloadToLine using IdrisReload to fix bugs with where blocks #52

Closed artemohanjanyan closed 8 years ago

artemohanjanyan commented 8 years ago

This is temporary fix. It works. If it is correct way to fix the problem, then some code can be deleted.

artemohanjanyan commented 8 years ago

See https://github.com/idris-hackers/idris-vim/issues/49