From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: John Yates Newsgroups: gmane.emacs.devel Subject: Re: Guidelines for the "symbol" syntax class Date: Sun, 3 Jan 2016 20:13:52 -0500 Message-ID: References: <5688AD13.7050904@yandex.ru> <5689C0CA.7050005@yandex.ru> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=001a11362d989463fa052877d538 X-Trace: ger.gmane.org 1451870050 18659 80.91.229.3 (4 Jan 2016 01:14:10 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 4 Jan 2016 01:14:10 +0000 (UTC) Cc: emacs-devel , Dmitry Gutov To: Stefan Monnier Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Jan 04 02:14:09 2016 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 1aFtir-00041J-2p for ged-emacs-devel@m.gmane.org; Mon, 04 Jan 2016 02:14:09 +0100 Original-Received: from localhost ([::1]:43470 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aFtiq-0000Up-A4 for ged-emacs-devel@m.gmane.org; Sun, 03 Jan 2016 20:14:08 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:59902) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aFtic-0000UV-Rd for emacs-devel@gnu.org; Sun, 03 Jan 2016 20:13:55 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aFtib-0002Ww-V7 for emacs-devel@gnu.org; Sun, 03 Jan 2016 20:13:54 -0500 Original-Received: from mail-pa0-x22f.google.com ([2607:f8b0:400e:c03::22f]:34740) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aFtib-0002Ws-Pn for emacs-devel@gnu.org; Sun, 03 Jan 2016 20:13:53 -0500 Original-Received: by mail-pa0-x22f.google.com with SMTP id uo6so168397724pac.1 for ; Sun, 03 Jan 2016 17:13:53 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date:message-id:subject :from:to:cc:content-type; bh=4Ae4xG76pgSKU8EAsjuYbQ9LlOvqM6gxIngC/x1qKYQ=; b=VRYwl6HOei/sBA3Wc6HV7v0yym64DlYK/h4nRlhceyB/acjsp4JjW1oAV+F8Q9w1dw LLMPaCL/V5TIkf8kEts6y+1nK6c48bUYMF8njGERZd6UGKA2GAvLMRFWHfgk+Mc07Ibs 7yix4k76M3Dyx87ZdJRYJNbFkGCmnq+f4bij5797GITTmJNFGGuDjMfwbM9vPFLdEhFg mYJK6qAjWvjwFQqla0ggh1CaYwQyCQ+Lv3eOJpaQQAN4L0w4XD86o8LuBbbJbtSLs2Et g/xwtT0onTpsfkSEinBB6L8GXrduVSHC1tut37gpekOefpPjHQkHHjgNnXBZ46uc0GWI 6D2Q== X-Received: by 10.66.65.203 with SMTP id z11mr123509807pas.152.1451870033042; Sun, 03 Jan 2016 17:13:53 -0800 (PST) Original-Received: by 10.66.84.35 with HTTP; Sun, 3 Jan 2016 17:13:52 -0800 (PST) In-Reply-To: X-Google-Sender-Auth: Y4PLTQgcJXFlgNoN5UinEBThzic X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2607:f8b0:400e:c03::22f 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:197551 Archived-At: --001a11362d989463fa052877d538 Content-Type: text/plain; charset=UTF-8 On Sun, Jan 3, 2016 at 7:51 PM, Stefan Monnier wrote: > IOW you can't expect Emacs's notion of "symbol" > to cover all the use cases. More specifically, Emacs's notion of symbol > can only be used as a stepping stone on which to construct the things > you need, on a case by case basis. > I interpret this as "Emacs supplies only a basic notion of symbol". Since xref inches closer to understanding the semantics of the user's programming language it might want to introduce some new abstraction for a of a qualified name. These come in two flavors - object qualified - namespace or package qualified Trying to jigger emacs' symbol notion to cover qualified names as provided in contemporary languages is likely to be a source of continuing complaints and frustration. /john --001a11362d989463fa052877d538 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
On S= un, Jan 3, 2016 at 7:51 PM, Stefan Monnier <monnier@iro.umontreal.c= a> wrote:
IOW you can't= expect Emacs's notion of "symbol"
to cover all the use cases.=C2=A0 More specifically, Emacs's notion of = symbol
can only be used as a stepping stone on which to construct the things
you need, on a case by case basis.

I in= terpret this as "Emacs supplies only a basic notion of symbol".

Since xref inches closer to understanding the seman= tics of the user's
programming language it might want to intr= oduce some new abstraction
for a of a qualified name.=C2=A0 These= come in two flavors

- object qualified
= - namespace or package qualified

Trying to jigger = emacs' symbol notion to cover qualified names as provided
in = contemporary languages is likely to be a source of =C2=A0continuing complai= nts
and frustration.

/john
--001a11362d989463fa052877d538--