idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

String literal not processed correctly #67

Open luochen1990 opened 7 years ago

luochen1990 commented 7 years ago

image

When the cursor is under the word "Sausage" -- which is part of the string literal -- and you put \t then this plugin will tell you No such variable Sausage, it suggests that the word "Sausage" is recongnized as an identifier by this plugin.