Skip to content

Commit

Permalink
Fix inline type checking.
Browse files Browse the repository at this point in the history
- Allow record types to have different names when checking that the type
  of the call to be inlined and its output is the same.

Belonging to [master]:
  - OpenModelica/OMCompiler#2784
  • Loading branch information
perost authored and OpenModelica-Hudson committed Nov 12, 2018
1 parent 7905e37 commit 42eeda4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Compiler/FrontEnd/Inline.mo
Expand Up @@ -792,7 +792,7 @@ algorithm
ty1 = Expression.typeof(inExp1);
ty2 = Expression.typeof(inExp2);
ty2 = Types.traverseType(ty2, -1, Types.makeExpDimensionsUnknown);
b = Types.equivtypes(ty1,ty2);
b = Types.equivtypesOrRecordSubtypeOf(ty1,ty2);
end if;
then b;
end match;
Expand Down

0 comments on commit 42eeda4

Please sign in to comment.