GNU bug report logs - #51118
28.0.50; arrow keys break agda-input quail package since bd5c7404

Previous Next

Full log

Message #8 received at 51118 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Mauricio Collares <mauricio <at> collares.org>,
 Gregory Heytings <gregory <at> heytings.org>
Cc: gregory <at> heytings.org, 51118 <at> debbugs.gnu.org
Subject: Re: bug#51118: 28.0.50;
 arrow keys break agda-input quail package since bd5c7404
Date: Sun, 10 Oct 2021 20:55:26 +0300

> From: Mauricio Collares <mauricio <at> collares.org>
> Date: Sun, 10 Oct 2021 19:25:48 +0200
> Cc: gregory <at> heytings.org
> 
> Steps to reproduce:
> 
> 1) Load the agda-input package (available at [1]) and do M-x
> set-input-method Agda. This step is not minimized, sorry about that.
> 
> 2) Type \< (that is, a backslash and a less-than sign) and then press
> the right arrow.
> 
> Instead of just exiting the special "Quail translation state" (I don't
> know the correct term for that; I mean the thing indicated by
> underlining), I get the following error.
> 
> Lisp error: (wrong-type-argument sequencep right)
>   append(right nil)
>   quail-add-unread-command-events(right)
>   quail-next-translation()
>   funcall-interactively(quail-next-translation)
>   call-interactively(quail-next-translation)
>   quail-start-translation(92)
>   quail-input-method(92)
> 
> After that, the backslash no longer does anything special, and several
> emacs interactions fail in strange ways. I've verified that this does
> affect bd5c7404195e45f11946b4e0933a1f8b697d8b87 but not its parent
> commit (7bbd6b720e60cb5e726214268c5b80a3e23f799e).
> 
> Best regards,
> Mauricio
> 
> [1] https://github.com/agda/agda/blob/731f300deac14e10792a0bbf22c86cbe0c9c7e4b/src/data/emacs-mode/agda-input.el

Thanks.

Gregory, could you please look into this?  It needs to be fixed for
Emacs 28.

TIA

Previous Next

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