Incorrect Type Unboxing (?) when calling funargs in if expressions

[adabe588@…]

The call to predicate in this code throws Error: Type error in conditional ( predicate(#(i))). Expected Boolean, got #Boolean (in component: <NO COMPONENT>).. Using anything other than an if expression seems to work properly (inside if statement, plain call), and calling constTrue directly in the if expression instead of the funarg also works.

package Test

function f
  input Predicate predicate;
  input Integer i;
  output Integer r;
protected
  partial function Predicate
    input Integer value;
    output Boolean result;
  end Predicate;
algorithm
  r := if predicate(i) then 1 else 2;
end f;

function constTrue
  input Integer x;
  output Boolean t;
algorithm
  t := true;
end constTrue;

function test
algorithm
  f(constTrue, 0);
end test;

end Test;

[Martin Sjölund]

Fixed in r13076.