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

[Simon Marlow]

> Hal Daume III <hdaume@ISI.EDU> writes:
>=20
> > For what it's worth (I don't know whether defaulting -prof=20
> to mean '-prof
> > -osuf p_o -hisuf p_hi' was going to be adopted or not), but=20
> I'm against
> > it.
>=20
> 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).
>=20
> (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