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: Fri, 09 Jan 2015 10:44:51 +0200 Message-ID: <83fvbk5on0.fsf@gnu.org> References: <83bnxuzyl4.fsf@gnu.org> <87vbkovhh7.fsf@engster.org> <87387rvobr.fsf@engster.org> <83ppat84hk.fsf@gnu.org> <20150106143933.0090bc83@jabberwock.cb.piermont.com> <83r3v77ij6.fsf@gnu.org> <20150106154539.3d0752c4@jabberwock.cb.piermont.com> <87wq4ype3z.fsf@fencepost.gnu.org> <878uherlf3.fsf@wanadoo.es> <87sifkredt.fsf@wanadoo.es> Reply-To: Eli Zaretskii NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: QUOTED-PRINTABLE X-Trace: ger.gmane.org 1420793348 4374 80.91.229.3 (9 Jan 2015 08:49:08 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 9 Jan 2015 08:49:08 +0000 (UTC) Cc: emacs-devel@gnu.org To: =?iso-8859-1?Q?=D3scar?= Fuentes Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Fri Jan 09 09:49:01 2015 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 1Y9VBi-00064U-Sk for ged-emacs-devel@m.gmane.org; Fri, 09 Jan 2015 09:44:59 +0100 Original-Received: from localhost ([::1]:49524 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Y9VBd-000278-5e for ged-emacs-devel@m.gmane.org; Fri, 09 Jan 2015 03:44:53 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:55915) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Y9VBP-000272-MS for emacs-devel@gnu.org; Fri, 09 Jan 2015 03:44:40 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Y9VBM-00075D-Gs for emacs-devel@gnu.org; Fri, 09 Jan 2015 03:44:39 -0500 Original-Received: from mtaout29.012.net.il ([80.179.55.185]:47756) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Y9VBM-00074m-8U for emacs-devel@gnu.org; Fri, 09 Jan 2015 03:44:36 -0500 Original-Received: from conversion-daemon.mtaout29.012.net.il by mtaout29.012.net.il (HyperSendmail v2007.08) id <0NHW00100IT19200@mtaout29.012.net.il> for emacs-devel@gnu.org; Fri, 09 Jan 2015 10:41:30 +0200 (IST) Original-Received: from HOME-C4E4A596F7 ([87.69.4.28]) by mtaout29.012.net.il (HyperSendmail v2007.08) with ESMTPA id <0NHW00ERPIT6VQB0@mtaout29.012.net.il>; Fri, 09 Jan 2015 10:41:30 +0200 (IST) In-reply-to: <87sifkredt.fsf@wanadoo.es> X-012-Sender: halo1@inter.net.il X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 80.179.55.185 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:181094 Archived-At: > From: =D3scar Fuentes > Date: Fri, 09 Jan 2015 01:23:10 +0100 >=20 > Ok, I'll try again: let's suppose an extension that highlights chun= ks of > code that might have side effects, or that could use multi-threadin= g > features, or that could result on calls to certain functions, or so= me > other condition specified by the user. There is no doubt about the = value > of such extension, and it is technically possible. How could you do= that > without accessing the full AST? Thanks for these examples. I think it would help to explain how woul= d a program (such as a Lisp program) know whether some code has these side effects, given the information in the AST. IOW, what parts of the AST information will be used for each one of those, and how?