Deprecate the -h profiling flag, in favour of explicitliy choosing -hc or -hT
When profiling is turned on
-hc. When profiling is turned off,
-hT. This has always caused me confusion, it would be simpler to not have this simple alias at all and make users explicitly choose which profiling mode they mean.
We can still have a nice error message which tells users to either use
-hT depending on the RTS way.
Proposal: Deprecate the
-h flag and tell users to either use