Re: Does wrong_type_argument return or not?

[Andreas Schwab]

address@hidden (Kim F. Storm) writes:

|> According to the doc string, Fsignal does not return, so
|> neither does wrong_type_argument.  However, looking at
|> Fsignal, it can return -- and the code in wrong_type_argument
|> definitely expects this to happen, so it can itself return
|> a (valid) value.

It used to, but that has been disabled.  See the comment in Fsignal:

#if 0 /* Most callers are not prepared to handle gc if this returns.
         So, since this feature is not very useful, take it out.  */
      /* If have called debugger and user wants to continue,
         just return nil.  */

Andreas.

-- 
Andreas Schwab, SuSE Labs, address@hidden
SuSE GmbH, Deutschherrnstr. 15-19, D-90429 Nürnberg
Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."