id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
6149	The NF accepts illegal type declarations?	Francesco Casella	Per Östlund	"Please consider the following test model
{{{
model TestComplex
  type ComplexPU = Complex(re(final unit = ""1""), im(final unit = ""1""));
  constant ComplexPU j = Complex(0,1);
end TestComplex;
}}}
OMC accepts it and compiles it, while Dymola complains that
{{{
A type may only inherit from the same kind of specialized class,
but ComplexPU inherited from record Complex.
}}}
and only accepts the model if I replace {{{type}}} with {{{operator record}}}. I couldn't find the place in the specification that explains what you can put in {{{type}}} declarations, but I guess OMC is too lax here."	defect	new	blocker	2.0.0	New Instantiation