finally part run twice on Ctrl-C

[Philip K.F. Hölzenspies]

On Friday 27 February 2009 09:39:14 Neil Mitchell wrote:
> It looks like you are running in GHCi, which I think works. It's only
> when the program is compiled and run from the command line (Cygwin or
> DOS) that I get the above problem.

Dear Neil,

You were right. When I do compile it, though, I get the same (correct) 
behaviour (now I pressed Ctrl-C the first run and let it be for the second):

holzensp at ewi1043:~/tmp> ghc Test.hs
holzensp at ewi1043:~/tmp> ./a.out
goodbye
holzensp at ewi1043:~/tmp> ./a.out
goodbye
holzensp at ewi1043:~/tmp>  

This is on Linux, though, so it may also be OS-dependent.

Regards,
Philip