Bijan,

On Mon, 19 Nov 2001 15:32:23 -0500 (EST) Bijan Parsia <bparsia at email.unc.edu> wrote:
>I was trying to point out that it doens't *always* substitute semantic
>equvialents for semantic equivalents, even where the de facto difference
>in syntax is minor (e.g., the returning the whole conditional
>vs. returning from each block). In other words, the pragmatics are screwed
>:)

I missed where you actually demonstrated code that was semantically altered by pretty printing. Stylistically, there are lots of complaints one could make, but I have yet to see code that produced different results after pretty printing.

Cheers,
Bob