22 May
2001
22 May
'01
12:15 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?