Implement non-expanded arrays and for-loops in the front-end

[Adrian Pop]

This task will cover the implementation of non-expanded arrays and for-loops in the compiler:

• do not expand arrays and for loops during flattening
• the arrays and for loops could be expanded between front-end and back-end if the back-end cannot handle them yet

[AlexeyLebedev]

I have added a test case (mofiles/NonExpArray1.mo) to sjoelunf-functiontree branch.

The dimensions of non-expanded arrays variables are represented in flat Modelica as 1:dim because they are represented in DAE.VAR as SLICE(RANGE(1:NONE():dim)) at the moment. This will probably be changed in the future, so the test case result will also change.

Unfortunately, it is not possible yet to have something like
{{{parameter Integer p;
Real x[p] = zeros(p);}}}

because expressions like zeros(p) can not be represented by Values.Value - Values.ARRAY can only represent an array of known dimension.

[Volker Waurich]

Hi,
are there any plans to start the implementation for that in the near future?

[Adrian Pop]

Already in progress for the new front-end. Hopefully we'll have something that can be used soon.

[Martin Sjölund]

Moved to new milestone 1.9.4

[Martin Sjölund]

Milestone pushed to 1.9.5

[Martin Sjölund]

Milestone renamed

[Martin Sjölund]

Ticket retargeted after milestone closed

[Martin Sjölund]

Milestone moved to 1.12.0 due to 1.11.0 already being released.

[Francesco Casella]

The milestone of this ticket has been reassigned to "Future".

If you think the issue is still valid and relevant for you, please select milestone 1.13.0 for back-end, code generation and run-time issues, or 2.0.0 for front-end issues.

If you are aware that the problem is no longer present, please select the milestone corresponding to the version of OMC you used to check that, and set the status to "worksforme".

In both cases, a short informative comment would be welcome.

[Per Östlund]

The new frontend only expands arrays and for-loops after flattening, and with -d=-nfScalarize it doesn't expand them at all. So I guess we can close this ticket.