28 May
2002
28 May
'02
2:03 p.m.
Oh, my bad, I think I gave a wrong list there. 66 is of course 'B', I was a little sleepless at the time of writing. Now having enjoyed a few hours of sleep I can express more eloquently :)
It seems to be the fourth character that is the problem, but then again that's my mistake. Thank you.
Still it attracts my attention that I cannot type รพ in ghci while I can type it in bash. I think I can't type any of those international chars in ghc. Maybe some bug fix is in order.
Perhaps you could give an example? Bash and GHCi both use the Readline library, and as far as I can tell you can type exactly the same characters to both. Cheers, Simon