MessageRendering

Explanation rendered under "Explanation" header

The whole message rendered from dia.msg.

For a position in an inline expansion, choose pos1 which is the most specific position in the call written by the user. For a diagnostic at EOF, where the last char of source text is a newline, adjust the position to render before the newline, at the end of the last line of text.

The rendering begins with a label and position (posString). Then sourceLines with embedded caret positionMarker and rendered message.

Then an Inline stack trace showing context for inlined code. Inlined positions are taken which don't contain pos1. (That should probably be positions not contained by outermost.) Note that position equality includes outer position; usually we intend to test contains or coincidesWith.

The source file path, line and column numbers from the given SourcePosition

Remove ANSI coloring from str, useful for getting real length of strings