From mboxrd@z Thu Jan 1 00:00:00 1970 From: David Craven Subject: [PATCH 5/7] gnu: Add idris-wl-pprint. Date: Mon, 2 Jan 2017 18:19:56 +0100 Message-ID: <20170102171958.32131-5-david@craven.ch> References: <20170102171958.32131-1-david@craven.ch> Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:60237) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cO6HV-0007Zt-DK for guix-devel@gnu.org; Mon, 02 Jan 2017 12:20:22 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cO6HQ-00082d-3j for guix-devel@gnu.org; Mon, 02 Jan 2017 12:20:21 -0500 Received: from so254-10.mailgun.net ([198.61.254.10]:50770) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1cO6HP-0007zL-WA for guix-devel@gnu.org; Mon, 02 Jan 2017 12:20:16 -0500 In-Reply-To: <20170102171958.32131-1-david@craven.ch> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: guix-devel@gnu.org * gnu/packages/haskell.scm (idris-wl-pprint): New variable. --- gnu/packages/haskell.scm | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index 2e31c0dbb..bc6d6d4b1 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -6822,6 +6822,31 @@ by Parsec. This package is used (almost) the same way as Parsec, except for one difference: backtracking.") (license license:bsd-2)))) +(define-public idris-wl-pprint + (let ((commit "1d365fcf4ba075859844dbc5eb96a90f57b9f338")) + (package + (name "idris-wl-pprint") + (version (git-version "0.1" "1" commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/shayan-najd/wl-pprint") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0g7c3y9smifdz4sivi3qmvymhdr7v9kfq45fmfmmvkqcrix0spzn")))) + (build-system gnu-build-system) + (native-inputs + `(("idris" ,idris))) + (arguments (idris-default-arguments name)) + (home-page "https://github.com/shayan-najd/wl-pprint") + (synopsis "Pretty printing library") + (description "A pretty printing library for Idris based on Phil Wadler's +paper A Prettier Printer and on Daan Leijen's extensions in the Haskell +wl-pprint library.") + (license license:bsd-2)))) + (define-public ghc-base16-bytestring (package (name "ghc-base16-bytestring") -- 2.11.0