Policy for the superficial layout (spacing, newlines, ...). about stdlib2 HOT 5 OPEN

Are there any existing code formatters for Coq?

from stdlib2.

@gmalecha The beautifier is one but in its current state it produces quite horrible output. However, we could consider working on it again to make it a good formatter. It would typically be the kind of thing that should be available in a Coq language server (cc @ejgallego). Code formatters are a very trendy approach these days (gofmt, elm-format, etc.) to making sure that discussions on formatting do not interfere with other works and to "reducing cognitive load".

from stdlib2.

You can indeed use SerAPI to print a whole file in a slightly more controlled way, however this uses the same printer than the "beautifier", so you won't get terribly different output even if you could perform some additional tweaks thanks the to extra control.

Of course, you can parse the JSON/SEXP representation of the AST in any other language and print as you'd like.

from stdlib2.

from stdlib2.

@spitters thanks for the link, you could implement that kind of script today in a robust way using SerAPI.

from stdlib2.