Vectorization does not work in front end

[dhedberg]

I tested the following model in the latest nightly build of OpenModelica and it does not work.

function Foo
  input Integer x[:];
  output Integer y[size(x,1)];
algorithm 
  y := abs(x);
end Foo;

model MyTest
  Integer a[2] = {1, -1};
  Integer b[2];
algorithm
  b := Foo(a);
end MyTest;

I get the following error:

$ omc MyTest.mo
Error processing file: MyTest.mo
[MyTest.mo:5:3-5:14:writable] Error: No matching function found for abs in component <NO COMPONENT>
candidates are function(x:Integer) => Integer
 -function(x:Real) => Real

# Error encountered! Exiting...
# Please check the error message and the flags.

Execution failed!

[dhedberg]

Ticket in MathCore TRAC: ​http://intranet/trac/mathmodelica/ticket/3107

[Martin Sjölund]

Yes, Adrian didn't port this stuff to the trunk

[Peter Aronsson]

Note that this is required by Modelica.Matrices

[Martin Sjölund]

Have you finished work on this in the branch? Or should we add the proper rewrite rule to the trunk?
abs(x) => array(abs(x[i]) for i in 1:size(x))

[Martin Sjölund]

In order to solve this properly, the environment needs to return size(x,1) as the dimension. Not unknown (it is partially known, and we need this knowledge... but OMC does not store this as of yet)

[Martin Sjölund]

This is now working for calls with only one foreach argument (general case requires aforementioned larger changes in the compiler)

[Henrik Tidefelt]

Just to make it explicit, here's a minor modification of the original model, which still exhibits the problem:

function Foo
  input Integer x[:, :];
  output Integer y[size(x, 1), size(x, 2)];
algorithm
  y := abs(x);
end Foo;

model MyTest
  Integer a[2, 2] = {{1, -1}, {2, -2}};
  Integer b[2, 2];
algorithm
  b := Foo(a);
end MyTest;

[Henrik Tidefelt]

Replacing the automatically set Component with one that makes more sense.

[Per Östlund]

All the example models work with both the old and the new frontend, so I guess this was fixed some time ago.