Duplicate function definitions are not reported as such

[casella]

Consider the following test package, where function f is defined twice

package TestDuplicateFunction
  function f
    input Real x;
    output Real y;
  algorithm
    y := x;
  end f;
  
  function f
    input Real x;
    input Real z;
    output Real y;
  algorithm
    y := x+z;
  end f;

  model Test
    Real r = f(time);
  end Test;
end TestDuplicateFunction;

When compiling Test.TestDuplicateFunction, the following error messages are obtained:

[1] Translation Error
Internal error Env.avlTreeReplace failed

[2] Translation Error
Error occurred while flattening model TestDuplicateFunction.Test

I guess a somwhat clearer message pointing to the presence of multiple definitions of TestDuplicateFunction.f would be nice to have.

[casella]

Test package .mo file

[anonymous]

relate to #3535

[casella]

Actually a duplicate of #3535