From debbugs-submit-bounces@debbugs.gnu.org Sun Oct 06 07:23:45 2013 Received: (at submit) by debbugs.gnu.org; 6 Oct 2013 11:23:45 +0000 Received: from localhost ([127.0.0.1]:57373 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VSmR6-000138-AF for submit@debbugs.gnu.org; Sun, 06 Oct 2013 07:23:44 -0400 Received: from eggs.gnu.org ([208.118.235.92]:60796) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VSmR3-00012x-8N for submit@debbugs.gnu.org; Sun, 06 Oct 2013 07:23:42 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VSmQu-00080d-NX for submit@debbugs.gnu.org; Sun, 06 Oct 2013 07:23:41 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: **** X-Spam-Status: No, score=4.0 required=5.0 tests=BAYES_50, CHARSET_FARAWAY_HEADER,FREEMAIL_FROM,T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:34994) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VSmQu-00080Z-KH for submit@debbugs.gnu.org; Sun, 06 Oct 2013 07:23:32 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:34249) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VSmQm-00039Z-5X for bug-gnu-emacs@gnu.org; Sun, 06 Oct 2013 07:23:32 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VSmQc-0007xg-0w for bug-gnu-emacs@gnu.org; Sun, 06 Oct 2013 07:23:24 -0400 Received: from mail-pa0-x236.google.com ([2607:f8b0:400e:c03::236]:33852) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VSmQb-0007xO-Of for bug-gnu-emacs@gnu.org; Sun, 06 Oct 2013 07:23:13 -0400 Received: by mail-pa0-f54.google.com with SMTP id kx10so6144721pab.27 for ; Sun, 06 Oct 2013 04:23:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:from:to:content-type:content-transfer-encoding :mime-version:subject:date:cc; bh=y76ic+wbb5HdxcgUDyd1+S3z4oSYoiP8ocBtCVXDJ9g=; b=FttvZ28f/4XaZJHsyYgMqAxUYjhJM7lOD8Zuw71EN0kpjGr0cZxXtyIae5Ydeu1Sbv 6O+WfXKKr/35WbvGBXkiENEyTtl1lq3cd4v9i8tRpTFXF4nELCqhLyNHVJDaBziATxDO zAu+eFIpz/s1aveZxMNCfypsLfNWx6u2UeKUSqCuM4Wmzsne7Lfch/y5WRsyDsiShEqp ZwCQPCctB4T1gg/yMgYK47snlhV5dAFynhBzpHFElCwclDs0Z65qSu7yI/IVX6/xOlrp U+Tt73KZoCTedd82/UDZ9Y6t50Mu6SxDbYXr85GqGRe7jC4mKyQd7TCPnv+ZZS1bREQC SE5A== X-Received: by 10.68.244.37 with SMTP id xd5mr24483652pbc.47.1381058592375; Sun, 06 Oct 2013 04:23:12 -0700 (PDT) Received: from [172.20.10.3] (pw126205130116.3.panda-world.ne.jp. [126.205.130.116]) by mx.google.com with ESMTPSA id wp8sm26450730pbc.26.1969.12.31.16.00.00 (version=TLSv1 cipher=RC4-SHA bits=128/128); Sun, 06 Oct 2013 04:23:11 -0700 (PDT) Message-Id: From: =?ISO-2022-JP?B?GyRCR3IwZhsoQiAbJEI+NBsoQg==?= To: bug-gnu-emacs@gnu.org Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v936) Subject: 24.3; Incorrect Expansion of Nested Backquote Date: Sun, 6 Oct 2013 20:23:08 +0900 X-Mailer: Apple Mail (2.936) X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.0 (----) X-Debbugs-Envelope-To: submit Cc: okshirai@gmail.com X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -4.0 (----) The expansion of nested backquote like ``(,,@q) or ``(,@,@q) is incorrect. Please see the following results. ; The followings are from CLtL2 Appendix C. Backquote (require 'cl-lib) cl-lib (setq q '(r s)) (r s) (defun r (x) (cl-reduce #'* x)) r (setq r '(3 5)) (3 5) (setq s '(4 6)) (4 6) ``(,,q) (\` ((\, (r s)))) (24) ; Correct ``(,@,q) (\` ((\,@ (r s)))) 24 ; Correct ``(,,@q) (\` ((\, r s))) ((3 5)) ; Incorrect: This should be ((3 5) (4 6)) ``(,@,@q) (\` ((\,@ r s))) (3 5) ; Incorrect: This should be (3 5 4 6) (setq x '(b c)) (b c) (setq y '(a b)) (a b) (setq p '(cl-union x y)) (cl-union x y) (setq q '((cl-union x y) (list 'sqrt 9))) ((cl-union x y) (list (quote sqrt) 9)) (setq r '(cl-union x y)) (cl-union x y) (setq s '((cl-union x y))) ((cl-union x y)) ``(foo ,,p) (\` (foo (\, (cl-union x y)))) (foo (a b c)) ; Correct ``(foo ,,@q) (\` (foo (\, (cl-union x y) (list (quote sqrt) 9)))) (foo (a b c)) ; Incorrect: This should be (foo (a b c) (sqrt 9)) ``(foo ,',r) (\` (foo (\, (quote (cl-union x y))))) (foo (cl-union x y)) ; Correct ``(foo ,',@s) (\` (foo (\, (quote (cl-union x y))))) (foo (cl-union x y)) ; Correct ``(foo ,@,p) (\` (foo (\,@ (cl-union x y)))) (foo a b c) ; Correct ``(foo ,@,@q) (\` (foo (\,@ (cl-union x y) (list (quote sqrt) 9)))) (foo a b c) ; Incorrect: This should be (foo a b c sqrt 9) ``(foo ,@',r) (\` (foo (\,@ (quote (cl-union x y))))) (foo cl-union x y) ; Correct ``(foo ,@',@s) (\` (foo (\,@ (quote (cl-union x y))))) (foo cl-union x y) ; Correct In GNU Emacs 24.3.1 (i386-apple-darwin9.8.0, NS apple-appkit-949.54) of 2013-04-30 on mini2.local Windowing system distributor `Apple', version 10.3.949 Configured using: `configure '--with-ns' '--without-x'' Important settings: value of $LANG: ja_JP.ujis locale-coding-system: japanese-iso-8bit-unix default enable-multibyte-characters: t Major mode: Lisp Interaction Minor modes in effect: tooltip-mode: t mouse-wheel-mode: t tool-bar-mode: t menu-bar-mode: t file-name-shadow-mode: t global-font-lock-mode: t font-lock-mode: t blink-cursor-mode: t auto-composition-mode: t auto-encryption-mode: t auto-compression-mode: t line-number-mode: t transient-mark-mode: t Recent input: x r e p o r t - e m a c s - b u g Recent messages: For information about GNU Emacs and the GNU system, type C-h C-a. Load-path shadows: None found. Features: (shadow sort gnus-util mail-extr emacsbug message format-spec rfc822 mml easymenu mml-sec mm-decode mm-bodies mm-encode mail-parse rfc2231 mailabbrev gmm-utils mailheader sendmail rfc2047 rfc2045 ietf-drums mm-util mail-prsvr mail-utils time-date japan-util tooltip ediff-hook vc-hooks lisp-float-type mwheel ns-win tool-bar dnd fontset image regexp-opt fringe tabulated-list newcomment lisp-mode register page menu-bar rfn-eshadow timer select scroll-bar mouse jit-lock font-lock syntax facemenu font-core frame cham georgian utf-8-lang misc-lang vietnamese tibetan thai tai-viet lao korean japanese hebrew greek romanian slovak czech european ethiopic indian cyrillic chinese case-table epa-hook jka-cmpr-hook help simple abbrev minibuffer loaddefs button faces cus-face macroexp files text-properties overlay sha1 md5 base64 format env code-pages mule custom widget hashtable-print-readable backquote make-network-process ns multi-tty emacs) From debbugs-submit-bounces@debbugs.gnu.org Tue Oct 08 00:30:48 2013 Received: (at 15538) by debbugs.gnu.org; 8 Oct 2013 04:30:48 +0000 Received: from localhost ([127.0.0.1]:33553 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VTOwZ-0007Nl-Lj for submit@debbugs.gnu.org; Tue, 08 Oct 2013 00:30:48 -0400 Received: from ironport2-out.teksavvy.com ([206.248.154.182]:65111) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VTOwY-0007Nb-5y for 15538@debbugs.gnu.org; Tue, 08 Oct 2013 00:30:46 -0400 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av4EABK/CFHO+K8t/2dsb2JhbABEvw4Xc4IfAQVWIxALNBIUGA0kiCSxH5AOkQoDpHqBXoMT X-IPAS-Result: Av4EABK/CFHO+K8t/2dsb2JhbABEvw4Xc4IfAQVWIxALNBIUGA0kiCSxH5AOkQoDpHqBXoMT X-IronPort-AV: E=Sophos;i="4.84,565,1355115600"; d="scan'208";a="34994230" Received: from 206-248-175-45.dsl.teksavvy.com (HELO pastel.home) ([206.248.175.45]) by ironport2-out.teksavvy.com with ESMTP/TLS/ADH-AES256-SHA; 08 Oct 2013 00:27:05 -0400 Received: by pastel.home (Postfix, from userid 20848) id 17BF16049A; Tue, 8 Oct 2013 00:30:45 -0400 (EDT) From: Stefan Monnier To: =?utf-8?B?55m95LqVIOW9sA==?= Subject: Re: bug#15538: 24.3; Incorrect Expansion of Nested Backquote Message-ID: References: Date: Tue, 08 Oct 2013 00:30:45 -0400 In-Reply-To: (=?utf-8?B?IueZveS6lSDlvbAiJ3M=?= message of "Sun, 6 Oct 2013 20:23:08 +0900") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.3 (/) X-Debbugs-Envelope-To: 15538 Cc: 15538@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.3 (/) > ``(,,@q) > (\` ((\, r s))) > ((3 5)) ; Incorrect: This should be ((3 5) > (4 6)) Indeed, it's incorrect, but I think the intention of the current code is to consider the above expression as invalid, so the error is to return a value at step 2 (ignoring the second argument `s' to the unquote) instead of signalling an error. If you really want that result, you can do ``(,@(list ,@q)) > ``(,@,@q) And here, you'd have to use ``(,@(append ,@q)) I installed a patch into trunk which catches the above problems and signals an error if/when encountering such situations. Thank you, Stefan From debbugs-submit-bounces@debbugs.gnu.org Wed Oct 09 20:38:36 2013 Received: (at control) by debbugs.gnu.org; 10 Oct 2013 00:38:37 +0000 Received: from localhost ([127.0.0.1]:38966 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VU4Gx-0007SY-Lz for submit@debbugs.gnu.org; Wed, 09 Oct 2013 20:38:36 -0400 Received: from fencepost.gnu.org ([208.118.235.10]:34908) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VU4Gr-0007SJ-SU for control@debbugs.gnu.org; Wed, 09 Oct 2013 20:38:30 -0400 Received: from rgm by fencepost.gnu.org with local (Exim 4.71) (envelope-from ) id 1VU4Gr-0003K7-Ir for control@debbugs.gnu.org; Wed, 09 Oct 2013 20:38:29 -0400 Date: Wed, 09 Oct 2013 20:38:29 -0400 Message-Id: Subject: control message for bug 15538 To: X-Mailer: mail (GNU Mailutils 2.1) From: Glenn Morris X-Spam-Score: -5.2 (-----) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.2 (-----) close 15538 24.4 From debbugs-submit-bounces@debbugs.gnu.org Mon Oct 28 18:47:30 2013 Received: (at 15538) by debbugs.gnu.org; 28 Oct 2013 22:47:30 +0000 Received: from localhost ([127.0.0.1]:50055 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Vavar-0008R2-Rn for submit@debbugs.gnu.org; Mon, 28 Oct 2013 18:47:30 -0400 Received: from oproxy13-pub.mail.unifiedlayer.com ([69.89.16.30]:56456) by debbugs.gnu.org with smtp (Exim 4.80) (envelope-from ) id 1Vavao-0008Qr-6w for 15538@debbugs.gnu.org; Mon, 28 Oct 2013 18:47:27 -0400 Received: (qmail 20200 invoked by uid 0); 28 Oct 2013 22:47:24 -0000 Received: from unknown (HELO host393.hostmonster.com) (66.147.240.193) by oproxy13.mail.unifiedlayer.com with SMTP; 28 Oct 2013 22:47:24 -0000 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=nbtrap.com; s=default; h=Content-Type:MIME-Version:Message-ID:Date:Subject:To:From; bh=hmLqC1UJL/mihJNOAFZ1o8PSudhI4p11ix94fvad/wU=; b=BvhmKlDEehe9DDtYndCcQF5xnSNcz1V+fXCH1F1eDjKNMKXhOaIv9iXHPFt27fWjNWdZGvi5GJAA+DgiR6tfOgJXZGg76mI/n8mZQChxxrAO4Vt7eCav4r8cnpgUSGOw; Received: from [50.90.253.209] (port=42442 helo=Nathan-GNU) by host393.hostmonster.com with esmtpsa (TLSv1:CAMELLIA128-SHA:128) (Exim 4.80) (envelope-from ) id 1Vaval-00026I-Ux for 15538@debbugs.gnu.org; Mon, 28 Oct 2013 16:47:24 -0600 From: Nathan Trapuzzano To: 15538@debbugs.gnu.org Subject: RE: bug#15538: 24.3; Incorrect Expansion of Nested Backquote Date: Mon, 28 Oct 2013 18:47:22 -0400 Message-ID: <87wqkxau85.fsf@nbtrap.com> User-Agent: Gnus/5.130007 (Ma Gnus v0.7) Emacs/24.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Identified-User: {1585:host393.hostmonster.com:nbtrapco:nbtrap.com} {sentby:smtp auth 50.90.253.209 authed with nbtrap@nbtrap.com} X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 15538 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.0 (/) Stefan, Is there any reason why double unquote/unquote-splicing can't work in Emacs? A comment in your commit seems to suggest it's doable, so may I ask why you decided not to implement it? I suspect many macro-writing macros would be much more readable if they could be written as they often are in Common Lisp. Nathan From unknown Sat Aug 16 21:15:52 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Tue, 26 Nov 2013 12:24:06 +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