Array slice should have implicit : in trailing index positions

[Henrik Tidefelt]

The following model, taken from page 111 in the Modelica specification version 3.3,

model Page111
  type Point = Real[3];
  Point p1[10];
  Real r[3] = p1[2]; // equivalent to r[3] = p1[2, :]
end Page111;

doesn't validate:

[<interactive>:4:3-4:20:writable] Error: Wrong number of subscripts in p1[2] (1 subscripts for 2 dimensions).
[<interactive>:4:3-4:20:writable] Error: Variable p1[2] not found in scope Page111.
Error: Error occurred while flattening model Page111

[Per Östlund]

The spec is a bit fuzzy on this, so I opened a ticket ​here. Unless otherwise decided on the ticket I consider this illegal, because the spec doesn't explicitly say that indices should be padded with : (examples are frequently found to be wrong in the spec). Also, Dymola says that this example is illegal, which is the reason I implemented the check in the first place.

[Henrik Tidefelt]

The fuzziness has been resolved in favor of considering it legal, see Modelica ticket.

[Per Östlund]

Should be fixed in r24379.

[Dietmar Winkler]

It doesn't make sense to keep closed ticket in the "Future" milestone that were simply forgotten to assign to the correct milestone in the past.

[Martin Sjölund]

Removing the pre1.9.4 milestone in favor of 1.9.4.