13 Jan
2009
13 Jan
'09
1:50 p.m.
Judah Jacobson ha scritto:
[...]
(For those interested: rlwrap is available in cygwin. It used to work very well on old ghci, when line editing wasn't available.)
This does sound useful; the main difficulty is that when a program has stdin piped from another process it may behaved differently. For example, ghci uses block buffering and doesn't print its prompt when stdin doesn't appear to be a terminal. The solution on POSIX is probably to use some sort of pseudo-terminal support; I don't know what the right thing to do on Windows is.
On Windows you can create a Console object: http://msdn.microsoft.com/en-us/library/ms682087.aspx Regards Manlio Perillo