From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Achim Gratz Newsgroups: gmane.emacs.bugs Subject: bug#14422: 24.3; Eager Macro Expansion Date: Thu, 30 May 2013 19:59:41 +0200 Message-ID: <87mwrcjqlu.fsf@Rainer.invalid> References: <87hahz82rh.fsf@Rainer.invalid> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" X-Trace: ger.gmane.org 1369936852 17494 80.91.229.3 (30 May 2013 18:00:52 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 30 May 2013 18:00:52 +0000 (UTC) Cc: 14422@debbugs.gnu.org To: Stefan Monnier Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Thu May 30 20:00:52 2013 Return-path: Envelope-to: geb-bug-gnu-emacs@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 1Ui79d-0000dZ-Ry for geb-bug-gnu-emacs@m.gmane.org; Thu, 30 May 2013 20:00:50 +0200 Original-Received: from localhost ([::1]:49110 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Ui79d-000384-E3 for geb-bug-gnu-emacs@m.gmane.org; Thu, 30 May 2013 14:00:49 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:52063) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Ui79R-00030r-Du for bug-gnu-emacs@gnu.org; Thu, 30 May 2013 14:00:42 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Ui79M-0003CD-Ez for bug-gnu-emacs@gnu.org; Thu, 30 May 2013 14:00:37 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:54327) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Ui79M-0003C9-5C for bug-gnu-emacs@gnu.org; Thu, 30 May 2013 14:00:32 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.72) (envelope-from ) id 1Ui7An-0001fC-VT for bug-gnu-emacs@gnu.org; Thu, 30 May 2013 14:02:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Achim Gratz Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 30 May 2013 18:02:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 14422 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 14422-submit@debbugs.gnu.org id=B14422.13699368906304 (code B ref 14422); Thu, 30 May 2013 18:02:01 +0000 Original-Received: (at 14422) by debbugs.gnu.org; 30 May 2013 18:01:30 +0000 Original-Received: from localhost ([127.0.0.1]:42685 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1Ui7AI-0001dZ-20 for submit@debbugs.gnu.org; Thu, 30 May 2013 14:01:30 -0400 Original-Received: from mail-in-07.arcor-online.net ([151.189.21.47]:36272) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1Ui7AD-0001d8-Qf for 14422@debbugs.gnu.org; Thu, 30 May 2013 14:01:28 -0400 Original-Received: from mail-in-11-z2.arcor-online.net (mail-in-11-z2.arcor-online.net [151.189.8.28]) by mx.arcor.de (Postfix) with ESMTP id 39872108BF7; Thu, 30 May 2013 19:59:49 +0200 (CEST) Original-Received: from mail-in-01.arcor-online.net (mail-in-01.arcor-online.net [151.189.21.41]) by mail-in-11-z2.arcor-online.net (Postfix) with ESMTP id 3DA467FF625; Thu, 30 May 2013 19:59:49 +0200 (CEST) Original-Received: from Rainer.invalid (pD9EB05C3.dip0.t-ipconnect.de [217.235.5.195]) (Authenticated sender: stromeko@arcor.de) by mail-in-01.arcor-online.net (Postfix) with ESMTPSA id CC7885B034; Thu, 30 May 2013 19:59:48 +0200 (CEST) X-DKIM: Sendmail DKIM Filter v2.8.2 mail-in-01.arcor-online.net CC7885B034 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=nexgo.de; s=mail-in; t=1369936789; bh=uRuCzZ+doxErwoywgMCFRjwJRatmYsAdD5DhKQhd8B0=; h=From:To:Cc:Subject:References:Date:In-Reply-To:Message-ID: MIME-Version:Content-Type; b=sFf6YzpyL9FpRRHuIbZCdoGRfcvG01jssFqHdE/sUgnpU5ZiyjsqKCVJC8ELx5x+X o4wlvaIsos2qwWSqGlYO/WatUKb5Ns+Z1ynojjvgbqked1Uh179+/LJ4neb7wyGbkQ 1rKzhC+rUaCg6V1dhVa8oCrm6uZgTnVquiMC9Wvw= In-Reply-To: (Stefan Monnier's message of "Mon, 20 May 2013 22:11:15 -0400") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 140.186.70.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:74666 Archived-At: --=-=-= Content-Type: text/plain Stefan Monnier writes: > So the code has a problem, since byte-compiling it doesn't work > (emacs24 is 24.1, here). No wonder eager macro-expansion also leads > to problems. Here's the revised test case that compiles cleanly and still has the same problem: --=-=-= Content-Type: text/x-emacs-lisp Content-Disposition: inline; filename=eme.el (defvar eme-ll nil) (defmacro one (p) `(progn (push ',p eme-ll))) (defmacro two (p) (let (pp) (setq pp (append eme-ll p)) `(progn (push ',pp eme-ll)))) (provide 'eme) --=-=-= Content-Type: text/x-emacs-lisp Content-Disposition: inline; filename=eme-test.el (require 'eme) (require 'ert) (ert-deftest surprise () (should (equal '((one . two) one) (progn (one one) (two two) eme-ll)))) (ert-run-tests-batch-and-exit 'surprise) --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable --8<---------------cut here---------------start------------->8--- eme> emacs-24.3.50 -batch -Q -L . --eval '(byte-compile-file "eme.el")' Wrote /home/eme/eme.elc eme> emacs-24.3.50 -batch -Q -L . --eval '(byte-compile-file "eme-test.el")' Wrote /home/eme/eme-test.elc eme> emacs-24.3.50 -batch -Q -L . -l eme-test Running 1 tests (2013-05-30 19:37:09+0200) Test surprise backtrace: #[nil "\305\306\30B\31B\211D=E2=96=92\311312\313\216\314\n \"\211 #[0 "\306\307!r\211q\210\310\311\312\313\314\315!\316\"\317\320%DC funcall(#[0 "\306\307!r\211q\210\310\311\312\313\314\315!\316\"\31 ert--run-test-internal([cl-struct-ert--test-execution-info [cl-struc #[0 "r\304\305!q\210\306 )\307\310\311\312\313\314!\315\"\316\317% funcall(#[0 "r\304\305!q\210\306 )\307\310\311\312\313\314!\315\"\ ert-run-test([cl-struct-ert-test surprise nil #[nil "\305\306\30B ert-run-or-rerun-test([cl-struct-ert--stats surprise [[cl-struct-ert ert-run-tests(surprise #[385 "\306\307\"\203D\211\211G\310U\203\ ert-run-tests-batch(surprise) ert-run-tests-batch-and-exit(surprise) byte-code("\301\302!\210\301\303!\210\304\305\306\307\305\310\311\31 load("eme-test" nil t) command-line-1(("-L" "." "-l" "eme-test")) command-line() normal-top-level() Test surprise condition: (ert-test-failed ((should (equal '... (progn ... ... eme-ll))) :form (equal ((one . two) one) (two one)) :value nil :explanation (list-elt 0 (different-types (one . two) two)))) FAILED 1/1 surprise Ran 1 tests, 0 results as expected, 1 unexpected (2013-05-30 19:37:09+0200) 1 unexpected results: FAILED surprise --8<---------------cut here---------------end--------------->8--- Regards, Achim. --=20 +<[Q+ Matrix-12 WAVE#46+305 Neuron microQkb Andromeda XTk Blofeld]>+ Wavetables for the Waldorf Blofeld: http://Synth.Stromeko.net/Downloads.html#BlofeldUserWavetables --=-=-=--