id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
4473	MetaModelica: unable to pass tuple types correctly	Henning Kiel	Martin Sjölund	"I tried to simplify some code and replaced e.g. the following code in {{{ResolveLoops.mo}}}:

{{{
protected function getEqPairs
...
  //old working code:
  //eqs := List.map(List.flatten(List.map1(vars,Array.getIndexFirst,meT)),Util.tuple31);

  //new code failing to compile:
  eqs := List.map(List.map1Flat(vars,Array.getIndexFirst,meT),Util.tuple31);
}}}



{{{
Error: Type mismatch in assignment in eqs := List.map(List.map1Flat(vars, Array.getIndexFirst, meT), Util.tuple31) of list<#Integer> := list<polymorphic<$.Util.tuple31.T1>>
Error: Type mismatch in pattern eqs
expression type:
  list<polymorphic<$.Util.tuple31.T1>>
pattern type:
  list<#Integer>
}}}

"	defect	new	high	Future	MetaModelica