
14 Dec
2007
14 Dec
'07
8:24 p.m.
On Dec 15, 2007 2:16 AM, Felix Martini
I agree with Duncan. getHomeDirectory should follow the Windows API. There are other unix-style dot-config files in my Windows home folder as well. Ideally the ghci config file would be put into <AppData>\GHC\.
Have you installed any program that automatically set up %HOME so it would interfere with the default behavior proposed? Because what Yitzchak Gale proposed and I seconded does not mean that getHomeDirectory will not "follow the Windows API", unless very specifically requested by setting HOME. Juanma