Opened 7 years ago

#4473 new defect

MetaModelica: unable to pass tuple types correctly

Reported by: Henning Kiel Owned by: Martin Sjölund
Priority: high Milestone: Future
Component: MetaModelica Version:
Keywords: Cc:

Description

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>

Change History (0)

Note: See TracTickets for help on using tickets.