Checking for type mismatch (from MathCore)

[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;

[Jan Brugård]

​http://intranet/trac/mathmodelica/ticket/1083.

This works now. closing.