Re: ANNOUNCE: GHC version 6.8.2

Juanma Barranquero wrote:

On Dec 14, 2007 3:53 PM, Simon Marlow wrote:

...

But do you really want getHomeDirectory to return $HOME?

Yes!

If I define %HOME, it is *exactly* because I don't want to use Windows' idea of a home directory (which could be perhaps more accurately defined as "hidden away storage area for automatically-saved configuration settings").

Ok. Unless there are any objections, this is what we'll do. Cheers, Simon