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: Building Emacs overflowed pure space Date: Tue, 25 Jul 2006 12:56:04 +0200 Message-ID: <85mzayhs1n.fsf@lola.goethe.zz> References: <7dbe73ed0607180138x35e9d9bft3e42f20cb369795c@mail.gmail.com> <200607181855.k6IItgAV027751@jane.dms.auburn.edu> <54557.203.180.88.109.1153317135.squirrel@weber.math.s.chiba-u.ac.jp> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: sea.gmane.org 1153824995 26782 80.91.229.2 (25 Jul 2006 10:56:35 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Tue, 25 Jul 2006 10:56:35 +0000 (UTC) Cc: teirllm@dms.auburn.edu, rms@gnu.org, ralphm@members.fsf.org, emacs-devel@gnu.org, monnier@iro.umontreal.ca, storm@cua.dk, eliz@gnu.org, mathias.dahl@gmail.com Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Tue Jul 25 12:56:32 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 1G5KaV-0005qw-Ne for ged-emacs-devel@m.gmane.org; Tue, 25 Jul 2006 12:56:32 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1G5KaV-00024Q-8Y for ged-emacs-devel@m.gmane.org; Tue, 25 Jul 2006 06:56:31 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1G5KaG-00023J-6L for emacs-devel@gnu.org; Tue, 25 Jul 2006 06:56:16 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1G5KaF-00022n-N4 for emacs-devel@gnu.org; Tue, 25 Jul 2006 06:56:15 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1G5KaF-00022k-JD for emacs-devel@gnu.org; Tue, 25 Jul 2006 06:56:15 -0400 Original-Received: from [199.232.76.164] (helo=fencepost.gnu.org) by monty-python.gnu.org with esmtp (Exim 4.52) id 1G5KbW-0002jp-MX; Tue, 25 Jul 2006 06:57:34 -0400 Original-Received: from localhost ([127.0.0.1] helo=lola.goethe.zz) by fencepost.gnu.org with esmtp (Exim 4.34) id 1G5Ka6-0003ls-BV; Tue, 25 Jul 2006 06:56:06 -0400 Original-Received: by lola.goethe.zz (Postfix, from userid 1002) id 8AC731C4D3B9; Tue, 25 Jul 2006 12:56:04 +0200 (CEST) Original-To: YAMAMOTO Mitsuharu In-Reply-To: (YAMAMOTO Mitsuharu's message of "Tue, 25 Jul 2006 19:41:35 +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:57603 Archived-At: YAMAMOTO Mitsuharu writes: >>>>>> On Tue, 25 Jul 2006 00:13:51 -0400, Richard Stallman said: > >>> I tried the exact the same thing (using the naive version), but the >>> dumped emacs crashed immediately after loadup, thinking that "nil" >>> was a filename... So I didn't think it was safe to do this. > >> I'm not sure if this should be counted as an objection. > >> The code he wrote must have a bug in it. If your code works, I >> guess it does not have a similar bug. > > I installed the patch. It works as far as I tested on multiple > platforms (though that doesn't prove that the prerequisite for sharing > is completely satisfied by the current code, of course). Actually, I don't see how we can satisfy the prerequisite: a user might always choose to use `aset' on an existing string. Of course, this objection would hold equally for sharing equal strings, not just strings with a common suffix. Am I overlooking something? Or do we have some mechanism in place against tampering with strings in pure space? I just tried messing up `search-whitespace-regexp' with `aset', and was successful. If we merge strings in pure space, should we not disallow modifying them? Everything else seems like a recipe for disaster. -- David Kastrup, Kriemhildstr. 15, 44793 Bochum