From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Mario Lang Newsgroups: gmane.emacs.devel Subject: lsp and Haskell Date: Tue, 10 Nov 2020 10:36:47 +0100 Message-ID: <874klx4kpc.fsf@blind.guru> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="14975"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1.50 (gnu/linux) To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Tue Nov 10 10:37:51 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 1kcQ62-0003nq-BZ for ged-emacs-devel@m.gmane-mx.org; Tue, 10 Nov 2020 10:37:50 +0100 Original-Received: from localhost ([::1]:43516 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kcQ61-0006Ax-Dn for ged-emacs-devel@m.gmane-mx.org; Tue, 10 Nov 2020 04:37:49 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:52570) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kcQ5D-0005jH-D1 for emacs-devel@gnu.org; Tue, 10 Nov 2020 04:36:59 -0500 Original-Received: from familiekainz.at ([37.187.20.171]:56974 helo=ns3035380.ip-37-187-20.eu) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kcQ5A-0004T3-LD for emacs-devel@gnu.org; Tue, 10 Nov 2020 04:36:58 -0500 Original-Received: by ns3035380.ip-37-187-20.eu (Postfix, from userid 110) id 091F21DCA; Tue, 10 Nov 2020 09:36:49 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=blind.guru; s=mail; t=1605001010; bh=ztyEfw8jpu4iytpq90rYNG6oYdE44MNeUX1TdRrCfjU=; h=From:To:Subject:Date:From; b=rJHXKyCTHC/hrdbUrLe/7N4HpiiVjPnaiC+1RAwR2tRiCyH9l/EkZ0NcPWhl+sG7A gXwN4OLcEcz1cgEhmvjzLbY1LlhESwLCQZXy0t/InXrtgUZdTW8piuRAcgorvN9h8S k4rd0ShQTLZYPR4vAQJyVDVRVRODJAyuYvNQVHj0= Original-Received: from x1.blind.guru (vra-168-165.tugraz.at [129.27.168.165]) by ns3035380.ip-37-187-20.eu (Postfix) with ESMTPSA id 596BC1DA5 for ; Tue, 10 Nov 2020 09:36:48 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=blind.guru; s=mail; t=1605001008; bh=ztyEfw8jpu4iytpq90rYNG6oYdE44MNeUX1TdRrCfjU=; h=From:To:Subject:Date:From; b=xRmIOe9KHuqJT7ySbFbmjDREOUJ/hMU0th4PgIzDJ41xMB6NhoR3BRqFFGKfVI91f J99VEbDh2uBdTMAfsf/B9vM1jG7rR/H9LWPBDuLeeSCR90yp4iLn2M6HoYukTlYe1x Rm5Ny7jnSRkJmjaSFUVWz/KJoTfmKUvsECZYc3lU= Original-Received: by x1.blind.guru (Postfix, from userid 1000) id 321D8E80AB6; Tue, 10 Nov 2020 10:36:47 +0100 (CET) Received-SPF: pass client-ip=37.187.20.171; envelope-from=mlang@blind.guru; helo=ns3035380.ip-37-187-20.eu X-detected-operating-system: by eggs.gnu.org: First seen = 2020/11/10 04:36:53 X-ACL-Warn: Detected OS = Linux 3.11 and newer X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.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, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no 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:258968 Archived-At: Hi. I recently gave lsp based development a try in Emacs. As I am doing Haskell, I am using haskell-language-server[1]. It appears to only work nicely with emacs-lsp[2]. Question: Are their ongoing efforts to support HLS with eglot? While eglot being simple is probably a good thing, I am wondering if going for simplicity is the best way to get broad IDE support via lsp. HLS with lsp-haskell does really work pretty nicely. It supports code actions, which puts a lot of cleanup magic at your fingertips. It also does code formatting and of course completion and M-. I am posting this fully aware that some packages have a hard time being installable by default in Emacs. I usually dont care much. However, in this case, I believe stock Emacs should make it easier to get IDE support. I shouldn't need to fiddle with elisp, configuring an "alternative app store" to get IDE support for $language. At least that would be my wish. Besides, something was slightly off when I put melpa into package-archives. I managed to install the three packages I needed, but after I did so, they vanished from the package list. After a restart of Emacs, I now have lsp-ui and lsp-haskell marked as installed, but lsp-mode is marked as "available" but it is installed in ~/.config/emacs/elpa. I haven't tried to figure out what is going on here. My point is that having to activate melpa to get IDE support for $language seems to expose weird behaviour, which only helps to alienate people who are newcomers trying to use Emacs as an IDE. As I understand it, we currently require copyright assignment for every extra package we make available by default. Putting rules in place is likely a good idea, but is this one rule really helping Emacs? It feels a bit harsh. I totally understand that we require assignments for everything that goes into core Emacs. But third party packages? Really? If I am not misunderstanding this, what is the actual rationale behind it? [1] https://github.com/haskell/haskell-language-server [2] https://github.com/emacs-lsp/ https://github.com/emacs-lsp/lsp-haskell --=20 CYa, =E2=A1=8D=E2=A0=81=E2=A0=97=E2=A0=8A=E2=A0=95