From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.devel Subject: Re: Emacs contributions, C and Lisp Date: Tue, 25 Feb 2014 18:25:05 +0200 Message-ID: <8338j717oe.fsf@gnu.org> References: <834n41db0d.fsf@gnu.org> <52FE2985.4070703@yandex.ru> <831tz5daes.fsf@gnu.org> <8738jlohd6.fsf@yandex.ru> <83txc1bl83.fsf@gnu.org> <5300189A.9090208@yandex.ru> <83wqgv9fbj.fsf@gnu.org> <20140216180712.236069f6@forcix.jorgenschaefer.de> <87wqgr4v18.fsf@yandex.ru> <53064BD0.7070009@yandex.ru> <87ha7tr5bo.fsf@fencepost.gnu.org> <87ppmhecd8.fsf@yandex.ru> <87y50z90pd.fsf@fencepost.gnu.org> <87txbn8r6x.fsf@fencepost.gnu.org> Reply-To: Eli Zaretskii NNTP-Posting-Host: plane.gmane.org X-Trace: ger.gmane.org 1393345538 28827 80.91.229.3 (25 Feb 2014 16:25:38 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 25 Feb 2014 16:25:38 +0000 (UTC) Cc: emacs-devel@gnu.org To: David Kastrup Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Tue Feb 25 17:25:45 2014 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1WIKpD-0004Jl-G7 for ged-emacs-devel@m.gmane.org; Tue, 25 Feb 2014 17:25:43 +0100 Original-Received: from localhost ([::1]:35742 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WIKpC-00019L-R8 for ged-emacs-devel@m.gmane.org; Tue, 25 Feb 2014 11:25:42 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:34578) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WIKoz-00013o-G9 for emacs-devel@gnu.org; Tue, 25 Feb 2014 11:25:35 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WIKot-00012E-IY for emacs-devel@gnu.org; Tue, 25 Feb 2014 11:25:29 -0500 Original-Received: from mtaout22.012.net.il ([80.179.55.172]:53025) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WIKoj-0000yG-3j; Tue, 25 Feb 2014 11:25:13 -0500 Original-Received: from conversion-daemon.a-mtaout22.012.net.il by a-mtaout22.012.net.il (HyperSendmail v2007.08) id <0N1K0050081VKJ00@a-mtaout22.012.net.il>; Tue, 25 Feb 2014 18:25:11 +0200 (IST) Original-Received: from HOME-C4E4A596F7 ([87.69.4.28]) by a-mtaout22.012.net.il (HyperSendmail v2007.08) with ESMTPA id <0N1K005PW89YK010@a-mtaout22.012.net.il>; Tue, 25 Feb 2014 18:25:11 +0200 (IST) In-reply-to: <87txbn8r6x.fsf@fencepost.gnu.org> X-012-Sender: halo1@inter.net.il X-detected-operating-system: by eggs.gnu.org: Solaris 10 X-Received-From: 80.179.55.172 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:169861 Archived-At: > From: David Kastrup > Date: Tue, 25 Feb 2014 10:41:42 +0100 > > The "annotated syntax tree" question would become more relevant for > things like sourcecode highlighting. But in the interest of usefully > fast feedback when editing, it would likely make more sense to let Emacs > do the highlighting with local rules on its own and only converse with > GCC when it becomes necessary to resolve ambiguities (like > declaration/expression distinctions): GCC can only make helpful > suggestions regarding the last time the source code was syntactically > correct, so most of the time Emacs will need to go ahead with _some_ > idea anyway. Is it certain that we actually need a compiler for that? Did someone investigate whether CEDET infrastructure is capable of doing something like that? Since, as you point out, a compiler will probably choke on syntactically incorrect input, shouldn't we try to look elsewhere? After all, we don't need to parse the source completely, only as much as needed for completion.