id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
2827	Function partial application doesn't work with polymorphic types	Per Östlund	Martin Sjölund	"Function partial application gives template error when compiling:
{{{
function foldr<T, FT>
  input list<T> inList;
  input FoldFunc inFoldFunc;
  input FT inStartValue;
  output FT outResult := inStartValue;

  partial function FoldFunc
    input FT inFoldArg;
    input T inElement;
    output FT outFoldArg;
  end FoldFunc;
algorithm
  for e in inList loop
    outResult := inFoldFunc(outResult, e);
  end for;
end foldr;

public function fold1<T, FT, ArgT1>
  input list<T> inList;
  input FoldFunc inFoldFunc;
  input ArgT1 inExtraArg;
  input FT inStartValue;
  output FT outResult;

  partial function FoldFunc
    input T inElement;
    input ArgT1 inConstantArg;
    input FT inFoldArg;
    output FT outFoldArg;
  end FoldFunc;
algorithm
  outResult := fold(inList, function inFoldFunc(inConstantArg = inExtraArg), inStartValue);
end fold1;
}}}"	defect	closed	high	1.9.1	MetaModelica	trunk	fixed