Programs that use TH need to be built twice if they are to be built for profiling. This is because TH needs to link with vanilla code, not the profiling variant.
We've added support for building libs for profiling that use TH, but that was easy as we alreay have support for building both profiling and vanilla libs at once.
So what needs to be done for building programs is if TH is used then we must build once (but not link) without profiling and then build again normally with profiling.
This will need testing with ghc-6.5/6.6 and a test added to the testsuite. One test ought to be able to cover the cases for libs and for executables, ie a lib that uses TH with an executable that uses it too.
