id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
6359	Validation of a function with flexible array dimensions should not given an error message	gwr	Per Östlund	"As reported on [https://stackoverflow.com/q/65979673/5363743 StackOverflow] the following function is perfectly legal Modelica code:

{{{
function foo
   input Boolean[:] x;
   output Boolean y;
algorithm
   y := true;
end foo;
}}}

Yet, validation raises an error:

    [1] 14:27:31 Translation Error
    [foo: 2:3-2:42]: Failed to deduce dimension 1 of x due to missing binding equation.

Since this is legal Modelica code, there should simply be a ''warning'' message—not an error—that the function cannot be checked and may cause an error if array size cannot be determined at compilation time.

Related: #2276, #1555
"	discussion	closed	critical	1.18.0	New Instantiation	1.16.0	fixed	flexible array size, function	Adeel Asghar