JavaScript & Java runtimes concatenate records the wrong way around

[jeromesimeon]

The specification for record concatenation prioritizes on the right:

But the JavaScript runtime prioritizes on the left:

qcert/runtimes/javascript/qcert-runtime-core.js

Line 35 in 4095ca2

function concat(r1, r2) {

function concat(r1, r2) {
    var result = { };
    for (var key1 in r1)
	result[key1] = r1[key1];
    for (var key2 in r2)
	if (!(key2 in r1))
	    result[key2] = r2[key2];
    return result;
}

That feels wrong at some level...

[jeromesimeon]

Fixed in PR #119