Ways and Build Tags for Optimisation

[Simon Peyton-Jones]

| For some reason, even though only getCharacterName is exported, when
| optimisation is switched on, the interface file balloons a
thousandfold:
| 
| $ ls -l UnicodeNames.*hi
| -rw-r--r--    1 ashley   ashley    5854480 May 28 02:49
UnicodeNames.hi
| -rw-r--r--    1 ashley   ashley    5854497 May 28 06:56
UnicodeNames.p_hi
| -rw-r--r--    1 ashley   ashley       2385 May 28 15:59
UnicodeNames.q_hi
| 
| What's the best way to stop this? Is it reasonable to simply switch
off
| profiling just for these few files?

Ashley

We'd like to understand why the file gets so much bigger. Can you send
us the smallest example you can that shows the 1000x ballooning?

Thanks

Simon