Explorar el Código

give proper error when constructor lookup in exception patcher fails

see #12208
Simon Krajewski hace 3 meses
padre
commit
5bc514f773
Se han modificado 1 ficheros con 2 adiciones y 1 borrados
  1. 2 1
      src/filters/exception/saveStacks.ml

+ 2 - 1
src/filters/exception/saveStacks.ml

@@ -111,7 +111,8 @@ let patch_constructors ectx =
 							}
 							}
 						| _ -> die "" __LOC__
 						| _ -> die "" __LOC__
 					)
 					)
-				| None -> die "" __LOC__
+				| None ->
+					raise_typing_error "Could not patch constructor on this function because there isn't one" cls.cl_name_pos
 				| _ -> ()
 				| _ -> ()
 				)
 				)
 			| _ -> ()
 			| _ -> ()