id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
6383	Omc doesn't check correctly the constraining-clause	Andrea Bartolini	Per Östlund	"consider the following package (also attached)

{{{
package Test
  function f1
    input Real u1;
  end f1;
  
  function f2
    input Boolean b1;
  end f2;
 
  model M1
    replaceable function fr = f1
    constrainedby f2;
  end M1;
end Test;
}}}

The functions f1 and f2 aren't ""plug-compatible"" because they have different inputs (different name and different type) without default value, so the  {{{default}}} type and the {{{constrainedby}}} type of the replaceable function {{{fr}}} in the model {{{M1}}} doesn't match.

Checking the model M1 no errors nor warnings are risen by omc.

OMEdit - OpenModelica Connection Editor
Connected to OpenModelica 1.18.0~dev-49-gc5c5e43
sysop: ubuntu 18.04
"	defect	new	blocker	2.0.0	New Instantiation	1.18.0-dev			Francesco Casella