Stream: Coq devs & plugin devs

Topic: ✔ Writing a term of type Pp.t to a file


view this post on Zulip Arpan Agrawal (Feb 06 2023 at 17:16):

Is there a standard way to do this from a plugin? All the file writing methods I see in OCaml take string or string array arguments for writing to file. But since "Pp" is described as the Coq document type, I'm guessing there must be a way to write it to a file?

Thanks!

view this post on Zulip Guillaume Melquiond (Feb 06 2023 at 17:53):

Pp.pp_with (Format.formatter_of_out_channel ...) ...

view this post on Zulip Arpan Agrawal (Feb 06 2023 at 18:09):

That's exactly what I was looking for, thanks!

view this post on Zulip Notification Bot (Feb 06 2023 at 18:09):

Arpan Agrawal has marked this topic as resolved.


Last updated: Feb 27 2024 at 23:01 UTC