- difficulty changed from Moderate (1 day) to Difficult (1 week)
- summary changed from Profiling doesn't work with -threaded to Profiling doesn't work with SMP execution
- milestone changed from 6.10 branch to _|_
I've now enabled -prof -threaded, it turns out that there weren't any major problems preventing their use together, we were just being conservative.
However, it is certainly a lot of work to make profiling work with SMP (+RTS -N2), and I don't think this is a high priority: you can just profile on a single CPU. Profiling parallel performance is another problem altogether (which is certainly on our radar). I've added a note to the profiling section of the user guide to mention that +RTS -N2 is not supported with profiling.