On Wed, Nov 21, 2007 at 07:55:51PM +0100, Johannes Waldmann wrote: > > PS: indeed I just checked the docs and found -XDisambiguateRecordFields > Was this advertized? It's in the 6.8.1 release notes (well, the -fdisambiguate-record-fields flag is, but we should have advertised -XDisambiguateRecordFields instead). Thanks Ian