From debbugs-submit-bounces@debbugs.gnu.org Sat Oct 02 08:35:44 2010 Received: (at submit) by debbugs.gnu.org; 2 Oct 2010 12:35:44 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P21JX-0000U3-Nb for submit@debbugs.gnu.org; Sat, 02 Oct 2010 08:35:44 -0400 Received: from eggs.gnu.org ([140.186.70.92]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P1tWB-0004xN-E7 for submit@debbugs.gnu.org; Sat, 02 Oct 2010 00:16:15 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1P1tZ4-00028X-07 for submit@debbugs.gnu.org; Sat, 02 Oct 2010 00:19:15 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, RCVD_IN_DNSWL_NONE,T_DKIM_INVALID,T_TO_NO_BRKTS_FREEMAIL autolearn=unavailable version=3.3.1 Received: from lists.gnu.org ([199.232.76.165]:37361) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1P1tZ3-00028T-Ty for submit@debbugs.gnu.org; Sat, 02 Oct 2010 00:19:13 -0400 Received: from [140.186.70.92] (port=49684 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1P1tZ2-0007pT-Mb for bug-gnu-emacs@gnu.org; Sat, 02 Oct 2010 00:19:13 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1P1tZ1-00027j-Pt for bug-gnu-emacs@gnu.org; Sat, 02 Oct 2010 00:19:12 -0400 Received: from mail-iw0-f169.google.com ([209.85.214.169]:49719) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1P1tZ1-00027V-MC for bug-gnu-emacs@gnu.org; Sat, 02 Oct 2010 00:19:11 -0400 Received: by iwn33 with SMTP id 33so7135174iwn.0 for ; Fri, 01 Oct 2010 21:19:10 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from :user-agent:x-accept-language:mime-version:to:subject:content-type :content-transfer-encoding; bh=PiV8DX23FJ0slbyCe0W3J40m+ZFYhFdVE0ctIfqJ/Bc=; b=RK2omiLpbUyZK+ke7mJ6MtzZs1N/blB2yLTMUq1O5zj7Mrttp9CMaRJl/ERKCnn7eu ZfGQZrv2erSewC67P8iwkNeMZ4+fBkWcpuATBgHctHwwSxxnGCidQ7viex1L0JCZcO7u 4lNC+oZS16Ftybs1jxWR/XaF/npHPqG3ONqAY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:x-accept-language:mime-version:to :subject:content-type:content-transfer-encoding; b=Mm8FOa/sEIdgCW+hFyhVgvTIUEp0GRkAiRrjyU6/QOiZ3kslYAfEHi33ZUlyf2ogDv GxljwDkl5Tt6eEoLHxoPjgSvhGWSYqA4fjIBDmr8yMjWbXvZRc0BbWikkuNOu9w4dbcJ ZJzrpYLpYFNl01mJndXBiLmEj4sqfIvIHDNJY= Received: by 10.231.171.3 with SMTP id f3mr6556553ibz.145.1285993148471; Fri, 01 Oct 2010 21:19:08 -0700 (PDT) Received: from [10.0.1.5] (S0106001346b8a607.ed.shawcable.net [96.52.241.68]) by mx.google.com with ESMTPS id h8sm1958841ibk.9.2010.10.01.21.19.07 (version=SSLv3 cipher=RC4-MD5); Fri, 01 Oct 2010 21:19:07 -0700 (PDT) Message-ID: <4CA6B2BE.7070705@gmail.com> Date: Fri, 01 Oct 2010 22:19:10 -0600 From: Frank User-Agent: Mozilla Thunderbird 1.0.7 (Windows/20050923) X-Accept-Language: de-DE, de, en-us, en MIME-Version: 1.0 To: bug-gnu-emacs@gnu.org Subject: (make-symbol "") issues Content-Type: text/plain; charset=ISO-8859-15; format=flowed Content-Transfer-Encoding: 7bit X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 2) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6, seldom 2.4 (older, 4) X-Spam-Score: -5.9 (-----) X-Debbugs-Envelope-To: submit X-Mailman-Approved-At: Sat, 02 Oct 2010 08:35:42 -0400 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -5.9 (-----) ;;; "GNU Emacs 23.2.1 (i386-mingw-nt5.1.2600) of 2010-05-08 on G41R2F1" ;; When I byte compile this file and load it and try to evaluate (foo) ;; Emacs will either crash or (foo) returns some odd number on my machine. (defmacro bar (&rest body) (let ((v (make-symbol ""))) ; Crashes with "" as name. `(let ((,v (catch :eof ,@body))) (when (not (eq ,v :eof)) ,v)))) (defun foo () (bar (message "Hello World!"))) ;; (disassemble 'foo) ;; ;; byte code for foo: ;; args: nil ;; 0 constant (message "Hello World!") ;; 1 constant (out-of-range 2) ;; 2 catch ;; 3 dup ;; 4 varbind #::eof ;; 5 constant (message "Hello World!") ;; 6 eq ;; 7 not ;; 8 goto-if-nil-else-pop 1 ;; 11 varref #::eof ;; 12:1 unbind 1 ;; 13 return ;; ;; Looks like there's a problem in line 4 & 11. From debbugs-submit-bounces@debbugs.gnu.org Sat Oct 02 20:49:11 2010 Received: (at 7146) by debbugs.gnu.org; 3 Oct 2010 00:49:11 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P2ClK-0008SV-JE for submit@debbugs.gnu.org; Sat, 02 Oct 2010 20:49:11 -0400 Received: from mail-iw0-f172.google.com ([209.85.214.172]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P2Cdc-0008PK-Hs for 7146@debbugs.gnu.org; Sat, 02 Oct 2010 20:41:13 -0400 Received: by iwn3 with SMTP id 3so5131544iwn.3 for <7146@debbugs.gnu.org>; Sat, 02 Oct 2010 17:44:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from :user-agent:x-accept-language:mime-version:to:subject:content-type :content-transfer-encoding; bh=DexoH2Vs5jgh7uPmJoT/6ync2YNBHPEW3q+jI/yQ+vA=; b=pRs4iI7J0ApDsbGep6NeT0S7E74qefDb2P82P2a5ATyIo3iJgYz/pm2kX16jNyDYI5 WnJV6FidGZtH4IMQEkyHKALPRweLVdS2b/b8PvbhjMQhe9J2pc1M5H0AtcxkVjlsOodF 2OoAzCRhbVrcSbOLhlnbEzJhkL5IK8+WoTIcI= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:x-accept-language:mime-version:to :subject:content-type:content-transfer-encoding; b=BM786KyboMwoDXrQCV0WQtEAKp/USUp5VFzgAVcSmIw6H8hKSSGcV3Q/YKllx6vun4 Yi4IbJJlCwJkDfQx89RDHChZUMt3NJO4usvLvvH60Gt3p6PEJOrYRIoFmCkBLxbt4kXW DnHSPLJC6IY0lkDpiWRwmcixrTiHlj1Rcjqb0= Received: by 10.231.148.195 with SMTP id q3mr7861885ibv.199.1286066654426; Sat, 02 Oct 2010 17:44:14 -0700 (PDT) Received: from [10.0.1.5] (S0106001346b8a607.ed.shawcable.net [96.52.241.68]) by mx.google.com with ESMTPS id d13sm1144694ibb.8.2010.10.02.17.44.13 (version=SSLv3 cipher=RC4-MD5); Sat, 02 Oct 2010 17:44:13 -0700 (PDT) Message-ID: <4CA7D1E3.90800@gmail.com> Date: Sat, 02 Oct 2010 18:44:19 -0600 From: Frank User-Agent: Mozilla Thunderbird 1.0.7 (Windows/20050923) X-Accept-Language: de-DE, de, en-us, en MIME-Version: 1.0 To: 7146@debbugs.gnu.org Subject: (make-symbol "") issues Content-Type: text/plain; charset=ISO-8859-15; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Score: -4.3 (----) X-Debbugs-Envelope-To: 7146 X-Mailman-Approved-At: Sat, 02 Oct 2010 20:49:09 -0400 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -3.7 (---) Well I further found out that you have to actually (byte-compile-file) the above code in order for the bug to show up; compiling via (compile-defun) seems to work OK; From debbugs-submit-bounces@debbugs.gnu.org Sat Oct 02 21:29:04 2010 Received: (at 7146) by debbugs.gnu.org; 3 Oct 2010 01:29:04 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P2DNv-0001bw-I4 for submit@debbugs.gnu.org; Sat, 02 Oct 2010 21:29:03 -0400 Received: from pantheon-po43.its.yale.edu ([130.132.50.104]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P2DNu-0001ba-BB for 7146@debbugs.gnu.org; Sat, 02 Oct 2010 21:29:02 -0400 Received: from furry (173-9-75-145-NewEngland.hfc.comcastbusiness.net [173.9.75.145]) (authenticated bits=0) by pantheon-po43.its.yale.edu (8.12.11.20060308/8.12.11) with ESMTP id o931W4Jw029808 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Sat, 2 Oct 2010 21:32:04 -0400 Received: by furry (Postfix, from userid 1000) id 1B53DC018; Sat, 2 Oct 2010 21:32:04 -0400 (EDT) From: Chong Yidong To: Frank Subject: Re: bug#7146: (make-symbol "") issues References: <4CA6B2BE.7070705@gmail.com> <4CA7D1E3.90800@gmail.com> Date: Sat, 02 Oct 2010 21:32:03 -0400 In-Reply-To: <4CA7D1E3.90800@gmail.com> (Frank's message of "Sat, 02 Oct 2010 18:44:19 -0600") Message-ID: <87k4m0giy4.fsf@stupidchicken.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-YaleITSMailFilter: Version 1.2c (attachment(s) not renamed) X-Spam-Score: -2.6 (--) X-Debbugs-Envelope-To: 7146 Cc: 7146@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.6 (--) Frank writes: > Well I further found out that you have to actually (byte-compile-file) > the above code in order for the bug to show up; compiling via > (compile-defun) seems to work OK; I can't reproduce this. Could you detail the *exact* steps you took, starting with `emacs -Q'? Your description is too vague. From debbugs-submit-bounces@debbugs.gnu.org Sun Oct 03 00:02:53 2010 Received: (at 7146) by debbugs.gnu.org; 3 Oct 2010 04:02:53 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P2Fmm-0002Y5-Uy for submit@debbugs.gnu.org; Sun, 03 Oct 2010 00:02:53 -0400 Received: from pantheon-po16.its.yale.edu ([130.132.50.72]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P2Fml-0002Y0-JU for 7146@debbugs.gnu.org; Sun, 03 Oct 2010 00:02:52 -0400 Received: from furry (adsl-99-111-197-225.dsl.wlfrct.sbcglobal.net [99.111.197.225]) (authenticated bits=0) by pantheon-po16.its.yale.edu (8.12.11.20060308/8.12.11) with ESMTP id o9345rLC025056 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Sun, 3 Oct 2010 00:05:53 -0400 Received: by furry (Postfix, from userid 1000) id D75A5C018; Sun, 3 Oct 2010 00:05:52 -0400 (EDT) From: Chong Yidong To: Frank Subject: Re: bug#7146: (make-symbol "") issues References: <4CA6B2BE.7070705@gmail.com> <4CA7D1E3.90800@gmail.com> <87k4m0giy4.fsf@stupidchicken.com> <4CA7FC00.5080905@gmail.com> Date: Sun, 03 Oct 2010 00:05:52 -0400 In-Reply-To: <4CA7FC00.5080905@gmail.com> (Frank's message of "Sat, 02 Oct 2010 21:44:00 -0600") Message-ID: <87fwwn3opr.fsf@stupidchicken.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-YaleITSMailFilter: Version 1.2c (attachment(s) not renamed) X-Spam-Score: -2.6 (--) X-Debbugs-Envelope-To: 7146 Cc: 7146@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.6 (--) Frank writes: > 1) Start `emacs -Q' > 2) Load the file bug.el into a buffer via the menu > 3) byte-compile-file > 4) load-file bug.elc > 5) *scratch* > 6) (foo) *** emacs crashes or foo returns some odd number *** I assume by (foo) you mean typing "(foo)" and doing C-j or C-x C-e. I'm afraid I don't see any crash. The number 6 appears in the echo area, that's all. From debbugs-submit-bounces@debbugs.gnu.org Sun Oct 03 00:26:10 2010 Received: (at 7146) by debbugs.gnu.org; 3 Oct 2010 04:26:10 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P2G9J-0002h4-Vd for submit@debbugs.gnu.org; Sun, 03 Oct 2010 00:26:10 -0400 Received: from mail-iw0-f172.google.com ([209.85.214.172]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P2FRW-0002PU-BX for 7146@debbugs.gnu.org; Sat, 02 Oct 2010 23:40:54 -0400 Received: by iwn3 with SMTP id 3so5229248iwn.3 for <7146@debbugs.gnu.org>; Sat, 02 Oct 2010 20:43:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from :user-agent:x-accept-language:mime-version:to:cc:subject:references :in-reply-to:content-type; bh=lclKmb37apV/m2UnDRVEofW35/VVUeLts9VO0C/TGxY=; b=FrNnhf9AVx/NrerMADkKVLdsu8ZT0eqOB+URZsXNkYaIN5z086tLeq59CFvvFoW8Pc LtB4K3MFqst9/lSA/S+wrQXLz6KhRPHOTRCXwRwUEAhKX/kmkJ1YLGnHZXs/Ex6PETAw 4g/B7mqALb1HgWd1Rjh28voNpH91JBj1NDoug= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:x-accept-language:mime-version:to :cc:subject:references:in-reply-to:content-type; b=ALosSpKZg5OdHFqPh1Fmm8dKVi++cWO55iQ6qm4WWyk5ybLZYrndqhnJchaKLCB1RR s/kTiM4HiebToIKkLmd1Gnf9+ECI2pPIPwW6TAtNCQxYNjYtHYSLO7P4+bPKQUqZtusB p9t5T+dRso21zZI6nNw2IXLbd8Efu4ftjUA28= Received: by 10.231.155.206 with SMTP id t14mr8103065ibw.34.1286077436146; Sat, 02 Oct 2010 20:43:56 -0700 (PDT) Received: from [10.0.1.5] (S0106001346b8a607.ed.shawcable.net [96.52.241.68]) by mx.google.com with ESMTPS id d13sm1301560ibb.14.2010.10.02.20.43.54 (version=SSLv3 cipher=RC4-MD5); Sat, 02 Oct 2010 20:43:55 -0700 (PDT) Message-ID: <4CA7FC00.5080905@gmail.com> Date: Sat, 02 Oct 2010 21:44:00 -0600 From: Frank User-Agent: Mozilla Thunderbird 1.0.7 (Windows/20050923) X-Accept-Language: de-DE, de, en-us, en MIME-Version: 1.0 To: Chong Yidong Subject: Re: bug#7146: (make-symbol "") issues References: <4CA6B2BE.7070705@gmail.com> <4CA7D1E3.90800@gmail.com> <87k4m0giy4.fsf@stupidchicken.com> In-Reply-To: <87k4m0giy4.fsf@stupidchicken.com> Content-Type: multipart/mixed; boundary="------------060905060006080409020806" X-Spam-Score: -3.4 (---) X-Debbugs-Envelope-To: 7146 X-Mailman-Approved-At: Sun, 03 Oct 2010 00:26:09 -0400 Cc: 7146@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -3.2 (---) This is a multi-part message in MIME format. --------------060905060006080409020806 Content-Type: text/plain; charset=ISO-8859-15; format=flowed Content-Transfer-Encoding: 7bit Chong Yidong schrieb: >Frank writes: > > > >>Well I further found out that you have to actually (byte-compile-file) >>the above code in order for the bug to show up; compiling via >>(compile-defun) seems to work OK; >> >> > >I can't reproduce this. Could you detail the *exact* steps you took, >starting with `emacs -Q'? Your description is too vague. > > > 1) Start `emacs -Q' 2) Load the file bug.el into a buffer via the menu 3) byte-compile-file 4) load-file bug.elc 5) *scratch* 6) (foo) *** emacs crashes or foo returns some odd number *** (disassemble 'foo) looks like this (done between point 5 and 6) byte code for foo: args: nil 0 constant (message "Hello World!") 1 constant (out-of-range 2) 2 catch 3 dup 4 varbind :eof 5 constant (message "Hello World!") 6 eq 7 not 8 goto-if-nil-else-pop 1 11 varref :eof 12:1 unbind 1 13 return I attached the file I used for testing this and also it's byte compilation --------------060905060006080409020806 Content-Type: application/octet-stream; name="bug.elc" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="bug.elc" O0VMQxcAAAAKOzs7IENvbXBpbGVkIGJ5IGZhdUBOWDYxMTAgb24gU2F0IE9jdCAwMiAyMToz OToyMiAyMDEwCjs7OyBmcm9tIGZpbGUgYzovRG9rdW1lbnRlIHVuZCBFaW5zdGVsbHVuZ2Vu L2ZhdS9EZXNrdG9wL2J1Zy5lbAo7OzsgaW4gRW1hY3MgdmVyc2lvbiAyMy4yLjEKOzs7IHdp dGggYWxsIG9wdGltaXphdGlvbnMuCgo7OzsgVGhpcyBmaWxlIHVzZXMgZHluYW1pYyBkb2Nz dHJpbmdzLCBmaXJzdCBhZGRlZCBpbiBFbWFjcyAxOS4yOS4KCjs7OyBUaGlzIGZpbGUgZG9l cyBub3QgY29udGFpbiB1dGYtOCBub24tQVNDSUkgY2hhcmFjdGVycywKOzs7IGFuZCBzbyBj YW4gYmUgbG9hZGVkIGluIEVtYWNzIHZlcnNpb25zIGVhcmxpZXIgdGhhbiAyMy4KCjs7Ozs7 Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7 Ozs7Ozs7OzsKOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7 Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OwoKCihkZWZhbGlhcyAnYmFyICcobWFjcm8gLiAjWygm cmVzdCBib2R5KSAiXDMwMlwzMDMhGFwzMDQIXDMwNVwzMDYJQkJEQ1wzMDdcMzEwXDMxMQhc MzEyQkJECEVFKVwyMDciIFt2IGJvZHkgbWFrZS1zeW1ib2wgIiIgbGV0IGNhdGNoIDplb2Yg d2hlbiBub3QgZXEgKDplb2YpXSA3XSkpCihkZWZhbGlhcyAnZm9vICNbbmlsICJcMzAxXDMw MlwyMTVcMjExGFwzMDE9P1wyMDVcZgAIKVwyMDciIFsjMT0jOiA6ZW9mIChtZXNzYWdlICJI ZWxsbyBXb3JsZCEiKV0gM10pCg== --------------060905060006080409020806 Content-Type: text/plain; name="bug.el" Content-Transfer-Encoding: 7bit Content-Disposition: inline; filename="bug.el" (defmacro bar (&rest body) (let ((v (make-symbol ""))) ; Crashes with "" as name. `(let ((,v (catch :eof ,@body))) (when (not (eq ,v :eof)) ,v)))) (defun foo () (bar (message "Hello World!"))) --------------060905060006080409020806-- From debbugs-submit-bounces@debbugs.gnu.org Sun Oct 03 00:26:10 2010 Received: (at 7146) by debbugs.gnu.org; 3 Oct 2010 04:26:10 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P2G9K-0002h6-Bj for submit@debbugs.gnu.org; Sun, 03 Oct 2010 00:26:10 -0400 Received: from mail-iw0-f172.google.com ([209.85.214.172]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P2FvP-0002bY-RX for 7146@debbugs.gnu.org; Sun, 03 Oct 2010 00:11:48 -0400 Received: by iwn3 with SMTP id 3so5245902iwn.3 for <7146@debbugs.gnu.org>; Sat, 02 Oct 2010 21:14:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from :user-agent:x-accept-language:mime-version:to:cc:subject:references :in-reply-to:content-type:content-transfer-encoding; bh=OLdsyXFrLbkM0yh773oxIcnOcd5ZLD/14zvvaWmqCl8=; b=dKqCR3gipZnqhrv2VGuDMNa/KCiBt8ZhqsdhdUAMgvRKq++nusukg7SgZmlwboT7u1 2Hi3fkQjtvPAv5eKtK46g7AvMrhX1sl8/NaScYhmClYDgha0VB67C0cjR/D1rPu+F7Zt 7vZJPYSnK9gXTfdve8fgdlYz+sCawu3+KjWcY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:x-accept-language:mime-version:to :cc:subject:references:in-reply-to:content-type :content-transfer-encoding; b=PBSV7oUVPjCmpF4/sr/P1J8jr0BoJedWpmtd1WJYsHj9OJvJMpNVDx8018m5sdSkbg DWU41qa1KNuWz79ORqgi0evtzHc3nztxwE+qaw1s9huJzAgOgQ0A70GkczpN3r3mYPky 0pPE/MU9tIaE+rWV7EuePlUlw8G2qMM8NrAZs= Received: by 10.231.159.204 with SMTP id k12mr8110151ibx.42.1286079289974; Sat, 02 Oct 2010 21:14:49 -0700 (PDT) Received: from [10.0.1.5] (S0106001346b8a607.ed.shawcable.net [96.52.241.68]) by mx.google.com with ESMTPS id d13sm1328917ibb.8.2010.10.02.21.14.48 (version=SSLv3 cipher=RC4-MD5); Sat, 02 Oct 2010 21:14:48 -0700 (PDT) Message-ID: <4CA8033D.3030904@gmail.com> Date: Sat, 02 Oct 2010 22:14:53 -0600 From: Frank User-Agent: Mozilla Thunderbird 1.0.7 (Windows/20050923) X-Accept-Language: de-DE, de, en-us, en MIME-Version: 1.0 To: Chong Yidong Subject: Re: bug#7146: (make-symbol "") issues References: <4CA6B2BE.7070705@gmail.com> <4CA7D1E3.90800@gmail.com> <87k4m0giy4.fsf@stupidchicken.com> <4CA7FC00.5080905@gmail.com> <87fwwn3opr.fsf@stupidchicken.com> In-Reply-To: <87fwwn3opr.fsf@stupidchicken.com> Content-Type: text/plain; charset=ISO-8859-15; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Score: -3.3 (---) X-Debbugs-Envelope-To: 7146 X-Mailman-Approved-At: Sun, 03 Oct 2010 00:26:09 -0400 Cc: 7146@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -3.1 (---) Chong Yidong schrieb: >Frank writes: > > > >>1) Start `emacs -Q' >>2) Load the file bug.el into a buffer via the menu >>3) byte-compile-file >>4) load-file bug.elc >>5) *scratch* >>6) (foo) *** emacs crashes or foo returns some odd number *** >> >> > >I assume by (foo) you mean typing "(foo)" and doing C-j or C-x C-e. > >I'm afraid I don't see any crash. The number 6 appears in the echo >area, that's all. > > > Yes I type (foo) in the *scratch* buffer and then Well if everything runs good then "Hello World" should appear in the echo area, everything else is wrong!!! As I said sometimes it crashes, sometimes it returns some number! From debbugs-submit-bounces@debbugs.gnu.org Sun Oct 03 00:34:13 2010 Received: (at 7146) by debbugs.gnu.org; 3 Oct 2010 04:34:13 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P2GH6-0002lx-W9 for submit@debbugs.gnu.org; Sun, 03 Oct 2010 00:34:13 -0400 Received: from mail-iw0-f172.google.com ([209.85.214.172]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P2GH4-0002lo-1v for 7146@debbugs.gnu.org; Sun, 03 Oct 2010 00:34:10 -0400 Received: by iwn3 with SMTP id 3so5257426iwn.3 for <7146@debbugs.gnu.org>; Sat, 02 Oct 2010 21:37:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:mime-version:received:in-reply-to :references:from:date:message-id:subject:to:cc:content-type :content-transfer-encoding; bh=4p0dl6GwI0eTZTD9BYRe7A/gthWHizXJfuqzKMOqBkM=; b=Om/2qxGi7nkvpWef3tCM+rnHdTu/Zu0GZdnwjkb/Q32aUNoZMOiEevmVKZiLZbUAfc HFKTBr9/UXavsUBWQEFRp2dTImALW36mvvW+G9bGkexXFBQwyVFgQd5Quev4og+Eq2Pz 3WfmyDZ4LcSQax6rxpQXTKHJ46QgwsO6OcqQw= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type:content-transfer-encoding; b=mCtRbjFYs9moEd28gxCOYrF5qje7zhyiydPboCCavzYbQWNiXo+JpSls8k2c+Md4Hk UvNnV7EV9qXKeVwzQBfmR/gb9VeDUfowDd5HHc9E5souj8nWl5c8EHfXGs6f+AiAbQUI u4wMwKOO78le8GXv9PiPgFToOQgEA30h7Za7A= Received: by 10.231.32.130 with SMTP id c2mr7161039ibd.28.1286080632177; Sat, 02 Oct 2010 21:37:12 -0700 (PDT) MIME-Version: 1.0 Received: by 10.231.196.71 with HTTP; Sat, 2 Oct 2010 21:36:31 -0700 (PDT) In-Reply-To: <87fwwn3opr.fsf@stupidchicken.com> References: <4CA6B2BE.7070705@gmail.com> <4CA7D1E3.90800@gmail.com> <87k4m0giy4.fsf@stupidchicken.com> <4CA7FC00.5080905@gmail.com> <87fwwn3opr.fsf@stupidchicken.com> From: Juanma Barranquero Date: Sun, 3 Oct 2010 06:36:31 +0200 Message-ID: Subject: Re: bug#7146: (make-symbol "") issues To: Chong Yidong Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.7 (--) X-Debbugs-Envelope-To: 7146 Cc: 7146@debbugs.gnu.org, Frank X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.7 (--) On Sun, Oct 3, 2010 at 06:05, Chong Yidong wrote: > I'm afraid I don't see any crash. =C2=A0The number 6 appears in the echo > area, that's all. I see it on Windows, with the current trunk. =C2=A0 =C2=A0 Juanma Program received signal SIGSEGV, Segmentation fault. 0x0102bfb6 in find_symbol_value (symbol=3D2) at data.c:1059 1059 switch (sym->redirect) (gdb) bt #0 0x0102bfb6 in find_symbol_value (symbol=3D2) at data.c:1059 #1 0x0102c150 in Fsymbol_value (symbol=3D2) at data.c:1082 #2 0x01038edf in Feval (form=3D2) at eval.c:2231 #3 0x01036eef in internal_catch (tag=3D53471294, func=3D0x1038eb2 , arg=3D2) at eval.c:1204 #4 0x01283183 in Fbyte_code (bytestr=3D74807729, vector=3D50925637, maxdepth=3D12) at bytecode.c:854 #5 0x0103c9e7 in funcall_lambda (fun=3D50106437, nargs=3D0, arg_vector=3D0x88f1b0) at eval.c:3174 #6 0x0103c41d in apply_lambda (fun=3D50106437, args=3D48474138, eval_flag=3D1) at eval.c:3100 #7 0x01039eed in Feval (form=3D74931054) at eval.c:2394 #8 0x0103bb72 in Ffuncall (nargs=3D2, args=3D0x88f3f4) at eval.c:2990 #9 0x0128285f in Fbyte_code (bytestr=3D21103025, vector=3D21103077, maxdepth=3D12) at bytecode.c:679 #10 0x0103c9e7 in funcall_lambda (fun=3D21102989, nargs=3D1, arg_vector=3D0x88f624) at eval.c:3174 #11 0x0103c0f9 in Ffuncall (nargs=3D2, args=3D0x88f620) at eval.c:3036 #12 0x0128285f in Fbyte_code (bytestr=3D21103369, vector=3D21103421, maxdepth=3D12) at bytecode.c:679 #13 0x0103c9e7 in funcall_lambda (fun=3D21103341, nargs=3D1, arg_vector=3D0x88f8a4) at eval.c:3174 #14 0x0103c0f9 in Ffuncall (nargs=3D2, args=3D0x88f8a0) at eval.c:3036 #15 0x01281929 in Fcall_interactively (function=3D49029794, record_flag=3D48474138, keys=3D48495365) at callint.c:849 #16 0x0103bcb2 in Ffuncall (nargs=3D4, args=3D0x88fb30) at eval.c:2996 #17 0x0103b10f in call3 (fn=3D48643962, arg1=3D49029794, arg2=3D48474138, arg3=3D48474138) at eval.c:2820 #18 0x0102294e in Fcommand_execute (cmd=3D49029794, record_flag=3D48474138, keys=3D48474138, special=3D48474138) at keyboard.c:10330 #19 0x0100863d in command_loop_1 () at keyboard.c:1737 #20 0x010374d0 in internal_condition_case (bfun=3D0x1007058 , handlers=3D48527722, hfun=3D0x100678d ) at eval.c:1460 #21 0x01006c63 in command_loop_2 (ignore=3D48474138) at keyboard.c:1338 #22 0x01036eef in internal_catch (tag=3D48525842, func=3D0x1006c40 , arg=3D48474138) at eval.c:1204 #23 0x01006c1b in command_loop () at keyboard.c:1317 #24 0x01005e7f in recursive_edit_1 () at keyboard.c:940 #25 0x010063a3 in Frecursive_edit () at keyboard.c:1002 #26 0x010026af in main (argc=3D2, argv=3D0xb72c50) at emacs.c:1718 Lisp Backtrace: "foo" (0x88f1b0) "eval" (0x88f3f8) "eval-last-sexp-1" (0x88f624) "eval-last-sexp" (0x88f8a4) "call-interactively" (0x88fb34) (gdb) From debbugs-submit-bounces@debbugs.gnu.org Sun Oct 03 06:25:58 2010 Received: (at 7146) by debbugs.gnu.org; 3 Oct 2010 10:25:58 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P2LlW-0005n8-7m for submit@debbugs.gnu.org; Sun, 03 Oct 2010 06:25:58 -0400 Received: from smtprelay-h31.telenor.se ([213.150.131.4]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P2LlT-0005n2-KQ for 7146@debbugs.gnu.org; Sun, 03 Oct 2010 06:25:56 -0400 Received: from ipb1.telenor.se (ipb1.telenor.se [195.54.127.164]) by smtprelay-h31.telenor.se (Postfix) with ESMTP id 0D4C5EB3B3 for <7146@debbugs.gnu.org>; Sun, 3 Oct 2010 12:28:57 +0200 (CEST) X-SENDER-IP: [85.228.201.117] X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjQ6AI/3p0xV5Ml1PGdsb2JhbACHb5QGhksMAQEBATUtv1qFRwSQKA X-IronPort-AV: E=Sophos;i="4.57,274,1283724000"; d="scan'208";a="137970858" Received: from c-75c9e455.04-211-6c6b701.cust.bredbandsbolaget.se (HELO muon.localdomain) ([85.228.201.117]) by ipb1.telenor.se with ESMTP; 03 Oct 2010 12:28:57 +0200 Received: by muon.localdomain (Postfix, from userid 1000) id 589F9484274; Sun, 3 Oct 2010 12:28:56 +0200 (CEST) From: =?utf-8?Q?Johan_Bockg=C3=A5rd?= To: Chong Yidong Subject: Re: bug#7146: (make-symbol "") issues References: <4CA6B2BE.7070705@gmail.com> <4CA7D1E3.90800@gmail.com> <87k4m0giy4.fsf@stupidchicken.com> <4CA7FC00.5080905@gmail.com> <87fwwn3opr.fsf@stupidchicken.com> Mail-Copies-To: never Date: Sun, 03 Oct 2010 12:28:55 +0200 In-Reply-To: <87fwwn3opr.fsf@stupidchicken.com> (Chong Yidong's message of "Sun, 03 Oct 2010 00:05:52 -0400") Message-ID: <87bp7bfu3c.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.6 (--) X-Debbugs-Envelope-To: 7146 Cc: 7146@debbugs.gnu.org, Frank X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.6 (--) Chong Yidong writes: > Frank writes: > >> 1) Start `emacs -Q' >> 2) Load the file bug.el into a buffer via the menu >> 3) byte-compile-file >> 4) load-file bug.elc >> 5) *scratch* >> 6) (foo) *** emacs crashes or foo returns some odd number *** > > I assume by (foo) you mean typing "(foo)" and doing C-j or C-x C-e. > > I'm afraid I don't see any crash. The number 6 appears in the echo > area, that's all. The problem is that there is no read syntax for a symbol with an empty name, so it can't reliably be printed to a string (file) and read back. (symbol-name (aref [#: x] 0)) => "x" ; This is what happens in the report. but (symbol-name (aref [#:] 0)) => "" You could change the reader to somehow recognize the first case. The problem would come back if you changed `make-symbol' to `intern', though, since it really prints as nothing at all. From debbugs-submit-bounces@debbugs.gnu.org Sun Oct 03 10:52:17 2010 Received: (at 7146) by debbugs.gnu.org; 3 Oct 2010 14:52:17 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P2PvE-00084X-Vu for submit@debbugs.gnu.org; Sun, 03 Oct 2010 10:52:17 -0400 Received: from pantheon-po26.its.yale.edu ([130.132.50.121]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P2PvD-00084S-KG for 7146@debbugs.gnu.org; Sun, 03 Oct 2010 10:52:16 -0400 Received: from furry (adsl-99-111-197-225.dsl.wlfrct.sbcglobal.net [99.111.197.225]) (authenticated bits=0) by pantheon-po26.its.yale.edu (8.12.11.20060308/8.12.11) with ESMTP id o93EtIO5009580 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Sun, 3 Oct 2010 10:55:19 -0400 Received: by furry (Postfix, from userid 1000) id 11F31C018; Sun, 3 Oct 2010 10:55:18 -0400 (EDT) From: Chong Yidong To: Frank Subject: Re: bug#7146: (make-symbol "") issues References: <4CA6B2BE.7070705@gmail.com> <4CA7D1E3.90800@gmail.com> <87k4m0giy4.fsf@stupidchicken.com> <4CA7FC00.5080905@gmail.com> <87fwwn3opr.fsf@stupidchicken.com> <87bp7bfu3c.fsf@gnu.org> Date: Sun, 03 Oct 2010 10:55:17 -0400 In-Reply-To: <87bp7bfu3c.fsf@gnu.org> ("Johan =?utf-8?Q?Bockg=C3=A5rd=22's?= message of "Sun, 03 Oct 2010 12:28:55 +0200") Message-ID: <87iq1jfhre.fsf@stupidchicken.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-YaleITSMailFilter: Version 1.2c (attachment(s) not renamed) X-Spam-Score: -2.6 (--) X-Debbugs-Envelope-To: 7146 Cc: 7146@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.6 (--) Johan Bockg=C3=A5rd writes: > The problem is that there is no read syntax for a symbol with an empty > name, so it can't reliably be printed to a string (file) and read back. > > (symbol-name (aref [#: x] 0)) =3D> "x" ; This is what happens in the re= port. > > but (symbol-name (aref [#:] 0)) =3D> "" > > You could change the reader to somehow recognize the first case. The > problem would come back if you changed `make-symbol' to `intern', > though, since it really prints as nothing at all. I guess we could make intern and make-symbol signal errors for the empty string. From debbugs-submit-bounces@debbugs.gnu.org Sun Oct 03 14:42:39 2010 Received: (at 7146) by debbugs.gnu.org; 3 Oct 2010 18:42:39 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P2TWB-00011y-3Q for submit@debbugs.gnu.org; Sun, 03 Oct 2010 14:42:39 -0400 Received: from mail-ww0-f46.google.com ([74.125.82.46]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P2TW8-00011t-94 for 7146@debbugs.gnu.org; Sun, 03 Oct 2010 14:42:37 -0400 Received: by wwb31 with SMTP id 31so5437458wwb.15 for <7146@debbugs.gnu.org>; Sun, 03 Oct 2010 11:45:39 -0700 (PDT) MIME-Version: 1.0 Received: by 10.216.165.16 with SMTP id d16mr6797989wel.0.1286131539597; Sun, 03 Oct 2010 11:45:39 -0700 (PDT) Received: by 10.216.67.195 with HTTP; Sun, 3 Oct 2010 11:45:39 -0700 (PDT) Date: Sun, 3 Oct 2010 14:45:39 -0400 X-Google-Sender-Auth: ZG8GO2N4Q41qDSE9_z5zhkfBZUw Message-ID: Subject: bug#7146: (make-symbol "") issues From: MON KEY To: 7146@debbugs.gnu.org Content-Type: text/plain; charset=UTF-8 X-Spam-Score: -1.8 (-) X-Debbugs-Envelope-To: 7146 Cc: Chong Yidong X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -3.1 (---) Chong Yidong wrote: > I guess we could make intern and make-symbol signal errors for the empty > string. That would be great! So, IIUC is the rationale for doing this is that there aren't really any particularly good reasons to intern the empty string given that the reader is incapable of reading it correctly? If so, maybe, along similar (inverted) lines the forms: (make-symbol "nil")/(intern-soft "nil")(intern "nil") should signal errors as well? I.e as it's impossible to correctly re-intern (with read or otherwise) an uninterned `nil' there should be no reason that one should need to make-symbol/intern-soft/intern "nil" either? Note however there is this: bug#5672: 23.1; (intern-soft "") returns non-nil (URL `http://lists.gnu.org/archive/html/bug-gnu-emacs/2010-03/msg00026.html') Which may not comport with your decision to have `intern'/`make-symbol' signal error. In bug#5672 Stefan states that interning the empty string is not a bug because it might not always be done purposefully (IIUC). But note there is this more recent discussion: Date: Sat, 11 Sep 2010 19:33:07 -0400 Subject: Save `nil' from the mutant void, preserve the truth of falsehood, prevent the falsehood of truth (URL `http://lists.gnu.org/archive/html/emacs-devel/2010-09/msg00464.html') Where it is pointed out that `intern-soft'ing the emtpy string with e.g.: (prog1 #1=(intern-soft "") (unintern #1#)) is potentially problematic (at either compile or runtime). Note that the new `unintern' semantics requiring provision of an `obarray' account for some part of the problem. (This said, IMHO I still consider the form above a source of myriad potential security holes and abuse, new obarray semantics or no.) Whatever, b/c is difficult to prove formally that these potentialities for abuse exist without dialogue them publicly and b/c doing so is currently an exercise in self-flagellation given the absence of a willingness for honest public examination of the shortcomings of the Elisp reader the best one can do is hint at their possible implementation and home someone "gets it"... >From from the same thread: (URL `http://lists.gnu.org/archive/html/emacs-devel/2010-09/msg00494.html') There is also this example (relevant to the current bug) which provides an illustration of the vagaries of `intern-soft' w/re the empty string. The more salient portion included below for completeness: ,---- | | > since `intern' only takes a string rather than a symbol. | | Yeah, but again there is the weird corner case of interning the 0 | length string. Which, as shown in previous mail causes additional | headaches when attempting to re-intern a symbol. | | | emacs -Q | | (prin1 | (let ((s1 (intern (symbol-name (make-symbol "")))) | (s2 (intern (symbol-name '#:))) | cmp) | (setq cmp `((,#1=s1 ,#1#) (,#2=s2 ,#2#))) | `(:S1-LEN ,(length (car cmp)) | :S1-LEN ,(length (cadr cmp)) | :S1-IS-S1 ,(eq (caar cmp) (car (cdar cmp))) | :S2-IS-S2 ,(eq (car (cadr cmp)) (cadr (cadr cmp))) | :CAR-S1-IS-CAR-S2 ,(eq (caar cmp) (car (cadr cmp))) | :CADR-S1-IS-CADR-S2 ,(eq (car (cdar cmp)) (cadr (cadr cmp))) | :S1-IDENTITY ,(identity s1) | :S1-IDENTITY ,(identity s1) | :S1-SYM-NAME ,(symbol-name s1) | :S2-SYM-NAME ,(symbol-name s2) | :S2-UNINTD ,(unintern (car (cadr cmp))) | :S1-UNINTD ,(unintern (caar cmp)))) | (current-buffer)) | | (:S1-LEN 2 :S1-LEN 2 | :S1-IS-S1 t :S2-IS-S2 t | :CAR-S1-IS-CAR-S2 t :CADR-S1-IS-CADR-S2 t | :S1-IDENTITY :S1-IDENTITY ;; <- Note, that _is_ an identity | :S1-SYM-NAME "" :S2-SYM-NAME "" | :S2-UNINTD t :S1-UNINTD nil) | `---- Maybe too, `make-symbol' and `intern' should also have mandatory obarray arguments in keeping with the new semantics for `unintern'? -- /s_P\ From debbugs-submit-bounces@debbugs.gnu.org Sun Oct 03 14:53:52 2010 Received: (at 7146) by debbugs.gnu.org; 3 Oct 2010 18:53:52 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P2Th2-000163-I1 for submit@debbugs.gnu.org; Sun, 03 Oct 2010 14:53:52 -0400 Received: from pantheon-po26.its.yale.edu ([130.132.50.121]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P2Th0-00015y-Fw for 7146@debbugs.gnu.org; Sun, 03 Oct 2010 14:53:51 -0400 Received: from furry (173-9-75-145-NewEngland.hfc.comcastbusiness.net [173.9.75.145]) (authenticated bits=0) by pantheon-po26.its.yale.edu (8.12.11.20060308/8.12.11) with ESMTP id o93IusUs026993 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Sun, 3 Oct 2010 14:56:54 -0400 Received: by furry (Postfix, from userid 1000) id D62E0C018; Sun, 3 Oct 2010 14:56:53 -0400 (EDT) From: Chong Yidong To: MON KEY Subject: Re: bug#7146: (make-symbol "") issues References: Date: Sun, 03 Oct 2010 14:56:53 -0400 In-Reply-To: (MON KEY's message of "Sun, 3 Oct 2010 14:45:39 -0400") Message-ID: <87aamvw1e2.fsf@stupidchicken.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-YaleITSMailFilter: Version 1.2c (attachment(s) not renamed) X-Spam-Score: -2.6 (--) X-Debbugs-Envelope-To: 7146 Cc: 7146@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.6 (--) MON KEY writes: > So, IIUC is the rationale for doing this is that there aren't really > any particularly good reasons to intern the empty string given that > the reader is incapable of reading it correctly? The only reason is that it can lead to a crash. There are plenty of reasons to shoot yourself in the foot in Lisp in you're determined to do so; it's not profitable to address them unless a real world problem surfaces. From debbugs-submit-bounces@debbugs.gnu.org Sun Oct 03 19:09:36 2010 Received: (at 7146) by debbugs.gnu.org; 3 Oct 2010 23:09:36 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P2XgV-0002ey-PA for submit@debbugs.gnu.org; Sun, 03 Oct 2010 19:09:35 -0400 Received: from smtp2a.orange.fr ([80.12.242.140]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P2XgT-0002et-V8 for 7146@debbugs.gnu.org; Sun, 03 Oct 2010 19:09:34 -0400 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2a21.orange.fr (SMTP Server) with ESMTP id 4AF4B700009C; Mon, 4 Oct 2010 01:12:37 +0200 (CEST) Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2a21.orange.fr (SMTP Server) with ESMTP id 3DCA570000FE; Mon, 4 Oct 2010 01:12:37 +0200 (CEST) Received: from fmsmemgm.homelinux.net (AMontsouris-552-1-117-187.w92-140.abo.wanadoo.fr [92.140.60.187]) by mwinf2a21.orange.fr (SMTP Server) with ESMTP id 210CF700009C; Mon, 4 Oct 2010 01:12:37 +0200 (CEST) X-ME-UUID: 20101003231237135.210CF700009C@mwinf2a21.orange.fr Received: by fmsmemgm.homelinux.net (Postfix, from userid 20848) id 75F3DAE2BE; Mon, 4 Oct 2010 01:12:36 +0200 (CEST) From: Stefan Monnier To: Chong Yidong Subject: Re: bug#7146: (make-symbol "") issues Message-ID: References: <4CA6B2BE.7070705@gmail.com> <4CA7D1E3.90800@gmail.com> <87k4m0giy4.fsf@stupidchicken.com> <4CA7FC00.5080905@gmail.com> <87fwwn3opr.fsf@stupidchicken.com> <87bp7bfu3c.fsf@gnu.org> <87iq1jfhre.fsf@stupidchicken.com> Date: Mon, 04 Oct 2010 01:12:36 +0200 In-Reply-To: <87iq1jfhre.fsf@stupidchicken.com> (Chong Yidong's message of "Sun, 03 Oct 2010 10:55:17 -0400") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Spam-Score: -2.0 (--) X-Debbugs-Envelope-To: 7146 Cc: 7146@debbugs.gnu.org, Frank X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.0 (--) > I guess we could make intern and make-symbol signal errors for the empty > string. No, we should make them write some non-empty representation. Stefan From debbugs-submit-bounces@debbugs.gnu.org Sun Oct 03 19:45:49 2010 Received: (at 7146) by debbugs.gnu.org; 3 Oct 2010 23:45:49 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P2YFY-0002t0-OW for submit@debbugs.gnu.org; Sun, 03 Oct 2010 19:45:48 -0400 Received: from mail-ww0-f46.google.com ([74.125.82.46]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1P2YFX-0002sv-QP for 7146@debbugs.gnu.org; Sun, 03 Oct 2010 19:45:48 -0400 Received: by wwb31 with SMTP id 31so5618329wwb.15 for <7146@debbugs.gnu.org>; Sun, 03 Oct 2010 16:48:52 -0700 (PDT) MIME-Version: 1.0 Received: by 10.216.19.13 with SMTP id m13mr2176245wem.101.1286149731938; Sun, 03 Oct 2010 16:48:51 -0700 (PDT) Received: by 10.216.67.195 with HTTP; Sun, 3 Oct 2010 16:48:51 -0700 (PDT) In-Reply-To: <87aamvw1e2.fsf@stupidchicken.com> References: <87aamvw1e2.fsf@stupidchicken.com> Date: Sun, 3 Oct 2010 19:48:51 -0400 X-Google-Sender-Auth: V0ycS2fH6iG8qrOfwg0Z8cDOrJo Message-ID: Subject: Re: bug#7146: (make-symbol "") issues From: MON KEY To: Chong Yidong Content-Type: text/plain; charset=UTF-8 X-Spam-Score: -3.1 (---) X-Debbugs-Envelope-To: 7146 Cc: 7146@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -3.1 (---) On Sun, Oct 3, 2010 at 2:56 PM, Chong Yidong wrote: > MON KEY writes: > >> So, IIUC is the rationale for doing this is that there aren't really >> any particularly good reasons to intern the empty string given that >> the reader is incapable of reading it correctly? > > The only reason is that it can lead to a crash. So the potential for a crashed Emacs is rationale enough, whereas potential for an inexplicably hung and thoroughly corrupted Emacs is just grist for the mill? > There are plenty of > reasons to shoot yourself in the foot in Lisp in you're determined to do And a good deal of these apply equally even for the undetermined and un-intentioned, not to mention the ill-intentioned. > so; it's not profitable to address them unless a real world problem > surfaces. > OK. -- /s_P\ From debbugs-submit-bounces@debbugs.gnu.org Thu Jul 14 10:32:10 2011 Received: (at 7146) by debbugs.gnu.org; 14 Jul 2011 14:32:10 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1QhMxS-0006W6-7v for submit@debbugs.gnu.org; Thu, 14 Jul 2011 10:32:10 -0400 Received: from hermes.netfonds.no ([80.91.224.195]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1QhMxF-0006Uf-6U for 7146@debbugs.gnu.org; Thu, 14 Jul 2011 10:31:58 -0400 Received: from cm-84.215.51.58.getinternet.no ([84.215.51.58] helo=quimbies.gnus.org) by hermes.netfonds.no with esmtpsa (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1QhMx1-0007r2-5w; Thu, 14 Jul 2011 16:31:39 +0200 From: Lars Magne Ingebrigtsen To: Stefan Monnier Subject: Re: bug#7146: (make-symbol "") issues In-Reply-To: (Stefan Monnier's message of "Mon, 04 Oct 2010 01:12:36 +0200") Date: Thu, 14 Jul 2011 16:25:06 +0200 Message-ID: References: <4CA6B2BE.7070705@gmail.com> <4CA7D1E3.90800@gmail.com> <87k4m0giy4.fsf@stupidchicken.com> <4CA7FC00.5080905@gmail.com> <87fwwn3opr.fsf@stupidchicken.com> <87bp7bfu3c.fsf@gnu.org> <87iq1jfhre.fsf@stupidchicken.com> User-Agent: Gnus/5.110018 (No Gnus v0.18) Emacs/24.0.50 (gnu/linux) X-Now-Playing: Depeche Mode's _A Question of Lust_: "A Question of Lust" X-Hashcash: 1:23:110714:monnier@iro.umontreal.ca::Akf1EVcNvd789r8H:0000000000000000000000000000000000000Dx3c X-Hashcash: 1:23:110714:some.frank@gmail.com::r+dxYJVMbPIFW7yb:00000000000000000000000000000000000000000JMlk X-Hashcash: 1:23:110714:7146@debbugs.gnu.org::o1n0LisM+HYUgP8a:00000000000000000000000000000000000000000TGBB X-Hashcash: 1:23:110714:cyd@stupidchicken.com::080deeJ3nRTqD+yT:0000000000000000000000000000000000000000ZeKu MIME-Version: 1.0 Content-Type: text/plain X-MailScanner-ID: 1QhMx1-0007r2-5w X-Netfonds-MailScanner: Found to be clean X-Netfonds-MailScanner-From: larsi@gnus.org MailScanner-NULL-Check: 1311258699.7936@zyx4LSZK8hzkuzkIn4IHvA X-Spam-Status: No X-Spam-Score: -2.7 (--) X-Debbugs-Envelope-To: 7146 Cc: 7146@debbugs.gnu.org, Frank , Chong Yidong X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.7 (--) Stefan Monnier writes: >> I guess we could make intern and make-symbol signal errors for the empty >> string. > > No, we should make them write some non-empty representation. Even though this is obscure, this is a bug that can crash (some builds of) Emacs. So I rather think this should be fixed. Was any work done towards adding a printed representation of empty-string symbols? -- (domestic pets only, the antidote for overdose, milk.) bloggy blog http://lars.ingebrigtsen.no/ From debbugs-submit-bounces@debbugs.gnu.org Thu Jul 14 12:24:28 2011 Received: (at 7146) by debbugs.gnu.org; 14 Jul 2011 16:24:28 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1QhOiB-0004AO-D8 for submit@debbugs.gnu.org; Thu, 14 Jul 2011 12:24:27 -0400 Received: from mail-out.m-online.net ([212.18.0.10]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1QhOi9-0004AB-6E for 7146@debbugs.gnu.org; Thu, 14 Jul 2011 12:24:25 -0400 Received: from frontend1.mail.m-online.net (frontend1.mail.intern.m-online.net [192.168.8.180]) by mail-out.m-online.net (Postfix) with ESMTP id 4FFFD188B594; Thu, 14 Jul 2011 18:24:18 +0200 (CEST) Received: from localhost (dynscan1.mnet-online.de [192.168.8.164]) by mail.m-online.net (Postfix) with ESMTP id 605701C00143; Thu, 14 Jul 2011 18:24:18 +0200 (CEST) X-Virus-Scanned: amavisd-new at mnet-online.de Received: from mail.mnet-online.de ([192.168.8.180]) by localhost (dynscan1.mail.m-online.net [192.168.8.164]) (amavisd-new, port 10024) with ESMTP id QBbUEcUAzHFS; Thu, 14 Jul 2011 18:24:14 +0200 (CEST) Received: from igel.home (ppp-93-104-151-223.dynamic.mnet-online.de [93.104.151.223]) by mail.mnet-online.de (Postfix) with ESMTP; Thu, 14 Jul 2011 18:24:14 +0200 (CEST) Received: by igel.home (Postfix, from userid 501) id E4CDECA293; Thu, 14 Jul 2011 18:24:13 +0200 (CEST) From: Andreas Schwab To: Lars Magne Ingebrigtsen Subject: Re: bug#7146: (make-symbol "") issues References: <4CA6B2BE.7070705@gmail.com> <4CA7D1E3.90800@gmail.com> <87k4m0giy4.fsf@stupidchicken.com> <4CA7FC00.5080905@gmail.com> <87fwwn3opr.fsf@stupidchicken.com> <87bp7bfu3c.fsf@gnu.org> <87iq1jfhre.fsf@stupidchicken.com> X-Yow: Finally, Zippy drives his 1958 RAMBLER METROPOLITAN into the faculty dining room. Date: Thu, 14 Jul 2011 18:24:13 +0200 In-Reply-To: (Lars Magne Ingebrigtsen's message of "Thu, 14 Jul 2011 16:25:06 +0200") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Spam-Score: -2.6 (--) X-Debbugs-Envelope-To: 7146 Cc: 7146@debbugs.gnu.org, Frank , Chong Yidong , Stefan Monnier X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.6 (--) Lars Magne Ingebrigtsen writes: > Even though this is obscure, this is a bug that can crash (some builds > of) Emacs. So I rather think this should be fixed. Was any work done > towards adding a printed representation of empty-string symbols? What would be a good mnemonic? We need two different representations (interned and uninterned), perhaps ## and #= ? Andreas. -- Andreas Schwab, schwab@linux-m68k.org GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 "And now for something completely different." From debbugs-submit-bounces@debbugs.gnu.org Sat Jul 16 23:16:10 2011 Received: (at 7146) by debbugs.gnu.org; 17 Jul 2011 03:16:10 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1QiHpy-0003uH-8r for submit@debbugs.gnu.org; Sat, 16 Jul 2011 23:16:10 -0400 Received: from ironport2-out.teksavvy.com ([206.248.154.183] helo=ironport2-out.pppoe.ca) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1QiHpx-0003u3-05 for 7146@debbugs.gnu.org; Sat, 16 Jul 2011 23:16:09 -0400 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av0EAFxTIk5MCqt8/2dsb2JhbABSp3V4iHzBAYY8BJ8nhDA X-IronPort-AV: E=Sophos;i="4.67,215,1309752000"; d="scan'208";a="126241345" Received: from 76-10-171-124.dsl.teksavvy.com (HELO ceviche.home) ([76.10.171.124]) by ironport2-out.pppoe.ca with ESMTP/TLS/ADH-AES256-SHA; 16 Jul 2011 23:16:02 -0400 Received: by ceviche.home (Postfix, from userid 20848) id 65308660D5; Sat, 16 Jul 2011 23:16:02 -0400 (EDT) From: Stefan Monnier To: Andreas Schwab Subject: Re: bug#7146: (make-symbol "") issues Message-ID: References: <4CA6B2BE.7070705@gmail.com> <4CA7D1E3.90800@gmail.com> <87k4m0giy4.fsf@stupidchicken.com> <4CA7FC00.5080905@gmail.com> <87fwwn3opr.fsf@stupidchicken.com> <87bp7bfu3c.fsf@gnu.org> <87iq1jfhre.fsf@stupidchicken.com> Date: Sat, 16 Jul 2011 23:16:02 -0400 In-Reply-To: (Andreas Schwab's message of "Thu, 14 Jul 2011 18:24:13 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.1 (--) X-Debbugs-Envelope-To: 7146 Cc: 7146@debbugs.gnu.org, Frank , Lars Magne Ingebrigtsen , Chong Yidong X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.1 (--) >> Even though this is obscure, this is a bug that can crash (some builds >> of) Emacs. So I rather think this should be fixed. Was any work done >> towards adding a printed representation of empty-string symbols? > What would be a good mnemonic? We need two different representations > (interned and uninterned), perhaps ## and #= ? "#:" is the obvious choice for the uninterned representation. It already works for printing, but is not understood by the reader. CommonLisp has a |....| syntax for interned symbols which trivially allows empty symbols, and some Scheme iumplementations adopted it as well, although R6RS didn't (it did add a \xNNNN notation which allows for non-ASCII chars, but it doesn't seem to include a notation for empty symbols). Stefan From debbugs-submit-bounces@debbugs.gnu.org Sun Jul 17 04:15:27 2011 Received: (at 7146) by debbugs.gnu.org; 17 Jul 2011 08:15:28 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1QiMVb-0002Ly-3n for submit@debbugs.gnu.org; Sun, 17 Jul 2011 04:15:27 -0400 Received: from mail-out.m-online.net ([212.18.0.9]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1QiMVY-0002Ll-CD for 7146@debbugs.gnu.org; Sun, 17 Jul 2011 04:15:25 -0400 Received: from frontend1.mail.m-online.net (unknown [192.168.8.180]) by mail-out.m-online.net (Postfix) with ESMTP id 154D01C01DEF; Sun, 17 Jul 2011 10:15:18 +0200 (CEST) X-Auth-Info: nEt//KW9eaCI+Tz4IdDCyaWwzpzycSoLAK3LunSKAdk= Received: from linux.local (ppp-88-217-121-142.dynamic.mnet-online.de [88.217.121.142]) by mail.mnet-online.de (Postfix) with ESMTPA id 025A81C000AF; Sun, 17 Jul 2011 10:15:18 +0200 (CEST) Received: by linux.local (Postfix, from userid 501) id 811AE1E52EC; Sun, 17 Jul 2011 10:15:18 +0200 (CEST) From: Andreas Schwab To: Stefan Monnier Subject: Re: bug#7146: (make-symbol "") issues References: <4CA6B2BE.7070705@gmail.com> <4CA7D1E3.90800@gmail.com> <87k4m0giy4.fsf@stupidchicken.com> <4CA7FC00.5080905@gmail.com> <87fwwn3opr.fsf@stupidchicken.com> <87bp7bfu3c.fsf@gnu.org> <87iq1jfhre.fsf@stupidchicken.com> X-Yow: Hmmm... a PINHEAD, during an EARTHQUAKE, encounters an ALL-MIDGET FIDDLE ORCHESTRA... ha.. ha.. Date: Sun, 17 Jul 2011 10:15:17 +0200 In-Reply-To: (Stefan Monnier's message of "Sat, 16 Jul 2011 23:16:02 -0400") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Spam-Score: -2.6 (--) X-Debbugs-Envelope-To: 7146 Cc: 7146@debbugs.gnu.org, Frank , Lars Magne Ingebrigtsen , Chong Yidong X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.6 (--) Stefan Monnier writes: > "#:" is the obvious choice for the uninterned representation. > It already works for printing, but is not understood by the reader. That works now. > CommonLisp has a |....| syntax I don't think it is a good idea to add a new special character, so ## would still be my choice. Andreas. -- Andreas Schwab, schwab@linux-m68k.org GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 "And now for something completely different." From debbugs-submit-bounces@debbugs.gnu.org Sun Jul 17 17:41:29 2011 Received: (at 7146) by debbugs.gnu.org; 17 Jul 2011 21:41:30 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1QiZ5d-0006bd-F6 for submit@debbugs.gnu.org; Sun, 17 Jul 2011 17:41:29 -0400 Received: from harpegolden.net ([65.99.215.13]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1QiZ5b-0006bQ-PM for 7146@debbugs.gnu.org; Sun, 17 Jul 2011 17:41:28 -0400 Received: from [87.198.47.59] (87-198-47-59.ptr.magnet.ie [87.198.47.59]) (using TLSv1 with cipher AES256-SHA (256/256 bits)) (Client CN "David De La Harpe Golden", Issuer "David De La Harpe Golden Personal CA rev 3" (verified OK)) by harpegolden.net (Postfix) with ESMTPSA id 2E11168440; Sun, 17 Jul 2011 22:41:21 +0100 (IST) Message-ID: <4E2356FF.4030904@harpegolden.net> Date: Sun, 17 Jul 2011 22:41:19 +0100 From: David De La Harpe Golden User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.18) Gecko/20110626 Icedove/3.1.11 MIME-Version: 1.0 To: Stefan Monnier Subject: Re: bug#7146: (make-symbol "") issues References: <4CA6B2BE.7070705@gmail.com> <4CA7D1E3.90800@gmail.com> <87k4m0giy4.fsf@stupidchicken.com> <4CA7FC00.5080905@gmail.com> <87fwwn3opr.fsf@stupidchicken.com> <87bp7bfu3c.fsf@gnu.org> <87iq1jfhre.fsf@stupidchicken.com> In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Score: -2.7 (--) X-Debbugs-Envelope-To: 7146 Cc: 7146@debbugs.gnu.org, Frank , Lars Magne Ingebrigtsen , Andreas Schwab , Chong Yidong X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.7 (--) On 17/07/11 04:16, Stefan Monnier wrote: > "#:" is the obvious choice for the uninterned representation. > It already works for printing, but is not understood by the reader. > Is it? If you mean just a "#:" on its own it looks a bit odd to me, but as usual I'm coming from CL. > CommonLisp has a |....| syntax for interned symbols which trivially > allows empty symbols, That's not just for interned symbols. #:|| is read as an uninterned empty-string named symbol in common lisp, #:|hello world| as an uninterned symbol with a space in the name etc. From debbugs-submit-bounces@debbugs.gnu.org Mon Jul 18 11:30:45 2011 Received: (at 7146) by debbugs.gnu.org; 18 Jul 2011 15:30:45 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1QipmO-00066T-C1 for submit@debbugs.gnu.org; Mon, 18 Jul 2011 11:30:44 -0400 Received: from ironport2-out.teksavvy.com ([206.248.154.183] helo=ironport2-out.pppoe.ca) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1QipmM-00066H-58 for 7146@debbugs.gnu.org; Mon, 18 Jul 2011 11:30:43 -0400 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av0EABpRJE5MCqt8/2dsb2JhbABUp3R4iHzCWIY8BJ8nhDA X-IronPort-AV: E=Sophos;i="4.67,222,1309752000"; d="scan'208";a="126525975" Received: from 76-10-171-124.dsl.teksavvy.com (HELO ceviche.home) ([76.10.171.124]) by ironport2-out.pppoe.ca with ESMTP/TLS/ADH-AES256-SHA; 18 Jul 2011 11:30:35 -0400 Received: by ceviche.home (Postfix, from userid 20848) id 37C176660D; Mon, 18 Jul 2011 11:30:35 -0400 (EDT) From: Stefan Monnier To: Andreas Schwab Subject: Re: bug#7146: (make-symbol "") issues Message-ID: References: <4CA6B2BE.7070705@gmail.com> <4CA7D1E3.90800@gmail.com> <87k4m0giy4.fsf@stupidchicken.com> <4CA7FC00.5080905@gmail.com> <87fwwn3opr.fsf@stupidchicken.com> <87bp7bfu3c.fsf@gnu.org> <87iq1jfhre.fsf@stupidchicken.com> Date: Mon, 18 Jul 2011 11:30:35 -0400 In-Reply-To: (Andreas Schwab's message of "Sun, 17 Jul 2011 10:15:17 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.1 (--) X-Debbugs-Envelope-To: 7146 Cc: 7146@debbugs.gnu.org, Frank , Lars Magne Ingebrigtsen , Chong Yidong X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.1 (--) >> CommonLisp has a |....| syntax > I don't think it is a good idea to add a new special character, so ## > would still be my choice. Another approach is to follow the same idea as with "#:" ("#: is immediately followed by so if it's followed by something that's not appropriate it means is empty"). I.e. "#N=" could be used for the empty interned symbol. Stefan From debbugs-submit-bounces@debbugs.gnu.org Thu Jul 21 15:25:41 2011 Received: (at 7146) by debbugs.gnu.org; 21 Jul 2011 19:25:42 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1QjysP-0008Up-Kx for submit@debbugs.gnu.org; Thu, 21 Jul 2011 15:25:41 -0400 Received: from vm-emlprdomr-03.its.yale.edu ([130.132.50.144]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1QjysN-0008Ud-Nw for 7146@debbugs.gnu.org; Thu, 21 Jul 2011 15:25:40 -0400 Received: from furball ([128.36.225.144]) (authenticated bits=0) by vm-emlprdomr-03.its.yale.edu (8.14.4/8.14.4) with ESMTP id p6LJPWn9028474 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NOT); Thu, 21 Jul 2011 15:25:33 -0400 From: Chong Yidong To: Stefan Monnier Subject: Re: bug#7146: (make-symbol "") issues References: <4CA6B2BE.7070705@gmail.com> <4CA7D1E3.90800@gmail.com> <87k4m0giy4.fsf@stupidchicken.com> <4CA7FC00.5080905@gmail.com> <87fwwn3opr.fsf@stupidchicken.com> <87bp7bfu3c.fsf@gnu.org> <87iq1jfhre.fsf@stupidchicken.com> Date: Thu, 21 Jul 2011 15:25:32 -0400 In-Reply-To: (Stefan Monnier's message of "Mon, 18 Jul 2011 11:30:35 -0400") Message-ID: <87aac7tp03.fsf@stupidchicken.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Scanned-By: MIMEDefang 2.71 on 130.132.50.144 X-Spam-Score: -2.7 (--) X-Debbugs-Envelope-To: 7146 Cc: 7146@debbugs.gnu.org, Frank , Lars Magne Ingebrigtsen , Andreas Schwab X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.7 (--) Stefan Monnier writes: >>> CommonLisp has a |....| syntax >> I don't think it is a good idea to add a new special character, so ## >> would still be my choice. > > Another approach is to follow the same idea as with "#:" ("#: is > immediately followed by so if it's followed by something that's > not appropriate it means is empty"). > I.e. "#N=" could be used for the empty interned symbol. This is inconvenient to implement with the current print_object code, and anyway #N= is not a good conceptual match with empty symbols. I don't have any objection to using ##. From debbugs-submit-bounces@debbugs.gnu.org Thu Jul 28 17:11:08 2011 Received: (at 7146) by debbugs.gnu.org; 28 Jul 2011 21:11:08 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1QmXrI-0000Ko-3u for submit@debbugs.gnu.org; Thu, 28 Jul 2011 17:11:08 -0400 Received: from mail-out.m-online.net ([212.18.0.10]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1QmXrG-0000Kh-4x for 7146@debbugs.gnu.org; Thu, 28 Jul 2011 17:11:07 -0400 Received: from frontend1.mail.m-online.net (frontend1.mail.intern.m-online.net [192.168.8.180]) by mail-out.m-online.net (Postfix) with ESMTP id 3C609188A175; Thu, 28 Jul 2011 23:11:03 +0200 (CEST) Received: from localhost (dynscan1.mnet-online.de [192.168.8.164]) by mail.m-online.net (Postfix) with ESMTP id 8EDF91C000B7; Thu, 28 Jul 2011 23:11:03 +0200 (CEST) X-Virus-Scanned: amavisd-new at mnet-online.de Received: from mail.mnet-online.de ([192.168.8.180]) by localhost (dynscan1.mail.m-online.net [192.168.8.164]) (amavisd-new, port 10024) with ESMTP id nKkZABH6pAy3; Thu, 28 Jul 2011 23:11:02 +0200 (CEST) Received: from igel.home (ppp-88-217-118-247.dynamic.mnet-online.de [88.217.118.247]) by mail.mnet-online.de (Postfix) with ESMTP; Thu, 28 Jul 2011 23:11:02 +0200 (CEST) Received: by igel.home (Postfix, from userid 501) id 0FC18CA293; Thu, 28 Jul 2011 23:11:02 +0200 (CEST) From: Andreas Schwab To: Chong Yidong Subject: Re: bug#7146: (make-symbol "") issues References: <4CA6B2BE.7070705@gmail.com> <4CA7D1E3.90800@gmail.com> <87k4m0giy4.fsf@stupidchicken.com> <4CA7FC00.5080905@gmail.com> <87fwwn3opr.fsf@stupidchicken.com> <87bp7bfu3c.fsf@gnu.org> <87iq1jfhre.fsf@stupidchicken.com> <87aac7tp03.fsf@stupidchicken.com> X-Yow: Hold the MAYO & pass the COSMIC AWARENESS... Date: Thu, 28 Jul 2011 23:11:02 +0200 In-Reply-To: <87aac7tp03.fsf@stupidchicken.com> (Chong Yidong's message of "Thu, 21 Jul 2011 15:25:32 -0400") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Spam-Score: -2.6 (--) X-Debbugs-Envelope-To: 7146 Cc: 7146@debbugs.gnu.org, Frank , Lars Magne Ingebrigtsen , Stefan Monnier X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.6 (--) Chong Yidong writes: > I don't have any objection to using ##. This is now implemented. Andreas. -- Andreas Schwab, schwab@linux-m68k.org GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 "And now for something completely different." From debbugs-submit-bounces@debbugs.gnu.org Fri Jul 29 07:25:20 2011 Received: (at control) by debbugs.gnu.org; 29 Jul 2011 11:25:20 +0000 Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1QmlBv-0004hj-Nw for submit@debbugs.gnu.org; Fri, 29 Jul 2011 07:25:20 -0400 Received: from hermes.netfonds.no ([80.91.224.195]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1QmlBt-0004hZ-PD for control@debbugs.gnu.org; Fri, 29 Jul 2011 07:25:18 -0400 Received: from cm-84.215.51.58.getinternet.no ([84.215.51.58] helo=stories.gnus.org) by hermes.netfonds.no with esmtpsa (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1QmlBi-0000pr-7N for control@debbugs.gnu.org; Fri, 29 Jul 2011 13:25:06 +0200 Date: Fri, 29 Jul 2011 13:24:50 +0200 Message-Id: To: control@debbugs.gnu.org From: Lars Magne Ingebrigtsen Subject: control message for bug #7146 X-MailScanner-ID: 1QmlBi-0000pr-7N X-Netfonds-MailScanner: Found to be clean X-Netfonds-MailScanner-From: larsi@gnus.org MailScanner-NULL-Check: 1312543506.43859@6lY6aoHLB8bTvWjtOsgIuw X-Spam-Status: No X-Spam-Score: -2.7 (--) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.7 (--) tags 7146 fixed close 7146 24.1 From unknown Wed Jun 18 23:08:13 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sat, 27 Aug 2011 11:24:04 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator