From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.devel Subject: Re: Problem report #90 Date: Wed, 19 Jul 2006 00:42:39 -0400 Message-ID: References: <200607171801.k6HI1seC025758@oogie-boogie.ics.uci.edu> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: sea.gmane.org 1153284176 22753 80.91.229.2 (19 Jul 2006 04:42:56 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Wed, 19 Jul 2006 04:42:56 +0000 (UTC) Cc: Andreas Schwab , emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Jul 19 06:42:55 2006 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by ciao.gmane.org with esmtp (Exim 4.43) id 1G33te-0007R6-Q5 for ged-emacs-devel@m.gmane.org; Wed, 19 Jul 2006 06:42:55 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1G33te-0001b8-Ce for ged-emacs-devel@m.gmane.org; Wed, 19 Jul 2006 00:42:54 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1G33tP-0001Y5-96 for emacs-devel@gnu.org; Wed, 19 Jul 2006 00:42:39 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1G33tN-0001Wl-2q for emacs-devel@gnu.org; Wed, 19 Jul 2006 00:42:38 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1G33tM-0001Wg-So for emacs-devel@gnu.org; Wed, 19 Jul 2006 00:42:36 -0400 Original-Received: from [209.226.175.25] (helo=tomts5-srv.bellnexxia.net) by monty-python.gnu.org with esmtp (Exim 4.52) id 1G33wN-0004fO-HN; Wed, 19 Jul 2006 00:45:43 -0400 Original-Received: from localhost ([70.53.192.251]) by tomts5-srv.bellnexxia.net (InterMail vM.5.01.06.13 201-253-122-130-113-20050324) with ESMTP id <20060719044234.NYOA18394.tomts5-srv.bellnexxia.net@localhost>; Wed, 19 Jul 2006 00:42:34 -0400 Original-Received: by localhost (Postfix, from userid 20848) id 83A626C348; Wed, 19 Jul 2006 00:42:39 -0400 (EDT) Original-To: Miles Bader In-Reply-To: (Miles Bader's message of "Wed, 19 Jul 2006 13:09:07 +0900") User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:57319 Archived-At: >> 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