From debbugs-submit-bounces@debbugs.gnu.org Tue Feb 13 04:41:23 2024 Received: (at submit) by debbugs.gnu.org; 13 Feb 2024 09:41:23 +0000 Received: from localhost ([127.0.0.1]:41560 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rZpI2-0003j6-V8 for submit@debbugs.gnu.org; Tue, 13 Feb 2024 04:41:23 -0500 Received: from lists.gnu.org ([209.51.188.17]:40894) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rZpI0-0003ip-7k for submit@debbugs.gnu.org; Tue, 13 Feb 2024 04:41:21 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rZpHh-0001FU-Pl for bug-gnu-emacs@gnu.org; Tue, 13 Feb 2024 04:41:02 -0500 Received: from mout02.posteo.de ([185.67.36.66]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rZpHf-0000FF-Pw for bug-gnu-emacs@gnu.org; Tue, 13 Feb 2024 04:41:01 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id 92B5A240104 for ; Tue, 13 Feb 2024 10:40:57 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1707817257; bh=JfEw0HneVA82JXHuE5h5j/ZDgKigajqbgsp0P8Wu71Q=; h=From:To:Subject:OpenPGP:Date:Message-ID:MIME-Version:Content-Type: From; b=UZIx5A+WNgiyUNzxSf7ysU5gWPWjkt5uCxtZJlv0L4/+c7KfHrzv8Q+zldOe6XTGa RGafskRcEsMe/FyeKiVKw8lJijjqTR7DAaR32B2G5EmEHkBZWKQrMccrl/m/+jVe4B JFWVN/sj3iunUCh6NlpwREUni+u6pBp2Tk75LS41QFUj+dNhHRIHNz+GbtM2Tg6olO omyxvztpfH7ClLhjl/f3crYdSNDyvrWakR2cpkIGYGn+/iffD3029jjmI+iUuINgC1 /HlTgSlzyd4HWOJNttdscOEXSIUt0a+7PY9NHDuCbT3yl+SywU/Ffy70vsjLeVGf11 yrwZlWt1LODEA== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4TYxCY1z0kz9rxV for ; Tue, 13 Feb 2024 10:40:57 +0100 (CET) From: Philip Kaludercic To: bug-gnu-emacs@gnu.org Subject: [PATCH] Add sml-mode entry to 'eglot-server-programs' X-Debbugs-CC: joaotavora@gmail.com OpenPGP: id=7126E1DE2F0CE35C770BED01F2C3CC513DB89F66; url="https://keys.openpgp.org/vks/v1/by-fingerprint/7126E1DE2F0CE35C770BED01F2C3CC513DB89F66"; preference=signencrypt Date: Tue, 13 Feb 2024 09:40:56 +0000 Message-ID: <878r3o8zx3.fsf@posteo.net> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" Received-SPF: pass client-ip=185.67.36.66; envelope-from=philipk@posteo.net; helo=mout02.posteo.de X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 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, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H4=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) --=-=-= Content-Type: text/plain There is a new LSP server for Standard ML; it's not complete yet, it appears to work without any issues when I built it from source: --=-=-= Content-Type: text/x-patch Content-Disposition: attachment; filename=0001-Add-sml-mode-entry-to-'eglot-server-programs'.patch Content-Description: [PATCH] Add sml-mode entry to 'eglot-server-programs' >From c044db0dc8cc95fd7c28011515bf80e3319dabf4 Mon Sep 17 00:00:00 2001 From: Philip Kaludercic Date: Tue, 13 Feb 2024 10:38:48 +0100 Subject: [PATCH] Add sml-mode entry to 'eglot-server-programs' * lisp/progmodes/eglot.el (eglot-server-programs): Use the "millet" LSP server (https://github.com/azdavis/millet). --- lisp/progmodes/eglot.el | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/lisp/progmodes/eglot.el b/lisp/progmodes/eglot.el index 2f32a8e6eda..f341428cac3 100644 --- a/lisp/progmodes/eglot.el +++ b/lisp/progmodes/eglot.el @@ -310,7 +310,10 @@ eglot-server-programs ("vscode-markdown-language-server" "--stdio")))) (graphviz-dot-mode . ("dot-language-server" "--stdio")) (terraform-mode . ("terraform-ls" "serve")) - ((uiua-ts-mode uiua-mode) . ("uiua" "lsp"))) + ((uiua-ts-mode uiua-mode) . ("uiua" "lsp")) + (sml-mode + . ,(lambda (_interactive project) + (list "millet-ls" (project-root project))))) "How the command `eglot' guesses the server to start. An association list of (MAJOR-MODE . CONTACT) pairs. MAJOR-MODE identifies the buffers that are to be managed by a specific -- 2.43.0 --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sat Feb 24 05:07:31 2024 Received: (at 69094-done) by debbugs.gnu.org; 24 Feb 2024 10:07:31 +0000 Received: from localhost ([127.0.0.1]:44656 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdowN-0000T3-C5 for submit@debbugs.gnu.org; Sat, 24 Feb 2024 05:07:31 -0500 Received: from mout02.posteo.de ([185.67.36.66]:37765) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdowJ-0000Sc-K0 for 69094-done@debbugs.gnu.org; Sat, 24 Feb 2024 05:07:29 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id C7E7A240101 for <69094-done@debbugs.gnu.org>; Sat, 24 Feb 2024 11:06:57 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1708769217; bh=fL7fNFSjEuE5Tl4VKdE2pUhC2PcgJQkg5uyslDcyPRQ=; h=From:To:Cc:Subject:OpenPGP:Date:Message-ID:MIME-Version: Content-Type:From; b=g6IZalAlZSbo7Ejs4U+hQ6G4/nnQ3U/r1MnlNow2lSBZeDKTCMctycRnRWBmwtw8+ dr2c/nP+/UQ/FLaCf1Hsw83MpUhTeP/a1BZ8lCOVqVZ4IJXHRTOnlgpMxyiMdLL+uk oqvVXYnZL7YBrgEzwUMNLGu579fozC1DXDa+OVFaYTGdQo934v8mieXDlB3GQv3xc2 z38JBXPQC+nvJ0eGVHT/imvon1OLnb9vd999Pff7K8V5y54QGppCNZLFqqnUKVJyk8 xYHXE3h/j43JkwrJermn9Y6KHpxRcyJsvDKZ03hEvIh6g8fipTVc/b+7Lwaux8MjPR /fjZVzvhTVIFQ== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4ThjGT2PSZz6twL; Sat, 24 Feb 2024 11:06:57 +0100 (CET) From: Philip Kaludercic To: Eli Zaretskii Subject: Re: bug#69094: [PATCH] Add sml-mode entry to 'eglot-server-programs' In-Reply-To: <86le7ayzuz.fsf@gnu.org> (Eli Zaretskii's message of "Sat, 24 Feb 2024 11:29:24 +0200") References: <878r3o8zx3.fsf@posteo.net> <86le7ayzuz.fsf@gnu.org> OpenPGP: id=7126E1DE2F0CE35C770BED01F2C3CC513DB89F66; url="https://keys.openpgp.org/vks/v1/by-fingerprint/7126E1DE2F0CE35C770BED01F2C3CC513DB89F66"; preference=signencrypt Date: Sat, 24 Feb 2024 10:06:56 +0000 Message-ID: <87il2e6urj.fsf@posteo.net> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 69094-done Cc: joaotavora@gmail.com, 69094-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Eli Zaretskii writes: >> Cc: joaotavora@gmail.com >> From: Philip Kaludercic >> Date: Tue, 13 Feb 2024 09:40:56 +0000 >> >> There is a new LSP server for Standard ML; it's not complete yet, it >> appears to work without any issues when I built it from source: > > There were no comments, so please feel free to install on master. > > Thanks. Done, thanks. From debbugs-submit-bounces@debbugs.gnu.org Sat Feb 24 05:10:27 2024 Received: (at 69094) by debbugs.gnu.org; 24 Feb 2024 10:10:27 +0000 Received: from localhost ([127.0.0.1]:44833 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdozC-0000be-H8 for submit@debbugs.gnu.org; Sat, 24 Feb 2024 05:10:27 -0500 Received: from eggs.gnu.org ([209.51.188.92]:42240) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdolR-0008LG-Mc for 69094@debbugs.gnu.org; Sat, 24 Feb 2024 04:56:15 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rdoLa-0003pI-Bb; Sat, 24 Feb 2024 04:29:31 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=References:Subject:In-Reply-To:To:From:Date: mime-version; bh=me9VYGisZnUn6nnjMvzrofH6SAUavRKs6YAeUdLGxx0=; b=E1uRwWuJloaz /cASkHOK39fzqjsZ6AQile89fExXLeK/RDkHWW1N4+d2BW2GWAlDagQe4bkwM64lN18lA2/vMufVo bIwjkBCLsBGDK+HTNQ0kCJSwASkq3bmMz5dsNF+QSV9I24hINQ0gvSanO4kbE3g/FYwhzBJl3fnvh eVM129ULaBHzgci4trlyiq4fgqXADhFUHp7aLy8VVQ2CRUqNnGLWZrAdhYSXg1M78VMw7WbgQPF4X kPUNE7OxTmqpAKRZ8siLPmQxZ3QvKrrKz8CXyRSEdkCSOuRp1fCfQp+tJE2SQVarxZgvXvZpeWpUX jBioVtpaFJUJc7qkabB3nw==; Date: Sat, 24 Feb 2024 11:29:24 +0200 Message-Id: <86le7ayzuz.fsf@gnu.org> From: Eli Zaretskii To: Philip Kaludercic In-Reply-To: <878r3o8zx3.fsf@posteo.net> (message from Philip Kaludercic on Tue, 13 Feb 2024 09:40:56 +0000) Subject: Re: bug#69094: [PATCH] Add sml-mode entry to 'eglot-server-programs' References: <878r3o8zx3.fsf@posteo.net> X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 69094 Cc: 69094@debbugs.gnu.org, joaotavora@gmail.com X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > Cc: joaotavora@gmail.com > From: Philip Kaludercic > Date: Tue, 13 Feb 2024 09:40:56 +0000 > > There is a new LSP server for Standard ML; it's not complete yet, it > appears to work without any issues when I built it from source: There were no comments, so please feel free to install on master. Thanks. From unknown Fri Jun 20 20:10:27 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sat, 23 Mar 2024 11:24:17 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator