26 Sep
2010
26 Sep
'10
9:38 p.m.
On Sun, Sep 26, 2010 at 11:21 PM, Antoine Latter
Although the catchException in GHC.IO uses raise# instead of raiseIO# - that may be for a reason. I had thought they were really similar underneath the hood, though.
I fixed that in the patch I send to this list yesterday. Bas