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.)

Thanks for the feedback. I don't think we'll change the default, but we will add some kind of consistency checking at some point. Cheers, Sim