On Tuesday 14 December 2010 17:50:30, Simon Marlow wrote: > This particular example seems to be fixed, at least with the current > HEAD: Also with 7.0.1. On my 32-bit system, -O increases the Types.o size from 37K to 45K which is reasonable, while with 6.12.3 it goes from 38K to 543K.