Highlighting is highly incorrect

[be5invis]

Missing features:

• interface, implementation, namespace, export, and rewrite … in … are not colored as keywords
• Identifier names ending with multiple 's will cause all text after it being colored as string.
• Does not support 'identifier, "label-as-type".

cc. @edwinb

[david-christiansen]

Depending on what APIs Sublime provides for coloring text, I would imagine that the best fix would be to use the Idris compiler's highlighting information directly. That way, it can also respond to things like user syntax extensions. This is how the Emacs mode and my hacky slide presentation package work.

It looks to me like Sublime's plugin API does support custom coloring code, with the add_regions API call. Though I didn't see if the set of scopes was user-extensible.