Default name of target executable

Tue Oct 11 05:03:43 EDT 2005

Simon Marlow wrote:
> On 11 October 2005 06:29, Tomasz Zielonka wrote:
[..]
>> Would you accept the patch?
> 
> 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.

I support this, too! (Ask not only for a - tested - code patch, but also 
for a patch of the user guide)

> You can always use Cabal, BTW :)

ghc should supply it, too.

> Anyone else?

Cheers Christian