Re: WinHugs for GHCi, prompt feature