From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.devel Subject: Re: [Emacs-diffs] trunk r117002: Correctly treat progn contents as toplevel forms when byte compiling Date: Tue, 22 Apr 2014 14:37:24 -0400 Message-ID: References: <535558EA.7070506@dancol.org> <53559BD2.3000006@dancol.org> <5355D244.2050104@dancol.org> <5355F442.6080606@dancol.org> <5356A56B.4060501@dancol.org> <5356B15B.7020802@dancol.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1398191878 24665 80.91.229.3 (22 Apr 2014 18:37:58 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 22 Apr 2014 18:37:58 +0000 (UTC) Cc: emacs-devel@gnu.org To: Daniel Colascione Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Tue Apr 22 20:37:50 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 1WcfZk-0001M4-CB for ged-emacs-devel@m.gmane.org; Tue, 22 Apr 2014 20:37:48 +0200 Original-Received: from localhost ([::1]:56690 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WcfZj-0006fU-JW for ged-emacs-devel@m.gmane.org; Tue, 22 Apr 2014 14:37:47 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:46497) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WcfZY-0006Sa-9V for emacs-devel@gnu.org; Tue, 22 Apr 2014 14:37:43 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WcfZQ-0007Ad-Ks for emacs-devel@gnu.org; Tue, 22 Apr 2014 14:37:36 -0400 Original-Received: from chene.dit.umontreal.ca ([132.204.246.20]:40812) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WcfZQ-0007AZ-Fe for emacs-devel@gnu.org; Tue, 22 Apr 2014 14:37:28 -0400 Original-Received: from pastel.home (lechon.iro.umontreal.ca [132.204.27.242]) by chene.dit.umontreal.ca (8.14.1/8.14.1) with ESMTP id s3MIbOvx006630; Tue, 22 Apr 2014 14:37:25 -0400 Original-Received: by pastel.home (Postfix, from userid 20848) id 7BF35600B8; Tue, 22 Apr 2014 14:37:24 -0400 (EDT) In-Reply-To: <5356B15B.7020802@dancol.org> (Daniel Colascione's message of "Tue, 22 Apr 2014 11:13:47 -0700") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux) X-NAI-Spam-Flag: NO X-NAI-Spam-Threshold: 5 X-NAI-Spam-Score: 0 X-NAI-Spam-Rules: 1 Rules triggered RV4920=0 X-NAI-Spam-Version: 2.3.0.9378 : core <4920> : inlines <755> : streams <1164729> : uri <1737697> X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 132.204.246.20 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:171587 Archived-At: > Nobody is going to write a defmacro at toplevel inside a cl-letf. So far, nobody has written the kind of code you say you want to write. In both cases it's trying to handle hypothetical cases, so indeed, I prefer neither overall. I'm OK with adding a bit of complexity if it removes special cases (which my proposal might do, tho I have no experience with it, so maybe it'll need horrendous hacks to implement and additionally it will introduce new special cases), but the CL semantics adds complexity without really removing special cases: it just moves the "special case boundary" elsewhere. And I don't like it for that reason. It's a question of taste, to a large extent, hence the bikeshedding. I prefer you adding `eval-and-compile' at a few places to work around the "buggy Elisp semantics" over imposing the CL semantics. Stefan