search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

syntax "idrisIdentifier" is never matched outside "idrisTypeDecl" #66

Open luochen1990 opened 7 years ago

luochen1990 commented 7 years ago

I'm not sure whether it is intended or not, but this will cause some identifiers spell checked.

image

I think identifiers should not be spell checked anywhere.