Hugs does not free file handles on stop pressed
ndmitchell at gmail.com
Thu Feb 15 18:12:04 EST 2007
If you abort a Hugs computation which has an open file handle, it
remains open. I.e. do a writeFile "filename.txt" (show (1, last
[1..])), press Stop or Ctrl+C and the file handle remains open.
However, doing "print 1", or just about anything as the next
operation, results in the file handle being closed after that command
aborts. I suspect that this means there is some routine out there that
closes the file handles and does the tidy up - if it could be invoked
on abort that would be handy.
More information about the Hugs-Bugs