25 Oct
2007
25 Oct
'07
7:41 a.m.
Hello Simon, Thursday, October 25, 2007, 2:15:05 PM, you wrote:
Ultimately, the whole IO library needs to be separated. I think a prerequisite for this will be to do extensible exceptions, because the reason that everything is so tightly coupled at the moment is because the Monad instance for IO refers to Exception, and Exception refers to Handle, as you say. With extensible exceptions we can break this dependency.
yes, my thought was exactly the same. this plan looks real. i propose to return to debating it when GHC team will have time, under the "further split of Base" title -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com