Type-check arguments of function pointers

This fixes ticket:4786. Belonging to [master]: - OpenModelica/OMCompiler#2283 - OpenModelica/OpenModelica-testsuite#878
OpenModelica · Mar 16, 2018 · e89be00 · e89be00
1 parent 659c567
commit e89be00
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/Compiler/FrontEnd/Types.mo b/Compiler/FrontEnd/Types.mo
@@ -1564,12 +1564,6 @@ algorithm
         true = subtype(t1,t2,requireRecordNamesEqual);
       then true;
 
-    case (DAE.T_FUNCTION(funcResultType = t1),t2)
-      then subtype(t1,t2,requireRecordNamesEqual);
-
-    case (t1,DAE.T_FUNCTION(funcResultType = t2))
-      then subtype(t1,t2,requireRecordNamesEqual);
-
     case (DAE.T_FUNCTION_REFERENCE_VAR(functionType = t1),DAE.T_FUNCTION_REFERENCE_VAR(functionType = t2))
       then subtype(t1,t2);