From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: =?UTF-8?B?Sm/Do28gVMOhdm9yYQ==?= Newsgroups: gmane.emacs.devel Subject: Re: PL support Date: Sat, 9 May 2020 19:41:13 +0100 Message-ID: References: <9mmFgzvrBwjt_n_VJyaJdXINraNi5HsGpwq-0MLeKiJA7kG2BQA4uywrzjyz7lpRS0OZDpjEi8lspOKYUA7P_QsODsDew_8nbH960G55fmY=@protonmail.com> <87tv18pyh4.fsf@russet.org.uk> <83zhaih0oz.fsf@gnu.org> <83pnbegsvm.fsf@gnu.org> <83imh5hby1.fsf@gnu.org> <2e4e8ce9-d857-f3e3-31cf-a40dee67bd25@yandex.ru> <83y2q1dsvh.fsf@gnu.org> <2468efa6-7dbd-8634-44cc-586bb6985f49@yandex.ru> <83pnbddrfd.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="96510"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Eli Zaretskii , Stefan Monnier , emacs-devel To: Dmitry Gutov Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sat May 09 20:42:02 2020 Return-path: Envelope-to: ged-emacs-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1jXUQD-000P0c-Se for ged-emacs-devel@m.gmane-mx.org; Sat, 09 May 2020 20:42:01 +0200 Original-Received: from localhost ([::1]:57388 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jXUQC-0004AR-FD for ged-emacs-devel@m.gmane-mx.org; Sat, 09 May 2020 14:42:00 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:42390) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jXUPe-000359-Ly for emacs-devel@gnu.org; Sat, 09 May 2020 14:41:26 -0400 Original-Received: from mail-io1-xd2e.google.com ([2607:f8b0:4864:20::d2e]:37450) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jXUPd-0002Fh-Sg; Sat, 09 May 2020 14:41:26 -0400 Original-Received: by mail-io1-xd2e.google.com with SMTP id u11so5233396iow.4; Sat, 09 May 2020 11:41:25 -0700 (PDT) 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=9JRso2ev3R7NTlZG/B8TBY3PGk68sjN80yF99nPd5gU=; b=khr4+HLqE063o+frMALvNcqfRMkbbYLaySfgnpU9PzBiwgqv3jM7pRS/JZAzymlW2A SgY03e5CHNHA7IuvLSWJzsBx8bX/uTmesuNxPg0TwbodWPMek/3yVhoiBbq5Tc+Ii9yl mb1gbBWUKqvP8xzZJaNUP2L1epbN5m3CfZq68RkjqtQ9D91dyvI41dEvu5T9xRR9DDMV ITWcpXFMLS0AuNDrDq7ggQbJkLdu1yBFHDUPTvkxGV+qOUvS8zucMOfve7Xvkl4GBhI4 //kYkv7ngQ4jzDUMoyQBFj+8iZHOXTJxpEG6PCrqSXyRbT4MwEMKmkU/K47Ite2+ECPA 0UWg== 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=9JRso2ev3R7NTlZG/B8TBY3PGk68sjN80yF99nPd5gU=; b=CF76hjFIvGFIU1f+gis4tdrvUVKwj73/HaVlPrGQTuNk0BLAw/sN95n4IDNpaLGPri +PKxNtYE4Dk49RVD1R9gIN8R2StR69rfEXXzXrVIxtmRPKJPDxELjgdVlcBI3gXM0Y1n ma3StURKY2iJMhi876UEf95qUDdIRaFQSyGCXMUQpeqLF12SNgf3wRfFR6IrzZ/whb8q Ccb71sepRvQs9WyxhJOYmXI6dveekaabXdW37C7KjhXuB7NJClxQ0/AEYkBXLf6EXQLU 5ffA9zUXQLnAI1OO2pytnuc4sv3ICeg44eJuTHf9eVf0cRk3o2FWhKwJL91n8K7qYRFv ZG7g== X-Gm-Message-State: AGi0PuZW/FfWf1MAGcnQgtQxwbdx5LUBJ6bJUOR75pygMNzSZVeGU5Wi Hfh9Py6uq6zqqCN81vt9cwfcf2Sfd06Pe9t/JRg= X-Google-Smtp-Source: APiQypKkr+i+BcbzB5GCA/LB7sgfxbzBK34b+GN9B0AWnbYQKwe9K1bHpVIvMZtW8HgEF9s0piabbB04XmNrQYeqf+A= X-Received: by 2002:a6b:3805:: with SMTP id f5mr8600585ioa.156.1589049684604; Sat, 09 May 2020 11:41:24 -0700 (PDT) In-Reply-To: Received-SPF: pass client-ip=2607:f8b0:4864:20::d2e; envelope-from=joaotavora@gmail.com; helo=mail-io1-xd2e.google.com X-detected-operating-system: by eggs.gnu.org: No matching host in p0f cache. That's all we know. X-Spam_score_int: -10 X-Spam_score: -1.1 X-Spam_bar: - X-Spam_report: (-1.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, FROM_EXCESS_BASE64=0.979, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001 autolearn=_AUTOLEARN X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.23 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-mx.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.io gmane.emacs.devel:249546 Archived-At: On Sat, May 9, 2020 at 7:26 PM Dmitry Gutov wrote: > > On thing that would fit that fill is a > > set of Elisp macros that allow for compile-time and run-time checking > > of LSP messages, among other LSP-specific but interface-agnostic > > details. > > Could you clarify how that's dependent on Eglot being in Emacs? It's not. It's like jsonrpc.el, but for LSP. A library for easier writing of other programs that want to "speak"LSP. Including, but not limited to, Eglot. An ELSP server in Elisp could use it. Or lsp-mode could "still come around" :-) Jo=C3=A3o