Functions are sometimes not type checked when passed as arguments

[perost]

This code should produce an error message, but currently compiles:

function f
  input Integer i;
  input FuncT func;
  
  partial function FuncT
    input String s;
  end FuncT;
algorithm
  func(String(i));
end f;

function wrongType
  input Integer i;
  input Integer i2 = 1;
algorithm
  print(String(i) + "\n");
  print(String(i2) + "\n");
end wrongType;

function test
algorithm
  f(1, wrongType);
end test;

The function signature of wrongType doesn't match what f expects at all, but it seems this isn't checked. The default argument also doesn't seem to be used, and when I run the script it prints a random number for i and 0 for i2. This is pretty bad since it's easy to write code that looks (and should be) correct, but which gives undefined behaviour. The same thing happens when using function partial application instead of just passing the argument as it is.

[sjoelund.se]

Function partial application is a standard Modelica feature.

[sjoelund.se]

This seems to be related to Adrian's changes that function pointers seem to automatically cast their type to the result of the function so we can't check function pointer arguments; only their result types: ​https://github.com/OpenModelica/OMCompiler/commit/73f37044f4

[sjoelund.se]

Will see if ​https://github.com/OpenModelica/OMCompiler/pull/2283 breaks any tests (or the library coverage)