Invalid patterns are accepted by OMC

[sjoelund.se]

Non-existing fields are accepted:
{{{uniontype Ut

record UT
end UT;

end Ut;

function fn

input Ut ut;
output String str;

algorithm

str := match ut

case UT(exp = 1) then "fail1";
else "fail2";

end match;

end fn;}}}

Duplicate fields are accepted:
{{{uniontype Ut

record UT

Integer exp;

end UT;

end Ut;

function fn

input Ut ut;
output String str;

algorithm

str := match ut

case UT(exp = 1, exp = 2) then "fail1";
else "fail2";

end match;

end fn;}}}

[sjoelund.se]

Fixed in r6918