Stream: Ltac2

Topic: Locating evars


view this post on Zulip 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: Jan 31 2023 at 10:01 UTC