search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Add an additional intermediate catchall #61

Closed lehmacdj closed 7 years ago

lehmacdj commented 7 years ago

Some errors which had identifiable line numbers were not getting caught by the error format. This patch fixes these cases (or at least some of them).

melted commented 7 years ago

Thanks for the PR!