Documentation for `-hi` missing from RTS help text
There is no documentation for the -hi
flag in the text given by +RTS --help
.
It should have an entry and it should be shown in both profilled and non-profilled builds.
There is no documentation for the -hi
flag in the text given by +RTS --help
.
It should have an entry and it should be shown in both profilled and non-profilled builds.