Fail if type-checking fails (did not assign to the output)

git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@23472 f25d12d1-65f4-0310-ae8a-bbce733d8d8e
OpenModelica · Nov 20, 2014 · 556de0a · 556de0a
1 parent bb8d008
commit 556de0a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Compiler/FrontEnd/Static.mo b/Compiler/FrontEnd/Static.mo
@@ -776,8 +776,8 @@ algorithm
     exp_str := Dump.printExpStr(inExp);
     ty1_str := Types.unparseType(Types.getPropType(prop1));
     ty2_str := Types.unparseType(ty2);
-    Error.addSourceMessage(Error.META_CONS_TYPE_MATCH,
-      {exp_str, ty1_str, ty2_str}, inInfo);
+    Error.addSourceMessage(Error.META_CONS_TYPE_MATCH, {exp_str, ty1_str, ty2_str}, inInfo);
+    fail();
   end try;
 end elabExp_Cons;