On Wed, Sep 17, 2008 at 01:31:26PM +0200, Henning Thielemann wrote: > Say I acquire a text by readFile, feed it to a lazy parser and the parser > stops reading because of a parse error. After the parser error I won't > fetch more characters from the text file, but readFile does not get to > know that and cannot close the file. Actually, when encountering a parser > error I could read the remaining characters from the file in order to let > readFile close the file eventually, but this sounds rather inefficient. > So, what is the right way to go, or do I have to stay away from readFile > (and maybe unsafeInterleaveIO at all)?
Eventually the garbage collector should close the file, I believe. David _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
