Stream: Ltac2

Topic: Locating evars

Jason Gross (Sep 28 2022 at 10:45):

Is there any way to figure out where an evar comes from in the error message Cannot infer this placeholder of type from Control.with_holes? (see also https://github.com/coq/coq/issues/16555)

Last updated: Sep 09 2024 at 05:02 UTC