@@ -12229,6 +12229,8 @@ algorithm
1222912229 equation
1223012230 (e1,_) = Types.matchType(e1, t1, DAE.T_BOOL_DEFAULT, true);
1223112231 (t2_1,t3_1) = Types.ifExpMakeDimsUnknown(t2,t3);
12232+ t2_1 = Types.getUniontypeIfMetarecordReplaceAllSubtypes(t2_1);
12233+ t3_1 = Types.getUniontypeIfMetarecordReplaceAllSubtypes(t3_1);
1223212234 (e2_1,t2_1) = Types.matchType(e2, t2_1, t3_1, true);
1223312235 c = constIfexp(e1, c1, c2, c3) "then-part type converted to match else-part" ;
1223412236 (cache,exp,ty) = cevalIfexpIfConstant(cache,env, e1, e2_1, e3, c1, t2, t3, t2_1, impl, st, inInfo);
@@ -12239,6 +12241,8 @@ algorithm
1223912241 equation
1224012242 (e1,_) = Types.matchType(e1, t1, DAE.T_BOOL_DEFAULT, true);
1224112243 (t2_1,t3_1) = Types.ifExpMakeDimsUnknown(t2,t3);
12244+ t2 = Types.getUniontypeIfMetarecordReplaceAllSubtypes(t2);
12245+ t3 = Types.getUniontypeIfMetarecordReplaceAllSubtypes(t3);
1224212246 (e3_1,t3_1) = Types.matchType(e3, t3, t2, true);
1224312247 c = constIfexp(e1, c1, c2, c3) "else-part type converted to match then-part" ;
1224412248 (cache,exp,ty) = cevalIfexpIfConstant(cache,env, e1, e2, e3_1, c1, t2, t3, t3_1, impl, st, inInfo);
0 commit comments