
25 Nov
2002
25 Nov
'02
6:30 a.m.
Simon Marlow:
[Lazy I/O] is nice, but it introduces too many problems. What happens to any I/O errors encountered by the lazy I/O? They have to be discarded, which means you can't effectively use lazy I/O for robust applications anyway.
Surely they are thrown as exceptions which can then be manipulated in pure code using mapExceptions :: (Exception -> Exception) -> (a -> a) and caught in the IO monad using catch? -- Alastair