GNU bug report logs - #55619
[PATCH] gnu: smlnj: Fix use of Ctrl-c in sml REPL.

Previous Next

Package: guix-patches;

Reported by: Foo Chuan Wei <chuanwei.foo <at> hotmail.com>

Date: Wed, 25 May 2022 01:46:02 UTC

Severity: normal

Tags: patch

Done: Tobias Geerinckx-Rice <me <at> tobias.gr>

Bug is archived. No further changes may be made.

Full log

Message #10 received at 55619-done <at> debbugs.gnu.org (full text, mbox):

From: Tobias Geerinckx-Rice <me <at> tobias.gr>
To: 55619-done <at> debbugs.gnu.org
Subject: Re: [PATCH] gnu: smlnj: Fix use of Ctrl-c in sml REPL.
Date: Sun, 05 Jun 2022 03:12:06 +0200

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

Thanks for the patch and the perfect comment.

The only thing I tweaked was the commit message, to reflect the 
‘what’ rather than (just) the ‘why’:

   * gnu/packages/sml.scm (smlnj): Replace INVOKE with SYSTEM
   which has more favourable signal dispositions.

Tested on a Guix System that could reproduce the original bug & 
pushed as 62da327848311a75723f16642c20d2925919237e.

Kind regards,

T G-R

[signature.asc (application/pgp-signature, inline)]
This bug report was last modified 2 years and 356 days ago.

Previous Next

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