On Sat, Apr 23, 2011 at 09:39:37AM -0700, yoann padioleau wrote:
> like indent?
> 
> http://www.gnu.org/software/indent/manual/indent.html#SEC12

Like indent, but based on rules instead of on ad-hoc policies such as:

     -bs, -nbs       If -bs is specified, a blank is forced after sizeof.
                     Default: -nbs.

> It's called pretty printing in the literature I think, e.g. wadler 
> combinators:
> homepages.inf.ed.ac.uk/wadler/papers/prettier/prettier.pdf

Hmm.  I scanned that paper.  I did not see one beautiful program, but
did see a bad page break---e.g., the one between pages 15 and 16. :-)

> One could use the coccinelle infrastructure to write such a pretty
> printer indeed.

Glad to hear it!

Dave

-- 
David Young             OJC Technologies
[email protected]      Urbana, IL * (217) 344-0444 x24
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to