idris-hackers / idris-vim

Idris mode for vim
220 stars 52 forks source link

Syntax highlighting: prepending 'total' keyword to top-level declaration changes color of binding from declaration color to identifier color #23

Open eamsden opened 10 years ago

eamsden commented 10 years ago

Normally a top level declaration is highlighted like so: nototal

Adding the total keyword changes the highlighting: withtotal

The new highlight color is the same as identifiers in patterns and expressions. It may be appropriate to change the color of 'total'-annotated functions, but it should be to something distinct.