From unknown Sat Aug 16 13:49:14 2025 X-Loop: help-debbugs@gnu.org Subject: bug#69796: [PATCH] Added language server for Move to eglot Resent-From: Pankaj Jangid Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 14 Mar 2024 11:54:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 69796 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch To: 69796@debbugs.gnu.org X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.17104172181012 (code B ref -1); Thu, 14 Mar 2024 11:54:02 +0000 Received: (at submit) by debbugs.gnu.org; 14 Mar 2024 11:53:38 +0000 Received: from localhost ([127.0.0.1]:48522 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rkjeU-0000GG-FQ for submit@debbugs.gnu.org; Thu, 14 Mar 2024 07:53:38 -0400 Received: from lists.gnu.org ([209.51.188.17]:50754) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rkjeQ-0000G6-CG for submit@debbugs.gnu.org; Thu, 14 Mar 2024 07:53:37 -0400 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 1rkjdq-0006v4-2L for bug-gnu-emacs@gnu.org; Thu, 14 Mar 2024 07:52:58 -0400 Received: from mail-pf1-x42d.google.com ([2607:f8b0:4864:20::42d]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rkjdo-0002cK-4x for bug-gnu-emacs@gnu.org; Thu, 14 Mar 2024 07:52:57 -0400 Received: by mail-pf1-x42d.google.com with SMTP id d2e1a72fcca58-6e6b75211ceso901033b3a.0 for ; Thu, 14 Mar 2024 04:52:55 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=codeisgreat-com.20230601.gappssmtp.com; s=20230601; t=1710417173; x=1711021973; darn=gnu.org; h=mime-version:message-id:date:subject:to:from:from:to:cc:subject :date:message-id:reply-to; bh=um0yUGAhzeQacJ28grZsavnzlfU4IOj/dQNQ6CfgWmQ=; b=ttZgPDr5Vf+8eWbTrP+hL536VXJ/32Q3/KsYrv2Jt60PTW9jJ1zZzrMPlIZCJIYPPv yenMD32NeC8ng5ZXGzQoAoJxvzPgLa64HjfIIgwa2Hh/pWwRyQisu6FHLKZmD4G/V1nF /AYIE2OoqXgxQX2XeH/IEkaNPVc+8CWRon/M6cE6eYyrlTHd4+GQaByKzR7ZeWVCnQTt ZBrInHWejXWGeHGxQgtWlZJExu4pkRRjaTzmsh7P/gqzQgmhrGkbAhhQdcVq/PyYHahn Jx/ll9rn8WSC7QcK9g98q6p1cVSTDWYcixxQFlNPYi/SIj8cJeCEOuj/TjdCeGu7+kdC tT1g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1710417173; x=1711021973; h=mime-version:message-id:date:subject:to:from:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=um0yUGAhzeQacJ28grZsavnzlfU4IOj/dQNQ6CfgWmQ=; b=Wm151/iSewz0YprSgPyg3MP9a7ldFllfm1r+ikXNerps3I512Wqm1L+llP4szvWXxM mxowBWYgpUobCxVa4Ick044pkXqR7IfQqJgDzJlIJN0op3NvmJ6EY20uWof2gCXiAfz/ Fa8n43HBtQPvi3lLUgfv9aqkLA7qrOXyUevlKJb0TDxnLmJMfntfhkjzQAcovfzo5I1g IZhZ9GB6z+GZ6+oEVnNGEI8kLho8FMPNvF6OKYVmSvVdsRzTzhS5oTVCaxxD6xERFclW wvdahXfkwbHbnNZ0LZ5CHpa189Co9GqHawkJXsEX8DX4XklTXb0DAs6G+4qPB+UEdFAr LU0g== X-Gm-Message-State: AOJu0Yzbs3XABiRYCvtlGuRsfdK572+2Mje2D3jOhvBcj3jPcpqHWD1e wuWSeUq4AbYw8mdR5k5rwW/ruVfs6pMTic7L31a86sRktpaJb5MtigcD3lKneC88UH7OpWOqjV8 z X-Google-Smtp-Source: AGHT+IFAtMWvGkiB0LWpLizRMtLJWx4N84/4OFKk+y3YtTUSN4STMOIQ/apgmOBTFzbEMiZ/Od44Sg== X-Received: by 2002:a05:6a20:7489:b0:1a3:420d:ba2c with SMTP id p9-20020a056a20748900b001a3420dba2cmr1162122pzd.52.1710417172689; Thu, 14 Mar 2024 04:52:52 -0700 (PDT) Received: from Pankajs-MacBook-Pro.local ([49.36.239.216]) by smtp.gmail.com with ESMTPSA id f1-20020a170902684100b001dee12cd8d6sm642249pln.80.2024.03.14.04.52.50 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 14 Mar 2024 04:52:51 -0700 (PDT) From: Pankaj Jangid Date: Thu, 14 Mar 2024 17:22:47 +0530 Message-ID: MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" Received-SPF: none client-ip=2607:f8b0:4864:20::42d; envelope-from=pankaj@codeisgreat.com; helo=mail-pf1-x42d.google.com X-Spam_score_int: -16 X-Spam_score: -1.7 X-Spam_bar: - X-Spam_report: (-1.7 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, HEADER_FROM_DIFFERENT_DOMAINS=0.248, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_NONE=0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: -2.1 (--) 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.1 (---) --=-=-= Content-Type: text/plain Tags: patch Move is a programming language for writing safe smart contracts; and move-analyzer is the official language server. Following is the link to the official code repository of move language. https://github.com/move-language/move/tree/main/language/move-analyzer In GNU Emacs 30.0.50 (build 1, aarch64-apple-darwin23.3.0, NS appkit-2487.40 Version 14.3.1 (Build 23D60)) of 2024-03-14 built on Pankajs-MacBook-Pro.local Repository revision: db5c8bda638468f8798c974f4ef4ab3905dbddd3 Repository branch: master Windowing system distributor 'Apple', version 10.3.2487 System Description: macOS 14.3.1 Configured using: 'configure 'CFLAGS=-I/opt/homebrew/Cellar/tree-sitter/0.22.1/include ' 'LDFLAGS=-L/opt/homebrew/Cellar/tree-sitter/0.22.1/lib '' --=-=-= Content-Type: text/patch Content-Disposition: attachment; filename=0001-Added-language-server-for-Move-to-eglot.patch >From 1368eb3a40ab4b5c40e7f8f8fc7ee02c3db195de Mon Sep 17 00:00:00 2001 From: Pankaj Jangid Date: Thu, 14 Mar 2024 17:11:43 +0530 Subject: [PATCH] Added language server for Move to eglot * lisp/progmodes/eglot.el (eglot-server-programs): Added move-analyzer language server. --- lisp/progmodes/eglot.el | 1 + 1 file changed, 1 insertion(+) diff --git a/lisp/progmodes/eglot.el b/lisp/progmodes/eglot.el index 4ffaf5f8a0e..b3fd104a227 100644 --- a/lisp/progmodes/eglot.el +++ b/lisp/progmodes/eglot.el @@ -295,6 +295,7 @@ eglot-server-programs ((nushell-mode nushell-ts-mode) . ("nu" "--lsp")) (gdscript-mode . ("localhost" 6008)) (fennel-mode . ("fennel-ls")) + (move-mode . ("move-analyzer")) ((fortran-mode f90-mode) . ("fortls")) (futhark-mode . ("futhark" "lsp")) ((lua-mode lua-ts-mode) . ,(eglot-alternatives -- 2.39.3 (Apple Git-146) --=-=-=-- From unknown Sat Aug 16 13:49:14 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Pankaj Jangid Subject: bug#69796: closed (Re: bug#69796: [PATCH] Added language server for Move to eglot) Message-ID: References: <86cyrwalm4.fsf@gnu.org> X-Gnu-PR-Message: they-closed 69796 X-Gnu-PR-Package: emacs X-Gnu-PR-Keywords: patch Reply-To: 69796@debbugs.gnu.org Date: Thu, 14 Mar 2024 15:19:01 +0000 Content-Type: multipart/mixed; boundary="----------=_1710429541-24070-1" This is a multi-part message in MIME format... ------------=_1710429541-24070-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #69796: [PATCH] Added language server for Move to eglot which was filed against the emacs package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 69796@debbugs.gnu.org. --=20 69796: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D69796 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1710429541-24070-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 69796-done) by debbugs.gnu.org; 14 Mar 2024 15:18:30 +0000 Received: from localhost ([127.0.0.1]:50436 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rkmqk-0006FV-I4 for submit@debbugs.gnu.org; Thu, 14 Mar 2024 11:18:30 -0400 Received: from eggs.gnu.org ([209.51.188.92]:58018) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rkmqh-0006FI-RP for 69796-done@debbugs.gnu.org; Thu, 14 Mar 2024 11:18:29 -0400 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 1rkmq2-0002Rp-J5; Thu, 14 Mar 2024 11:17:46 -0400 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=XQgDmm33yt9z6diQsgXUpsZ/qAza1NmrBZKX6RL/rBQ=; b=dftTKcUOeqjk vQFu3mgEkYGO5JWh0qbvYuk/IvSBcnZK7fSLl0GVbe1hjs18/RLSWdTEv+cuTQdlL87liHfi1LmCY e8nAJbN9iu+Xyu9aLRX4MrbwZahUhJevmtVkHeDZakRUJsv9tanNagoItYjNRpl8As+SlWEbPlAZq MWZjT0jQmVMD6bPpQ2eUYhQAmcxR4nf9hJFQHNVNk2K1+8MjJgTciwO8/czZpIbW7ckf3V9m8/N6E cJusWOlrAlXZ7PO5d2wrvFduMTMbxUqtKwl7q8Zjrnx0ReO8EocCjJXT7hdswjOzz5fEx8cZlpLxT PBqdqT+1fpQ9tO+t8cxegA==; Date: Thu, 14 Mar 2024 17:17:39 +0200 Message-Id: <86cyrwalm4.fsf@gnu.org> From: Eli Zaretskii To: Pankaj Jangid In-Reply-To: (message from Pankaj Jangid on Thu, 14 Mar 2024 17:22:47 +0530) Subject: Re: bug#69796: [PATCH] Added language server for Move to eglot References: X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 69796-done Cc: 69796-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 (---) > From: Pankaj Jangid > Date: Thu, 14 Mar 2024 17:22:47 +0530 > > Move is a programming language for writing safe smart contracts; and > move-analyzer is the official language server. Following is the link to > the official code repository of move language. > > https://github.com/move-language/move/tree/main/language/move-analyzer Thanks, installed on the master branch, and closing the bug. ------------=_1710429541-24070-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 14 Mar 2024 11:53:38 +0000 Received: from localhost ([127.0.0.1]:48522 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rkjeU-0000GG-FQ for submit@debbugs.gnu.org; Thu, 14 Mar 2024 07:53:38 -0400 Received: from lists.gnu.org ([209.51.188.17]:50754) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rkjeQ-0000G6-CG for submit@debbugs.gnu.org; Thu, 14 Mar 2024 07:53:37 -0400 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 1rkjdq-0006v4-2L for bug-gnu-emacs@gnu.org; Thu, 14 Mar 2024 07:52:58 -0400 Received: from mail-pf1-x42d.google.com ([2607:f8b0:4864:20::42d]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rkjdo-0002cK-4x for bug-gnu-emacs@gnu.org; Thu, 14 Mar 2024 07:52:57 -0400 Received: by mail-pf1-x42d.google.com with SMTP id d2e1a72fcca58-6e6b75211ceso901033b3a.0 for ; Thu, 14 Mar 2024 04:52:55 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=codeisgreat-com.20230601.gappssmtp.com; s=20230601; t=1710417173; x=1711021973; darn=gnu.org; h=mime-version:message-id:date:subject:to:from:from:to:cc:subject :date:message-id:reply-to; bh=um0yUGAhzeQacJ28grZsavnzlfU4IOj/dQNQ6CfgWmQ=; b=ttZgPDr5Vf+8eWbTrP+hL536VXJ/32Q3/KsYrv2Jt60PTW9jJ1zZzrMPlIZCJIYPPv yenMD32NeC8ng5ZXGzQoAoJxvzPgLa64HjfIIgwa2Hh/pWwRyQisu6FHLKZmD4G/V1nF /AYIE2OoqXgxQX2XeH/IEkaNPVc+8CWRon/M6cE6eYyrlTHd4+GQaByKzR7ZeWVCnQTt ZBrInHWejXWGeHGxQgtWlZJExu4pkRRjaTzmsh7P/gqzQgmhrGkbAhhQdcVq/PyYHahn Jx/ll9rn8WSC7QcK9g98q6p1cVSTDWYcixxQFlNPYi/SIj8cJeCEOuj/TjdCeGu7+kdC tT1g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1710417173; x=1711021973; h=mime-version:message-id:date:subject:to:from:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=um0yUGAhzeQacJ28grZsavnzlfU4IOj/dQNQ6CfgWmQ=; b=Wm151/iSewz0YprSgPyg3MP9a7ldFllfm1r+ikXNerps3I512Wqm1L+llP4szvWXxM mxowBWYgpUobCxVa4Ick044pkXqR7IfQqJgDzJlIJN0op3NvmJ6EY20uWof2gCXiAfz/ Fa8n43HBtQPvi3lLUgfv9aqkLA7qrOXyUevlKJb0TDxnLmJMfntfhkjzQAcovfzo5I1g IZhZ9GB6z+GZ6+oEVnNGEI8kLho8FMPNvF6OKYVmSvVdsRzTzhS5oTVCaxxD6xERFclW wvdahXfkwbHbnNZ0LZ5CHpa189Co9GqHawkJXsEX8DX4XklTXb0DAs6G+4qPB+UEdFAr LU0g== X-Gm-Message-State: AOJu0Yzbs3XABiRYCvtlGuRsfdK572+2Mje2D3jOhvBcj3jPcpqHWD1e wuWSeUq4AbYw8mdR5k5rwW/ruVfs6pMTic7L31a86sRktpaJb5MtigcD3lKneC88UH7OpWOqjV8 z X-Google-Smtp-Source: AGHT+IFAtMWvGkiB0LWpLizRMtLJWx4N84/4OFKk+y3YtTUSN4STMOIQ/apgmOBTFzbEMiZ/Od44Sg== X-Received: by 2002:a05:6a20:7489:b0:1a3:420d:ba2c with SMTP id p9-20020a056a20748900b001a3420dba2cmr1162122pzd.52.1710417172689; Thu, 14 Mar 2024 04:52:52 -0700 (PDT) Received: from Pankajs-MacBook-Pro.local ([49.36.239.216]) by smtp.gmail.com with ESMTPSA id f1-20020a170902684100b001dee12cd8d6sm642249pln.80.2024.03.14.04.52.50 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 14 Mar 2024 04:52:51 -0700 (PDT) From: Pankaj Jangid To: bug-gnu-emacs@gnu.org Subject: [PATCH] Added language server for Move to eglot Date: Thu, 14 Mar 2024 17:22:47 +0530 Message-ID: MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" Received-SPF: none client-ip=2607:f8b0:4864:20::42d; envelope-from=pankaj@codeisgreat.com; helo=mail-pf1-x42d.google.com X-Spam_score_int: -16 X-Spam_score: -1.7 X-Spam_bar: - X-Spam_report: (-1.7 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, HEADER_FROM_DIFFERENT_DOMAINS=0.248, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_NONE=0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: -2.1 (--) 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: -3.1 (---) --=-=-= Content-Type: text/plain Tags: patch Move is a programming language for writing safe smart contracts; and move-analyzer is the official language server. Following is the link to the official code repository of move language. https://github.com/move-language/move/tree/main/language/move-analyzer In GNU Emacs 30.0.50 (build 1, aarch64-apple-darwin23.3.0, NS appkit-2487.40 Version 14.3.1 (Build 23D60)) of 2024-03-14 built on Pankajs-MacBook-Pro.local Repository revision: db5c8bda638468f8798c974f4ef4ab3905dbddd3 Repository branch: master Windowing system distributor 'Apple', version 10.3.2487 System Description: macOS 14.3.1 Configured using: 'configure 'CFLAGS=-I/opt/homebrew/Cellar/tree-sitter/0.22.1/include ' 'LDFLAGS=-L/opt/homebrew/Cellar/tree-sitter/0.22.1/lib '' --=-=-= Content-Type: text/patch Content-Disposition: attachment; filename=0001-Added-language-server-for-Move-to-eglot.patch >From 1368eb3a40ab4b5c40e7f8f8fc7ee02c3db195de Mon Sep 17 00:00:00 2001 From: Pankaj Jangid Date: Thu, 14 Mar 2024 17:11:43 +0530 Subject: [PATCH] Added language server for Move to eglot * lisp/progmodes/eglot.el (eglot-server-programs): Added move-analyzer language server. --- lisp/progmodes/eglot.el | 1 + 1 file changed, 1 insertion(+) diff --git a/lisp/progmodes/eglot.el b/lisp/progmodes/eglot.el index 4ffaf5f8a0e..b3fd104a227 100644 --- a/lisp/progmodes/eglot.el +++ b/lisp/progmodes/eglot.el @@ -295,6 +295,7 @@ eglot-server-programs ((nushell-mode nushell-ts-mode) . ("nu" "--lsp")) (gdscript-mode . ("localhost" 6008)) (fennel-mode . ("fennel-ls")) + (move-mode . ("move-analyzer")) ((fortran-mode f90-mode) . ("fortls")) (futhark-mode . ("futhark" "lsp")) ((lua-mode lua-ts-mode) . ,(eglot-alternatives -- 2.39.3 (Apple Git-146) --=-=-=-- ------------=_1710429541-24070-1--