line pragmas interact badly with error messages

[Toxaris]

• When a source file has line pragmas, the code snippets in error messages are taken from the wrong file.
• If a line pragma changes the current line number so that an error message should report a line number greater than the number of lines in the current file, the line number reported in the error message is truncated to the number of lines in the current file.