Poll: System.exitWith behaviour
Tue, 22 May 2001 17:30:39 +0100
> 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=20
> the odds of user
> extensible Exceptions (like ML) coming into GHC and having a=20
> 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.