27 Jun
2011
27 Jun
'11
1:47 p.m.
On Jun 27, 2011, at 1:45 PM, Yitzchak Gale wrote:
David Place wrote:
Suppose the file is only partially demanded as in the case I quoted earlier.
print10 = do contents <- withFile "/usr/share/dict/words" ReadMode (\h -> hGetContents h) print $ take 10 contents
The file would never be closed.
I wrote:
I tried it - it does close the file.
II'm not sure what you mean. Did you create a new version of withFile that behaves as Heinrich suggested? If so, please post its definition.
I just loaded Heinrich's withFile' in GHCi and ran it:
*WithFile> withFile' "/usr/share/dict/words" (print . take 10 . words) open ["A","A's","AOL","AOL's","Aachen","Aachen's","Aaliyah","Aaliyah's","Aaron","Aaron's"] close
Thanks. I understand now.