From jsoo1@asu.edu Sat Mar 28 21:11:07 2020 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 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,URIBL_BLOCKED autolearn=disabled version=3.3.2 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 To: guix-patches@gnu.org Subject: [PATCH] gnu: Add emacs-psc-ide. Date: Sat, 28 Mar 2020 18:11:01 -0700 Message-ID: <87h7y82cey.fsf@asu.edu> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4864:20::630 X-Spam-Score: 0.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: , X-List-Received-Date: Sun, 29 Mar 2020 01:11:08 -0000 --=-=-= Content-Type: text/plain Hi Guix, psd-ide is an indispensable part of my PureScript workflow. Thanks! John --=-=-= Content-Type: text/x-patch; charset=utf-8 Content-Disposition: attachment; filename=0001-gnu-Add-emacs-psc-ide.patch Content-Transfer-Encoding: quoted-printable Content-Description: add emacs-psc-ide >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 =C2=A9 2020 Michael Rohleder ;;; Copyright =C2=A9 2020 Brice Waegeneire ;;; Copyright =C2=A9 2020 6033fe7de85d <6033fe7de85d@airmail.cc> +;;; Copyright =C2=A9 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 Ema= cs 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+))) --=20 2.26.0 --=-=-=--