give proper error when constructor lookup in exception patcher fails

Simn · Simn · commit 5bc514f77365 · 2025-04-26T12:41:13.000+02:00
see #12208
diff --git a/src/filters/exception/saveStacks.ml b/src/filters/exception/saveStacks.ml
@@ -111,7 +111,8 @@ let patch_constructors ectx =
 							}
 						| _ -> 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
 				| _ -> ()
 				)
 			| _ -> ()

Original file line number	Diff line number	Diff line change
`@@ -111,7 +111,8 @@ let patch_constructors ectx =`
`111`	`111`	`}`
`112`	`112`	`\| _ -> die "" __LOC__`
`113`	`113`	`)`
`114`		`- \| None -> die "" __LOC__`
	`114`	`+ \| None ->`
	`115`	`+ raise_typing_error "Could not patch constructor on this function because there isn't one" cls.cl_name_pos`
`115`	`116`	`\| _ -> ()`
`116`	`117`	`)`
`117`	`118`	`\| _ -> ()`