From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Yuri Khan Newsgroups: gmane.emacs.devel Subject: Re: scratch/accurate-warning-pos: Solid progress: the branch now bootstraps. Date: Sun, 2 Dec 2018 13:48:50 +0700 Message-ID: References: <20181129220552.GI12576@ACM> <9dde4ed7-8401-6022-a668-258d48bb7726@cs.ucla.edu> <20181130185503.GA16256@ACM> <20181130220218.GB16256@ACM> <138d56b7-53df-1ea5-377c-8502245f1b6b@cs.ucla.edu> <5C0239DA.4030907@gmx.at> <20181201124727.GC5102@ACM> <5C02962C.5040505@gmx.at> <20181201172127.GA29324@ACM> <7faee658-7ad0-4339-00e3-fef198a84121@gmail.com> <37f5c7fb-c1ce-e5b6-d242-5d9c2f3b3576@cs.ucla.edu> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1543733270 19583 195.159.176.226 (2 Dec 2018 06:47:50 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sun, 2 Dec 2018 06:47:50 +0000 (UTC) Cc: =?UTF-8?Q?Cl=C3=A9ment_Pit=2DClaudel?= , Michael Heerdegen , Emacs developers , martin rudalics , Stefan Monnier , Alan Mackenzie , Eli Zaretskii To: Paul Eggert Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sun Dec 02 07:47:45 2018 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gTLXa-0004ul-QO for ged-emacs-devel@m.gmane.org; Sun, 02 Dec 2018 07:47:42 +0100 Original-Received: from localhost ([::1]:43606 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gTLZh-0002yC-5g for ged-emacs-devel@m.gmane.org; Sun, 02 Dec 2018 01:49:53 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:60383) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gTLYv-0002sb-Nt for emacs-devel@gnu.org; Sun, 02 Dec 2018 01:49:06 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gTLYv-0008Od-3H for emacs-devel@gnu.org; Sun, 02 Dec 2018 01:49:05 -0500 Original-Received: from mail-oi1-x22d.google.com ([2607:f8b0:4864:20::22d]:40051) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gTLYt-0008OL-RN; Sun, 02 Dec 2018 01:49:03 -0500 Original-Received: by mail-oi1-x22d.google.com with SMTP id t204so8266920oie.7; Sat, 01 Dec 2018 22:49:03 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=vwtHVUugpfzxKafM/WYxv7Z/Cw8xBG0zl36cDcPezuI=; b=gP2SXwRkjUl6uOPuuSjUDSOmi/2JK5FsXyVPT50mlrKCWe7eahDxmH84yrC17nRxC5 9VqIGJnytRPKzeRBaEAxAgakJauVSc6Dp+LZycOKEtV4ft+uPHcla94BayNjP/4D10yC W79LaALzY5173mo1uBrWmT3jnTQ05UzbQPhTud4riMKEGGF6mWMj1/JjwhdkXjajKCXo SE3rJwXg8Wcd4F+BBtjpPbL5OobRHYcaFqUWQWI4a683RrM+850m4ECrSpru1swaHW4d FoX0V60l1u6WB5UKiOYtfmke4Y7Nvwntvee8tX5eRdm/zgpP5qh6+kms9dWuh/NH22Yz dBfw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=vwtHVUugpfzxKafM/WYxv7Z/Cw8xBG0zl36cDcPezuI=; b=VpNQDw4LgWRXKh2D//vfXutKE9PPejBtU/Wh5eqBrOiTJwpUIxJjH99ikUkN3ysZur sAw7HD8bVYciCqCc9AKyq6Sq/FR3vfXg4xj3ty+VniCUlfkeBY4ZnMYFqND1d0J5VkLw 0ebK5weOyeCTou0ATcY1Jizdgw7eC7TTaagmPAtUbPbyepJ4G8e4/AJDIBMITl0HiYSS XpDO40NYRMpT+4khsaWk2QqdqIDIw8oB+8HrpCCiMmiEfp9wDRj4oonQw3lX9AcDafsB GYrMVblDcpvCYZhSWN6TugfgNSA/+TXEWwRxC2eFTe8CWvFTuc2QVClKf7sXKTepIUDP /RgA== X-Gm-Message-State: AA+aEWZ8BJG8sRWcOm7lS2xvlVAQnkKSlFspdgvmaMaJJ8wfs5/XYC9W iP9hd9/rm2FCjYMQ5PD2LdqhRn3tOxMu5jL73k0= X-Google-Smtp-Source: AFSGD/X1yVhR9k3dX6pR1ZiwSu3617CkcE8gtW08m0Sfo2t6h4r832xAcxhC5nMsoM8qFMK1QALBdWRDMkn+PXxCy7Y= X-Received: by 2002:aca:37d5:: with SMTP id e204mr6828970oia.134.1543733343222; Sat, 01 Dec 2018 22:49:03 -0800 (PST) In-Reply-To: <37f5c7fb-c1ce-e5b6-d242-5d9c2f3b3576@cs.ucla.edu> X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4864:20::22d X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 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" Xref: news.gmane.org gmane.emacs.devel:231584 Archived-At: On Sun, Dec 2, 2018 at 4:26 AM Paul Eggert wrote: > Yuri Khan wrote: > > A macro that has a 'position-aware property on > > it can be called directly on the position-annotated AST and expected > > to use =E2=80=98eq-with-position-information=E2=80=99; while a legacy m= acro will be > > called on a de-annotated AST, may use plain =E2=80=98eq=E2=80=99, and w= ill return a > > similarly position-oblivious AST. > > 2. Instead of having a bulky notation for new, position-aware macros, we = could > use a syntax that's shorter or simpler than what we have now, to make new= -style > macros more appealing. For example, we could use "defmac" to define new-s= tyle > macros, and keep "defmacro" for old ones (we can say that the trailing "r= o" > stands for "region oblivious" :-). Yes, I was implying that the property would be set by a new macro-defining macro or some such. The file-cookie-based idea is also good and IIRC has been successfully used to (start to) introduce lexical scoping.