From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: =?UTF-8?Q?Cl=c3=a9ment_Pit-Claudel?= Newsgroups: gmane.emacs.devel Subject: Re: Comparing symbol-with-position using eq Date: Sat, 6 Apr 2019 08:23:49 -0400 Message-ID: <886c473d-51a1-fbab-8f4d-0b1f5a90806c@gmail.com> References: <20190402112537.GA6212@ACM> <20190402202412.GA25792@ACM> <4a2df4442b4acf2eb2dabd3c2c4227c5.squirrel@dancol.org> <20190402210013.GD25792@ACM> <87bm1l6oq5.fsf@gmail.com> <20190405082652.GA4208@ACM> <87ftqwcrgo.fsf_-_@gmail.com> <20190405182106.GC4208@ACM> <47d94f87b51706205f4fe7ce4d938d53.squirrel@dancol.org> <20190405215450.GD4208@ACM> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="265591"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.6.1 To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sat Apr 06 14:24:30 2019 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by blaine.gmane.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:256) (Exim 4.89) (envelope-from ) id 1hCkN3-0016yJ-Um for ged-emacs-devel@m.gmane.org; Sat, 06 Apr 2019 14:24:30 +0200 Original-Received: from localhost ([127.0.0.1]:54484 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hCkN2-0003st-Nv for ged-emacs-devel@m.gmane.org; Sat, 06 Apr 2019 08:24:28 -0400 Original-Received: from eggs.gnu.org ([209.51.188.92]:58239) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hCkMT-0003sd-FE for emacs-devel@gnu.org; Sat, 06 Apr 2019 08:23:54 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hCkMS-0005jX-Hd for emacs-devel@gnu.org; Sat, 06 Apr 2019 08:23:53 -0400 Original-Received: from mail-qt1-x830.google.com ([2607:f8b0:4864:20::830]:33491) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hCkMS-0005j7-AJ for emacs-devel@gnu.org; Sat, 06 Apr 2019 08:23:52 -0400 Original-Received: by mail-qt1-x830.google.com with SMTP id k14so10510593qtb.0 for ; Sat, 06 Apr 2019 05:23:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-language:content-transfer-encoding; bh=HeoHSYjPIYl6YIlqlnT0yOKA4MyXjLa7rkgPBP4hKlg=; b=AJ4XIe+4FpbnT2S/ZAwArZYgJEwdQm8z8pJjCETBo/UmAswfBfvoEWdAUaCiN+es7N mhYcwMEyKKdVjOZ6U/xBVssJhcb5wxKwG6KGsqu+07NR+j/iIv1EbGZJq94L+k+nQk8R UxpDITbkKdDtO6AI4briowsjJLjha3RGUxaY39FdbKstVbAV7uC/F4UNyoNxCQiYnbBP 2glCKZp6z7HMzGztsJr5+PuHHf1/jBnzTHpn4o249H/ac9btn+IsrbDahYag0RqFJiu4 PPxIJbMjQ4ARH4K0N1gHWUDpVUEpZnNEzjP1fRDscgxoZwO3PaTurlc3NanTDDak34IQ x5lA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=HeoHSYjPIYl6YIlqlnT0yOKA4MyXjLa7rkgPBP4hKlg=; b=D4d7lfFPqFOxYvEt9MAMDLqRTyHUFQTS4stDgf+VZX9RFMldP9ZgJve0Qumc/RVsF3 g4lZQSef9NnwGROLJCTtQiv4leJkaQLlGsFkltTxXcsVqmqe3pT78w+Z0Twht5n0SM6W u0T9b7woruMBOWnFeh66I87D1dRxLKaZCrfZ2t/egBSf7Ml3iP7TOy5uaoLlM9bE8IQB BadC6QOkb6Zk4i3tYoRUJ5oChCsO9900SrN8lLYsdQbMZNKiLmFOEHy/PejBqt/c7o9/ AzcHggZdPWtI53uzNbiy+hlPlkbeKx8OFskFcRk1fne6zEwcWyUagBmhJIKXq4reWOrp iVzg== X-Gm-Message-State: APjAAAWzuEXVrxXMskAvCoOPsJCwab4duIw9SucarwXEWj2R3T13AmnD h3wlkqcTHFsaqn+6At5JkDx5yFfU X-Google-Smtp-Source: APXvYqw/BFqixSFpN4XxFFwotZiZd7Br29yot9lSGpWrTGnp9h8u8VtbS17d0C7OJpcXKanGlvIuIg== X-Received: by 2002:a0c:81e2:: with SMTP id 31mr15249329qve.179.1554553430582; Sat, 06 Apr 2019 05:23:50 -0700 (PDT) Original-Received: from ?IPv6:2601:184:4180:66e7:c1f2:bf36:7bbe:86aa? ([2601:184:4180:66e7:c1f2:bf36:7bbe:86aa]) by smtp.googlemail.com with ESMTPSA id u57sm16948633qta.12.2019.04.06.05.23.49 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 06 Apr 2019 05:23:49 -0700 (PDT) In-Reply-To: <20190405215450.GD4208@ACM> Content-Language: en-GB X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4864:20::830 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:235027 Archived-At: On 2019-04-05 17:54, Alan Mackenzie wrote: > I've been thinking that for the time (nearly 3 years) that I've been > trying to fix this bug. Is this how compilers for other Lisp systems are > written? It seems horribly easy to compile as Emacs does, by taking the > (read) starting form and gradually transforming it as a Lisp form. It is > difficult to keep track of (text) source positions when one does this. The following page might be of interest, about how Racket does this sort of things: https://docs.racket-lang.org/reference/Syntax_Quoting__quote-syntax.html The idea is that macros (not just the byte-compiler) may want to access position information, to issue better diagnostics. This is useful for small languages implemented using macros, like cl-loop. Clément.