IIRC coqc does it, but I cannot find the code (so to reuse it in Elpi)

it doesn't

the I must have seen a PR, or an issue... :-/

https://github.com/coq/coq/pull/17334 and followup https://github.com/coq/coq/pull/17568 ?

thanks

Last updated: Oct 13 2024 at 01:02 UTC