On Thu, Sep 13, 2007 at 01:31:52PM +0100, Ross Paterson wrote: > Recent versions of cpphs also strip // comments in --strip mode, > > (Though gcc's cpp strips them too -- I'm not sure how this ever worked.) "gcc -E -traditional" doesn't strip them; that's how it works in GHC at least. Thanks Ian