id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
1043	Checking for type mismatch (from MathCore)	krsta	krsta	"We need to check for type mismatch. 

e.g. the following model is illegal and a check confirms that:
{{{
model TestType
   parameter Integer red = 0.2;
end TestType;
}}}
The following model is also illegal but the check misses that.
{{{
model TestType2
   extends ColorData;
   parameter Real blue = 0.6;
   parameter Integer red = 0.2;
   Real green;
equation 
   red + blue + green=1;
end TestType2;

record ColorData
  parameter Real red = 0.2;
  parameter Real blue = 0.6;
  Real   green;
end ColorData;
}}}"	defect	closed	critical				fixed		krsta