Cyclic dependant parameter error in replaceable function

[Markus Dahl]

Validation of P.M in the package below yields the following error in the message browser (but also reports the validation as successful):

Error: Cyclically dependent constants or parameters found in scope : {x}.

In the Base model, changing the modifier x=x in the redeclaration of the function to x=5 will resolve the error. However those two statements should be equivalent.

Package:

package P

  function f
    input Real x;
    output Real y;
  algorithm
    y := x + 2;
  end f;

  partial model Base
    replaceable partial function func = f;
  end Base;

  model M
    extends Base(redeclare final function func = f(x = x));
    parameter Real x = 5;
    Real y = func(1);
  end M;

end P;

[Markus Dahl]

Package file needed to reproduce the error

[Adrian Pop]

I guess this is a duplicate of #3368.

[Markus Dahl]

The error message generated from the ExampleModel in CTest.mo is not the same as in ticket #3368. CTest also succesfully validates while #3368 does not. However the tickets are very similar.