From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: David Kastrup Newsgroups: gmane.emacs.devel Subject: Re: Emacs contributions, C and Lisp Date: Sat, 22 Feb 2014 07:47:08 +0100 Organization: Organization?!? Message-ID: <87bnxzhcer.fsf@fencepost.gnu.org> References: <52FD9F1D.50205@yandex.ru> <83mwhucg1h.fsf@gnu.org> <878ute589i.fsf@fencepost.gnu.org> <83d2iqc84m.fsf@gnu.org> <87wqgxkcr9.fsf@yandex.ru> <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> <87wqgnvkqn.fsf@uwakimon.sk.tsukuba.ac.jp> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1393051651 25209 80.91.229.3 (22 Feb 2014 06:47:31 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 22 Feb 2014 06:47:31 +0000 (UTC) To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sat Feb 22 07:47:39 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 1WH6N9-0007Pa-4N for ged-emacs-devel@m.gmane.org; Sat, 22 Feb 2014 07:47:39 +0100 Original-Received: from localhost ([::1]:48580 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WH6N8-00064d-OH for ged-emacs-devel@m.gmane.org; Sat, 22 Feb 2014 01:47:38 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:42252) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WH6N0-000642-9N for emacs-devel@gnu.org; Sat, 22 Feb 2014 01:47:36 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WH6Ms-0006rH-NS for emacs-devel@gnu.org; Sat, 22 Feb 2014 01:47:30 -0500 Original-Received: from plane.gmane.org ([80.91.229.3]:33175) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WH6Ms-0006r7-Dt for emacs-devel@gnu.org; Sat, 22 Feb 2014 01:47:22 -0500 Original-Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1WH6Mp-00078e-7V for emacs-devel@gnu.org; Sat, 22 Feb 2014 07:47:19 +0100 Original-Received: from x2f407c1.dyn.telefonica.de ([2.244.7.193]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sat, 22 Feb 2014 07:47:19 +0100 Original-Received: from dak by x2f407c1.dyn.telefonica.de with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sat, 22 Feb 2014 07:47:19 +0100 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 55 Original-X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: x2f407c1.dyn.telefonica.de X-Face: 2FEFf>]>q>2iw=B6, xrUubRI>pR&Ml9=ao@P@i)L:\urd*t9M~y1^:+Y]'C0~{mAl`oQuAl \!3KEIp?*w`|bL5qr,H)LFO6Q=qx~iH4DN; i"; /yuIsqbLLCh/!U#X[S~(5eZ41to5f%E@'ELIi$t^ Vc\LWP@J5p^rst0+('>Er0=^1{]M9!p?&:\z]|;&=NP3AhB!B_bi^]Pfkw User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) Cancel-Lock: sha1:sbdJZECuyGlBcKrDy7WWFcKN1Yw= X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 80.91.229.3 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:169809 Archived-At: "Stephen J. Turnbull" writes: > Richard Stallman writes: > > [[[ To any NSA and FBI agents reading my email: please consider ]]] > > [[[ whether defending the US Constitution against all enemies, ]]] > > [[[ foreign or domestic, requires you to follow Snowden's example. ]]] > > > > > Whatever features we put in Emacs for interacting with a compiler in > > > any fashion should work with GCC. > > > > Only to the extent that GCC supports that feature. > > > > This decision applies also to features that GCC doesn't yet support. > > The outcome we want is that GCC supports them and Emacs uses GCC. > > > > Emacs should not aim to advance by helping LLVM push GCC down. > > > > If you need specific features added to GCC, please tell me. > > In this particular case, you've been told that outputting fully > annotated ASTs is a desirable feature, and you decided it's a bad idea > (for software freedom) to support it because it allows nonfree > frontends and backends to be written for GCC backends and frontends > respectively. So you've opposed GCC support for that feature. I think it makes some sense to reevaluate this particular choice. If we take a look those parties most likely to exploit it, they have moved on to LLVM mostly. _And_ they tend to consider the patent clauses of the GPLv3 a poison pill for any use anyway. I don't see that the information we are talking about will make it reasonably straightforward to substitute backends and arrive at a competitive compiler, though compilation speed is of course secondary to runtime speed. So I think that the existence of both LLVM and GPLv3 lessens the positive impact from the decision while not really changing the negative consequences. There is a valid point about not giving people ideas about how to outnavigate what the GNU project can achieve with the GPL by introducing projects like LLVM. But GCC seems rather too important to cede a tactical loss like that here. > In this case you need to choose between allowing any LLVM feature to > be supported because it's free software, or saying LLVM may be free > software but the feature it supports that GCC doesn't is freedom- > denying, and therefore no matter how useful it may be, Emacs is not > going to support that feature. Well, the last point is where we at nowadays. I think it makes sense reevaluating the previous choice and thus making this one moot. But yes, that's Richard's call to make, and it would take quite a lot of time and work to follow up on the consequences of changing that bit. -- David Kastrup