search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Add `proof` to deprecated keywords #80

Closed maugier closed 6 years ago

maugier commented 6 years ago

proof is not a valid identifier name, and attempting to use it so leads to confusing error messages. It should thus be highlighted as a keyword.

I was given incorrect information about the deprecated status of proof, when I wrote this PR; we forgot about with blocks. Edited to make proof an idrisStatement keyword.

melted commented 6 years ago

Thanks!