Re: Forcing apps to collect GC stats?

On Thu, Jul 31, 2014 at 6:55 PM, Austin Seipp wrote:

And also, take note the conditional is very specific; you want COLLECT_GC_STATS only when NO_GC_STATS is the current setting - if you unconditionally force COLLECT_GC_STATS, then things like `+RTS -sstderr -RTS` will no longer work. I mention this because I messed it up originally. :)

Could you expand a bit on this. I want to programtically set whatever flags/settings would be set if the user passed +RTS -T on the command line.