id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
1350	Invalid patterns are accepted by OMC	Martin Sjölund	Martin Sjölund	"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;}}}"	defect	closed	high	Bootstrapping	Instantiation		fixed		Martin Sjölund