[dmd-concurrency] Shutdown protocol

[Andrei Alexandrescu]

Sean Kelly wrote:
> On Jan 21, 2010, at 10:59 AM, Steve Schveighoffer wrote:
> 
>> Le 2010-01-21 à 13:43, Andrei Alexandrescu a écrit :
>>
>>> But in that case I think we should make Terminate inherit Error, not Exception. That way just writing catch (Exception e) won't catch Terminate. Agree?
>> I disagree about inheriting from Error: Terminate isn't an error. You're probably right that it shouldn't be an Exception, so in that case it should inherit from Throwable, not Error.
> 
> It's been suggested that Throwable be removed and Exception derive from Error.

I suggested that. In wake of this discussion, I think removing Error and 
having Exception inherit Throwable is better naming. I'm still mildly 
opposed to having all three Throwable, Error, and Exception around, 
unless there's evidence we do need three types.

Andrei