id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
3006	Implement matching on enumerations	Per Östlund	Martin Sjölund	"I fixed the type system to allow enum variables inside metarecords in r23571, but there is no support for using enumerations in patterns yet. It seems only simple identifiers are allowed right now, so matching against an enumeration literal gives an invalid pattern error. Example:
{{{#!mo
type E = enumeration(one, two, three);

uniontype U
  record R
    E e;
  end R;
end U;

function test
protected
  U u = R(E.one);
algorithm
  _ := match u
    case R(E.one) then ();
    else fail();
  end match;
end test;
}}}"	enhancement	closed	normal	1.9.4	MetaModelica	trunk	fixed