On the uselessness of $Id: ... $ tags
Simon Marlow
simonmar@microsoft.com
Mon, 20 Aug 2001 17:11:53 +0100
> > Probably I'm being a little idealistic...
> >
>=20
> Nothing wrong with that :) The RCS Id will get trampled on next you
> check it in to a CVS repo (or the user might change it separately, for
> whatever reasons), so this story doesn't really work.
That's why I said you have to remove the '$'s above. Actually to do it
properly every project should have its own form of Id tags, like $GHC:
.... $, which would avoid this problem.
> And, more to the point, do you _really_ think=20
> ghc/compiler/prelude/primops.txt.pp will travel on to some other
project?
No, but I can easily imagine eg. hslibs/hssource/HsParser.ly might be
included in someone's Haskell compiler.
Feel free to remove them on a lazy basis when they are obviously
unnecessary.
Cheers,
Simon