
12 Nov
2010
12 Nov
'10
2:49 a.m.
Hi!
On Wed, Nov 10, 2010 at 4:48 PM, Simon Marlow
You can use maskUninterruptible in GHC 7, but that is not generally recommended,
Maybe there should be some function like maskUninterruptibleExceptUser which would mask everything except UserInterrupt exception. Or maybe UserInterrupt and some additional exception meant for use by programs, like InterruptMaskException. Or we could make two new type classes: HiddenException -- for those exceptions which should not print anything if not caught UninterruptibleExceptException -- for those exceptions which should not be masked with maskUninterruptibleExcept function Mitar