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: https://github.com/querycert/qcert/blob/4095ca212e8ab67e655e43afb7ce5e2b96a09bf8/runtimes/javascript/qcert-runtime-core.js#L35

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