From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Elena Newsgroups: gmane.emacs.help Subject: Re: What is the best way to navigate #ifdef and #endif in C program Date: Fri, 6 Aug 2010 04:17:51 -0700 (PDT) Organization: http://groups.google.com Message-ID: <27e5f238-760f-4fee-93ce-0b9ce04741e8@5g2000yqz.googlegroups.com> References: <53f62f81-fb10-4fb6-87ce-0eb5609d12f5@h17g2000pri.googlegroups.com> <87y6cmsmf1.fsf@kuiper.lan.informatimago.com> <57db02c5-32db-4483-863e-a9177e4e6003@w30g2000yqw.googlegroups.com> <8c27aoFij2U1@mid.individual.net> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1291864213 25297 80.91.229.12 (9 Dec 2010 03:10:13 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 9 Dec 2010 03:10:13 +0000 (UTC) To: help-gnu-emacs@gnu.org Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Thu Dec 09 04:10:08 2010 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1PQWtU-0001kz-Jd for geh-help-gnu-emacs@m.gmane.org; Thu, 09 Dec 2010 04:10:08 +0100 Original-Received: from localhost ([127.0.0.1]:52840 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1PQWij-0005AS-2t for geh-help-gnu-emacs@m.gmane.org; Wed, 08 Dec 2010 21:59:01 -0500 Original-Path: usenet.stanford.edu!postnews.google.com!5g2000yqz.googlegroups.com!not-for-mail Original-Newsgroups: gnu.emacs.help,comp.lang.lisp,comp.lang.scheme Original-Lines: 17 Original-NNTP-Posting-Host: 89.96.190.244 Original-X-Trace: posting.google.com 1281093471 26011 127.0.0.1 (6 Aug 2010 11:17:51 GMT) Original-X-Complaints-To: groups-abuse@google.com Original-NNTP-Posting-Date: Fri, 6 Aug 2010 11:17:51 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: 5g2000yqz.googlegroups.com; posting-host=89.96.190.244; posting-account=AFCLjAoAAABJAOf_HjgEEEi3ty-lG5m2 User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.2.8) Gecko/20100722 Firefox/3.6.8,gzip(gfe) Original-Xref: usenet.stanford.edu gnu.emacs.help:180456 comp.lang.lisp:290976 comp.lang.scheme:87289 X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.help:76514 Archived-At: On Aug 6, 10:43=A0am, Pascal Costanza wrote: > Here is a way how to do TCO in Common Lisp:http://groups.google.com/group= /comp.lang.lisp/msg/8f9dcf58a00aca27 > > It can't be implemented as just a macro, because it requires the > cooperation of different parts of a program. You can only do that as a > "real" language extension. Thanks for the link, Pascal. IMHO, that would be a better way to make TCO available, that is: TCO should be explicit, since you know beforehand whether you want your function to be tail recursive or not. Then, whenever you fail to implement a tail recursion among mutually recursive functions, the compiler should complain. If I'm not mistaken, OCaml has (somewhat) explicit TCO. Or detecting such errors would better be left to test cases?