
7 Nov
2007
7 Nov
'07
8:12 a.m.
On Nov 6, 2007 10:15 PM, David Benbennick
What about using hGetContents to just read ALL of the input, as a lazy string? Then you look through that string for success or failure. In other words,
readACL2Answer pout = do s <- hGetContents pout parse s here
Ironically, this was my first problem. First of all, I don't think I want the semi-closed state -- I want to be able to read and write freely later on (I may be misunderstanding semi-closed, however). Second, when I used this approach, after the hGetContents call I did the regexp matching, and the program hung during matching. -- Denis