Generates data used for precise syntax highlighting.
The module to highlight.
|-> Maybe TCErr|
Precondition: The range of the error must match the file name given in the previous argument.
The abstract syntax of the module.
Termination checking problems.
|-> TCM HighlightingInfo|
Generates syntax highlighting information.
Generates syntax highlighting information for an error, represented as a range and an optional string. The error range is completed so that there are no gaps in it.
Nothing is generated unless the file name component of the range is defined.