Pp comments

[toku-sa-n]

Closes: #256

[toku-sa-n]

Pcoq.Parsable.comments always returns an empty list, and I don't know how to retrieve comments.

[BridgeTheMasterBuilder]

I have not investigated this very deeply but I did dig around in the Coq source code for a while and eventually found this in gramlib/plexing.mli

  (* State for the comments, at some point we should make it functional *)
  module State : sig
    type t
    val init : unit -> t
    val set : t -> unit
    val get : unit -> t
    val drop : unit -> unit
    val get_comments : t -> ((int * int) * string) list
  end

So... possibly it's a TODO? I honestly am not sure yet how to verify whether or not it stores comments, maybe it's worth opening an issue on the Coq GitHub inquiring about this. Maybe they just haven't gotten around to it because nobody needed this feature (until now).

[toku-sa-n]

I sent a question to Coq's Zulip.

[toku-sa-n]

Answer: Flags.beautify := true

[BridgeTheMasterBuilder]

Answer: Flags.beautify := true

Awesome! Didn't expect an answer so soon.