Re: Giving profiled object files a different extension (was: RE: Profiling suggestion)

Hal Daume III writes:

For what it's worth (I don't know whether defaulting -prof to mean '-prof -osuf p_o -hisuf p_hi' was going to be adopted or not), but I'm against it.

Yep. I don't remember if I was the one raising the issue or just participating, but I'm perfectly satisfied with the -osuf and -hisuf options (which I hadn't discovered at the time). (I still advocate generating a warning/error when GHC is used to link profiling and non-profiling object files, though. But as it never happens anymore, it's not a big deal.) -kzm -- If I haven't seen further, it is by standing in the footprints of giants