Closed mhwombat closed 5 years ago
Thanks for the report! Two things:
What version of idris do you have?
Hmm. Actually now that I look at it, I think our melpa-stable is quite out of date. Could you try plain melpa and let me know what happens?
Upgrading to the plain melpa version fixed it. Thank you!
I am using idris-mode 0.9.19. I got it from Melpa Stable, but I think it's the same version that's on GitHub. I am seeing a strange effect with syntax highlighting. When I first load in Idris source file, only certain keywords are in colour.
Then, If I load the file into the Idris REPL, identifiers are in colour, but the last character of each identifier is not in colour.
Here is a minimal emacs configuration which reproduces this behaviour.