While I would like to get semantic highlighting working properly for source code, the bulk of the highlighting is always going to come from the Textmate grammar. Semantic highlighting is great for vars, types and functions, but it doesn't cover most of the keywords and operators. Also, many VS themes don't support it yet.
The existing grammar only covers a fraction of Idris' syntax. Rather than spend ages replicating other plugins' highlighting, I'll just borrow them, with appropriate attribution. The grammars are nice and self-contained, so it doesn't really impinge on any other aspect of the plugin.
Context
While I would like to get semantic highlighting working properly for source code, the bulk of the highlighting is always going to come from the Textmate grammar. Semantic highlighting is great for vars, types and functions, but it doesn't cover most of the keywords and operators. Also, many VS themes don't support it yet.
See also https://github.com/meraymond2/idris-vscode/issues/5.
Changes
The existing grammar only covers a fraction of Idris' syntax. Rather than spend ages replicating other plugins' highlighting, I'll just borrow them, with appropriate attribution. The grammars are nice and self-contained, so it doesn't really impinge on any other aspect of the plugin.