The messages that do not need to be recalculated are displayed at the wrong positions after a change. This is because of an offset from the top of the file which is no longer valid.

Example, original code:

Procedure foobar(G : Graph, pg_rank : N_P) {
 G.pg_rank = NIL;
 Int x = 0;
 Double y = x / 1;
}


(errors on ‘x’ and ‘y’)

Changed to:

Procedure foobar(G : Graph, pg_rank : N_P(G)) {
G.pg_rank = NIL;
Int x = 0;
Double y = x / 1;
}


Errors are now erroneously on ‘n’ and ‘l’ in INt and DoubLe.

Submitted by Vlad Vergu on 20 June 2013 at 16:28

Fixed in https://github.com/metaborg/runtime-libraries/commit/2468d48d344cabe18636984d052be7c23411533c.