RE: Default name of target executable

11 Oct
2005
11 Oct
'05
10:06 a.m.
On 11 October 2005 11:04, Duncan Coutts wrote:
I'd tend to agree.
It'd mean one less magic incantation to tell students when teaching practicals (and one less thing for them to get wrong) if they can do:
ghc --make Main.hs
rather than
ghc --make Main.hs -o Main
(that's one advantage of ghci for teaching students, that 'ghci Blah.hs' "Just Works"tm)
Ok, let's close this bikeshed. Someone want to send us a patch? Cheers, Simon

13 Oct
13 Oct
5:57 p.m.
New subject: Default name of target executable
On 10/11/05, Tomasz Zielonka
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
7205
Age (days ago)
7207
Last active (days ago)
2 comments
2 participants
participants (2)
-
Simon Marlow
-
Tomasz Zielonka