> Has anybody used the Format module for pretty-printing C-style  
> syntax? After reading the documentation ("Using the Format  
> module"), I cannot get it to line up the braces in a manner that is  
> convential for such a syntax.

Here is an alternative: I am using the purely functional pretty  
printer suggested by Wadler for emitting a subset of C. You can find  
the pretty printer itself, as well as the pretty printer for C here:

http://quest-tester.googlecode.com/svn/trunk/src/pretty.nw
http://quest-tester.googlecode.com/svn/trunk/src/ppcee.nw

-- Christian