id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
1591	MetaModelica: Faster singleton uniontype matching	Martin Sjölund	Martin Sjölund	"{{{
package P
  uniontype UT
    record R Real r; end R;
  end UT;
  function f
    input UT u;
    output Real o;
  algorithm
    o := match u
      case R(o) then o;
    end match;
  end f;
  constant Real r = f(R(1.5));
end P;
}}}

The generated code will verify that u has the correct type before using it, but that's not necessary."	defect	closed	high				fixed		Martin Sjölund