[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.
Stefan