22 May
2001
22 May
'01
4:30 p.m.
In reply to Simon Marlow,
- introduce a new exception constructor: ExitException ExitCode
- System.exitWith causes (ExitException code) to be raised in the current thread.
Not entirely relevant, in fact, barely at all but what are the odds of user extensible Exceptions (like ML) coming into GHC and having a proper hierarchy of exceptions integrated in the libraries?
Well, we could do a proper job of extensible data types, which probably isn't hard but is certainly a fair amount of work. Or we could treat Exception as a special case, like ML. Or we could take the Dynamic-typed exception stuff and try to use that in a general way to provide an extensible exception type... I'm open to suggestions. Cheers, Simon