System.Win32.Types to base library?

Bulat Ziganshin bulat.ziganshin at
Thu Oct 25 07:41:05 EDT 2007

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 at

More information about the Libraries mailing list