From patchwork Sun Mar 29 01:11:01 2020 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: John Soo X-Patchwork-Id: 20944 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id A226F27BBE4; Mon, 30 Mar 2020 03:37:40 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED, MAILING_LIST_MULTI,T_DKIM_INVALID,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id 2881127BBE1 for ; Mon, 30 Mar 2020 03:37:40 +0100 (BST) Received: from localhost ([::1]:43748 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jIkJ1-0005kl-Kz for patchwork@mira.cbaines.net; Sun, 29 Mar 2020 22:37:39 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:54615) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jIkHd-00034k-Cv for guix-patches@gnu.org; Sun, 29 Mar 2020 22:36:14 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1jIkHc-0003HE-1e for guix-patches@gnu.org; Sun, 29 Mar 2020 22:36:13 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:48599) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1jIkHb-0003Gy-TM for guix-patches@gnu.org; Sun, 29 Mar 2020 22:36:11 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jIkHb-0004cs-Rc for guix-patches@gnu.org; Sun, 29 Mar 2020 22:36:11 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#40301] [PATCH] gnu: Add emacs-psc-ide. Resent-From: John Soo Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 30 Mar 2020 02:36:11 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 40301 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 40301@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.158553573417402 (code B ref -1); Mon, 30 Mar 2020 02:36:11 +0000 Received: (at submit) by debbugs.gnu.org; 30 Mar 2020 02:35:34 +0000 Received: from lists.gnu.org ([209.51.188.17]:45264) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jIMTj-0005js-E8 for submit@debbugs.gnu.org; Sat, 28 Mar 2020 21:11:07 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:52822) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jIMTi-0007X7-7A for guix-patches@gnu.org; Sat, 28 Mar 2020 21:11:07 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1jIMTg-0005qp-G9 for guix-patches@gnu.org; Sat, 28 Mar 2020 21:11:05 -0400 Received: from mail-pl1-x630.google.com ([2607:f8b0:4864:20::630]:35722) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1jIMTg-0005qb-9M for guix-patches@gnu.org; Sat, 28 Mar 2020 21:11:04 -0400 Received: by mail-pl1-x630.google.com with SMTP id c12so2321343plz.2 for ; Sat, 28 Mar 2020 18:11:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=asu-edu.20150623.gappssmtp.com; s=20150623; h=from:to:subject:date:message-id:mime-version; bh=jN9Q8MyBrCTCCVsKn2/AlMjXrBwAtRstaPDF+PIeJw4=; b=H8Q0xV23dGjt6gYvkkR5WO5ycHYVBpzUDnF8MSASPUe5e3MjyJIRgxZHeiebPYwR4/ N4OWeg6vRsWv1DeaEUKJjT1T3YW9EoQBGJGa2t/mACnuZskId+IN+fXrN0T3RlTyGCmT RAXUqlGQcFizyNDkIov1+FY6r6oyK5Kr9cPIbO2KBF5pIt8m1bbLhVgCnYe2p6LgM43e xugdO/o0QbWfsU+o0KhyfbXP1wXPxpI/fbQUEYzReUAfletIJZNsN6V3iBdfP2aLByvI CbZHe6z7fSbswK57sWG8IslYL0Ou3unyIvxaBdoSK4JJnkdp5r0Vx9LT9TkxacfEuvQt +95A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:date:message-id:mime-version; bh=jN9Q8MyBrCTCCVsKn2/AlMjXrBwAtRstaPDF+PIeJw4=; b=GDg1T8YaKpjJL6ekcGIiB1eL9RbY0sBWMyE05CRvDNkbleDF+5o1V9npe12XDwEkTS VxMDlxekeb2A1S7rQJxZCZEzKwKk1QrrXqD8L/3DK0ENysQjRwlyauEC3zzeAeacaQc+ CJpZWg+k/dMhfi/Tq1iRyXOLeD2EGYhytmjq/len9jsez5zwdye8IBywRzV7IrPM/rVW L7DUJMcMfrYGUQEBNg8/YZIDFfvO9kOyovLL4GQURvUCoQOpAuFeAbfP5WudgZCvwopd ovz7/lWr+lt2TOEWTl2SD5DzLxBpFtTfEwrb1yI3/xH/MwNLB4JI9vxwQ85rP0G3DDJT Qqfw== X-Gm-Message-State: ANhLgQ2Prd7HBCXORCi2OZlierL4wNaysJ93zyIjAnPTno1mSoQXYh7D TKRAYw1jYhQv2yTclKLIFrAmnIropbg= X-Google-Smtp-Source: ADFU+vtS9Qq+/5OF9i5YtfJ5PUi0FI2dBkyZdCUdgNjPXqd4aKGsgp2C94LiTN7y89glqWK4hRfvmQ== X-Received: by 2002:a17:90a:c482:: with SMTP id j2mr7857225pjt.71.1585444262860; Sat, 28 Mar 2020 18:11:02 -0700 (PDT) Received: from ecenter ([2600:1700:83b0:8bd0::6c3]) by smtp.gmail.com with ESMTPSA id d7sm7027089pfo.86.2020.03.28.18.11.02 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 28 Mar 2020 18:11:02 -0700 (PDT) From: John Soo Date: Sat, 28 Mar 2020 18:11:01 -0700 Message-ID: <87h7y82cey.fsf@asu.edu> MIME-Version: 1.0 X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-List-Received-Date: Sun, 29 Mar 2020 01:11:08 -0000 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches Hi Guix, psd-ide is an indispensable part of my PureScript workflow. Thanks! John >From c2001d000ffa61a4d2ae18e1f7db9b0c57923197 Mon Sep 17 00:00:00 2001 From: John Soo Date: Tue, 24 Mar 2020 07:36:28 -0700 Subject: [PATCH] gnu: Add emacs-psc-ide. * gnu/packages/emacs-xyz.scm (emacs-psc-ide): New variable. --- gnu/packages/emacs-xyz.scm | 39 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm index 9d40b8019e..0fa43fa4d1 100644 --- a/gnu/packages/emacs-xyz.scm +++ b/gnu/packages/emacs-xyz.scm @@ -65,6 +65,7 @@ ;;; Copyright © 2020 Michael Rohleder ;;; Copyright © 2020 Brice Waegeneire ;;; Copyright © 2020 6033fe7de85d <6033fe7de85d@airmail.cc> +;;; Copyright © 2020 John Soo ;;; ;;; This file is part of GNU Guix. ;;; @@ -21776,3 +21777,41 @@ enables modal editing and composition of commands, too. It combines ideas of other Editors like Vim or Kakoune and tries to align them with regular Emacs conventions.") (license license:gpl3+))) + +(define-public emacs-psc-ide + (package + (name "emacs-psc-ide") + (version "0.0.0") + (source + (origin + (method git-fetch) + (uri + (git-reference + (url "https://github.com/purescript-emacs/psc-ide-emacs") + (commit "7fc2b841be25f5bc5e1eb7d0634436181c38b3fe"))) + (file-name (git-file-name name "0.0.0")) + (sha256 + (base32 + "0r0fymyai30jimm34z1cmav4wgij8ci6s1d9y7qigygfbbfrdsmj")))) + (inputs + `(("emacs-company" ,emacs-company) + ("emacs-dash" ,emacs-dash) + ("emacs-flycheck" ,emacs-flycheck) + ("emacs-let-alist" ,emacs-let-alist) + ("emacs-s" ,emacs-s) + ("emacs-seq" ,emacs-seq))) + (build-system emacs-build-system) + (home-page "https://github.com/purescript-emacs/psc-ide-emacs") + (synopsis "Emacs integration for PureScript's psc-ide tool") + (description + "Emacs integration for PureScript's psc-ide tool. Featuring: +@itemize +@item Completions +@item Type at point +@item Go to definition +@item Automatic imports +@item Case split +@item Build system integration +@item Flycheck support +@end itemize") + (license license:gpl3+))) -- 2.26.0