Reason in down message should be 'true' rather than 'exit'

[torbjornlager]

This is correct:

?- spawn(fail, _, [monitor(true)]).
true.

?- flush.
% Got down(<engine>(9,0x7fd5cddf6c50),fail)
true.

But this is wrong since the reason becomes 'exit' rather than 'true' :

?- spawn(true, _, [monitor(true)]).
true.

?- flush.
% Got down(<engine>(9,0x7fd5d0441b40),exit)
true.                                                                    

[JanWielemaker]

The exit status is taken from setup_call_catcher_cleanup/4. We can of course map that, although I think there is a value in keeping that aligned as well.

[torbjornlager]

Ok, let's keep the issue open, and decide later.

On Mon, Nov 13, 2017 at 10:03 AM, Jan Wielemaker notifications@github.com wrote:

The exit status is taken from setup_call_catcher_cleanup/4. We can of course map that, although I think there is a value in keeping that aligned as well.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/JanWielemaker/swi-erlang/issues/2#issuecomment-343854628, or mute the thread https://github.com/notifications/unsubscribe-auth/ACTC1HfpClaJ2-I-7_HtCKWimVzkLFAiks5s2AXNgaJpZM4QbazT .

-- Torbjörn Lager Professor of General and Computational Linguistics Department of Philosophy, Linguistics and Theory of Science University of Gothenburg Box 200, SE-405 30 Gothenburg, Sweden Phone: +46317864962