Hi Frank,
OK record_mismatch_token_errors.patch is pushed, thanks Roman! It may be a litte while before I can evaluate make_indexer_report_diagnostics_with_line_column_length_info.patch - so I'll leave this bug open.
_______________________________________
Jython tracker <report@bugs.jython.org>
<http://bugs.jython.org/issue1866>
_______________________________________