11 Oct
2005
11 Oct
'05
4:58 a.m.
"Simon Marlow"
I'm slightly inclined not to make this change, but I could be swayed if there was enough interest in it. What I'm seeing so far is not overwhelming support for the change. Simon PJ is in favour, though.
"a.out" is tradition, of course, but OTOH, I don't think anybody actually depends on it. Could it perhaps be made optional, either through a config file (.ghc?) or an environment variable, or some such? -k -- If I haven't seen further, it is by standing in the footprints of giants