Stream: Coq devs & plugin devs

Topic: ✔ How to use Top_printers

view this post on Zulip Ali Caglayan (Feb 17 2022 at 21:34):

How can I access Top_printers in say retyping? Is it possible?

view this post on Zulip Gaëtan Gilbert (Feb 17 2022 at 21:35):

what for? it's a debug thing

view this post on Zulip Ali Caglayan (Feb 17 2022 at 21:36):

Yeah for some quick and dirty printing

view this post on Zulip Ali Caglayan (Feb 17 2022 at 21:36):

I guess I will have to load the debugger like the rest of the class

view this post on Zulip Notification Bot (Feb 17 2022 at 21:38):

Ali Caglayan has marked this topic as resolved.

view this post on Zulip Hugo Herbelin (Feb 17 2022 at 22:03):

You can use Termops.Internal.print_constr_env if you need to print rather than stepping in the debugger.

Last updated: Jun 09 2023 at 08:01 UTC