Re: Default name of target executable

On 10/11/05, Tomasz Zielonka wrote:

On 10/11/05, Simon Marlow wrote:

...

Ok, let's close this bikeshed. Someone want to send us a patch?

I will try to do this

On which branch of GHC should I be working? There are some differences between HEAD and STABLE in the relevant areas. Best regards Tomasz