After name resolution, the URI annotation on a reference includes the namespace. Is there some way to specify different syntax highlighting of names, based on their resolved namespaces? Could the patterns used to match sorts and/or constructors in *-Colorer.esv be generalised to allow also the namespace to be specified, and the required highlighting code generated from that?

Asked by Peter Mosses on 26 November 2013 at 18:06

We don’t support semantic highlighting yet, only syntactic highlighting, so unfortunately this cannot be done yet.

Answered by Gabriël Konat on 27 November 2013 at 10:13