emacs-bug-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#54053: closed ([PATCH] gnu: mercury: Use #:select instead of comment


From: GNU bug Tracking System
Subject: bug#54053: closed ([PATCH] gnu: mercury: Use #:select instead of comment string.)
Date: Thu, 28 Apr 2022 02:42:01 +0000

Your message dated Wed, 27 Apr 2022 22:41:15 -0400
with message-id <f5542bd3-c296-4f43-11b4-c0b9a6d7bafb@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@gnu.org.)


-- 
54053: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=54053
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
--- Begin Message --- 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




--- End Message ---
--- Begin Message --- Subject: Re: [PATCH] gnu: mercury: Use #:select instead of comment string. Date: Wed, 27 Apr 2022 22:41:15 -0400
Pushed as f1d08be7af to master. Thanks for the patch.

Regards,
RG.

Attachment: OpenPGP_signature
Description: OpenPGP digital signature


--- End Message ---

reply via email to

[Prev in Thread] Current Thread [Next in Thread]