GNU bug report logs - #54053
[PATCH] gnu: mercury: Use #:select instead of comment string.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Raghav Gururajan <rg <at> raghavgururajan.name>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#54053: closed ([PATCH] gnu: mercury: Use #:select instead of
 comment string.)
Date: Thu, 28 Apr 2022 02:42:01 +0000

[Message part 1 (text/plain, inline)]

Your message dated Wed, 27 Apr 2022 22:41:15 -0400
with message-id <f5542bd3-c296-4f43-11b4-c0b9a6d7bafb <at> raghavgururajan.name>
and subject line Re: [PATCH] gnu: mercury: Use #:select instead of comment string.
has caused the debbugs.gnu.org bug report #54053,
regarding [PATCH] gnu: mercury: Use #:select instead of comment string.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
54053: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=54053
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: jgart <jgart <at> dismail.de>
To: guix-patches <at> gnu.org
Cc: jgart <jgart <at> dismail.de>
Subject: [PATCH] gnu: mercury: Use #:select instead of comment string.
Date: Fri, 18 Feb 2022 01:15:40 -0500

* gnu/packages/mercury.scm (mercury)[define-module]: Use #:select instead of a
comment string for importing match-lambda.
---
 gnu/packages/mercury.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/mercury.scm b/gnu/packages/mercury.scm
index c87e65fdd1..1c7f5c5f55 100644
--- a/gnu/packages/mercury.scm
+++ b/gnu/packages/mercury.scm
@@ -31,7 +31,7 @@ (define-module (gnu packages mercury)
   #:use-module (gnu packages shells)
   #:use-module (gnu packages bison)
   #:use-module (gnu packages pkg-config)
-  #:use-module (ice-9 match)) ; match-lambda
+  #:use-module ((ice-9 match) #:select (match-lambda)))
 
 ;; NOTE: Mercury uses a tightly coupled fork of BDWGC and
 ;; libatomic-ops. When updating the package, please check the GitHub
-- 
2.35.1

[Message part 3 (message/rfc822, inline)]

From: Raghav Gururajan <rg <at> raghavgururajan.name>
To: 54053-done <at> debbugs.gnu.org
Cc: jgart <jgart <at> dismail.de>
Subject: Re: [PATCH] gnu: mercury: Use #:select instead of comment string.
Date: Wed, 27 Apr 2022 22:41:15 -0400

[Message part 4 (text/plain, inline)]

Pushed as f1d08be7af to master. Thanks for the patch.

Regards,
RG.

[OpenPGP_signature (application/pgp-signature, attachment)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.