[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Problem report #90

From: Stefan Monnier
Subject: Re: Problem report #90
Date: Wed, 19 Jul 2006 00:42:39 -0400
User-agent: Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux)

>> Since Fsignal does not return the true path here and similar paths below
>> are uninteresting.  With this premise there is always an assignment
>> to val.

> I guess this has probably been discussed before, but why aren't
> functions like Fsignal annotated as never returning?

See Kim's recent patch that introduce xsignal.

The problem which that patch solves is that Fsignal sometimes can return (if
signalling a `quit'), so it's incorrect to annotate it as never returning.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]