[erlang-questions] Erlang's process not killed by exit signalreasoned by "kill"

[Robert Virding]

2009/10/24 Richard Carlsson <carlsson.richard@REDACTED>

> Robert Virding wrote:
>
>> That exit(kill) and exit(Self, kill) behave differently is *exactly* as it
>> should be, they are *defined* to behave differently.
>>  [...]
>>
>> Whether doing exit(kill) should send a real exit 'kill' signal or only a
>> 'killed' signal is an interesting question which I can't remember now what
>> we decided. If it sends an exit 'kill' signal then
>> it should behave as a real 'kill' signal and be non-trappable.
>>
>
> The problem now was that it didn't do either: it sends off a signal
> that says 'kill', but which isn't a real non-trappable kill signal.
> So the behaviour is different where it shouldn't be.
>

Yes. Unfortunately, to my knowledge discussion of this has never come
before.

Robert

P.S. This type of thing is a good reason to have a proper language spec.