From unknown Thu Jun 19 14:05:01 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#47440 <47440@debbugs.gnu.org> To: bug#47440 <47440@debbugs.gnu.org> Subject: Status: 27.1; Quit/C-g does not interrupt Emacs promptly. Reply-To: bug#47440 <47440@debbugs.gnu.org> Date: Thu, 19 Jun 2025 21:05:01 +0000 retitle 47440 27.1; Quit/C-g does not interrupt Emacs promptly. reassign 47440 emacs submitter 47440 =E4=BC=8A=E8=97=A4=E6=B4=8B=E4=BB=8B severity 47440 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Sat Mar 27 21:28:08 2021 Received: (at submit) by debbugs.gnu.org; 28 Mar 2021 01:28:08 +0000 Received: from localhost ([127.0.0.1]:45202 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lQKDo-0007cz-Hq for submit@debbugs.gnu.org; Sat, 27 Mar 2021 21:28:08 -0400 Received: from lists.gnu.org ([209.51.188.17]:34872) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lQKCU-0007ag-U1 for submit@debbugs.gnu.org; Sat, 27 Mar 2021 21:26:46 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:44272) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lQKCU-0001R7-BV for bug-gnu-emacs@gnu.org; Sat, 27 Mar 2021 21:26:46 -0400 Received: from mail-wr1-x42e.google.com ([2a00:1450:4864:20::42e]:36443) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lQKCN-00020o-2P for bug-gnu-emacs@gnu.org; Sat, 27 Mar 2021 21:26:44 -0400 Received: by mail-wr1-x42e.google.com with SMTP id k8so9285962wrc.3 for ; Sat, 27 Mar 2021 18:26:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=+/fGsTIYnukww6gMKOvJexgoAPOFDuYOpEymvBwit6M=; b=euP+1ukeWaFZ+Tsk5BLvJky3BuqD1wmUenMGsK6sd/xKuWH0UvGho4F9PISL9dwMJA yUBlfghn426DMhOEW3XA++zh10A9v/p7G0OFRqZKj9s1So2aMLVxKg8TUZ4uAhC9TC+q W24hBR8nSJ8X8H8hJPWvp9QC1Rfxdlnpdw4jbYaEqSo1cSEw9/7nX24RgAqE6DN6v90c GpIpd5Xx6mrUGxiOosqfxlajYfyPiRbqo8axWkI0RqTEnm/ODDqHrqrijw8JULxzfwiC baw/zyNW9pAKNKbbghQ13CSnjSiwImw33LUPHH0ZmS2n/ArTmo5ej/w0Md6J++r6TYtl TgWg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=+/fGsTIYnukww6gMKOvJexgoAPOFDuYOpEymvBwit6M=; b=UjtqnTX+GLynJkevd3e/2chKJ2i040JskHcWWVCQH59FcbY8sMJdrCFwVQP/zMScWr aboV60aZ2VKZqgDwANT8bNNkaLkH8ZkxWFl230qO4e2wTRDivvbswz8Z4eodCDR90pbz vlj8s0mqgsiqCoiHzuPo66TZRhgxOiDO6eYeMqZ9Key5Fgatr966GKrwDK3vzXUECXoH PseHkc5gltDBr88mdms9Pni7BaucAtzZcMiEnOB0NfWJWXC9jW0+PduLP5OQAAmA9VFq 6FLIhD3qvMazhjk5FlSkG53QJcbLkicTF8/U+2S2WN2LYF8ylxXUEepoVBKee8KWM+f3 TTzA== X-Gm-Message-State: AOAM532D/WmwZomgTkg8XVWtkfsXbbji2eAxTeIgDj0z/LVgwJHlq9Ng hKGoC8HY++Gv8TCipnq2PPk6BCpmpOCkOI9EgsLqDB0vaiUYYw== X-Google-Smtp-Source: ABdhPJwDqNVaAtEjmqI4joadTywFKhbvLajOCg1ahZseFQvRIZNnrxoiev4mSKSGf/QV58AyNTF6My7Dkvwthe82FEA= X-Received: by 2002:adf:f143:: with SMTP id y3mr14029170wro.198.1616894796004; Sat, 27 Mar 2021 18:26:36 -0700 (PDT) MIME-Version: 1.0 From: =?UTF-8?B?5LyK6Jek5rSL5LuL?= Date: Sun, 28 Mar 2021 10:26:24 +0900 Message-ID: Subject: 27.1; Quit/C-g does not interrupt Emacs promptly. To: bug-gnu-emacs@gnu.org Content-Type: multipart/alternative; boundary="000000000000f4812a05be8ea79d" Received-SPF: pass client-ip=2a00:1450:4864:20::42e; envelope-from=glacier345@gmail.com; helo=mail-wr1-x42e.google.com X-Spam_score_int: -17 X-Spam_score: -1.8 X-Spam_bar: - X-Spam_report: (-1.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_ENVFROM_END_DIGIT=0.25, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Debbugs-Envelope-To: submit X-Mailman-Approved-At: Sat, 27 Mar 2021 21:28:06 -0400 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" --000000000000f4812a05be8ea79d Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable *** This report is related to the Proof General Issues "Proof General freezes after I-search #565. *** I use Proof General Version 4.5-git, Company-Coq. The bug description is as follows. I did "I-search" (C-s) then "proof-assert-next-command-interactive" (C-c C-n), but the proof process got stuck. So I pressed "Quit" (C-g), however the backtrace did not appear promptly. For your information, the backtrace is the following. Debugger entered--Lisp error: (dbus-error "Emacs not compiled with dbus support") signal(dbus-error ("Emacs not compiled with dbus support")) dbus-call-method(:session "org.freedesktop.Notifications" "/org/freedesktop/Notifications" "org.freedesktop.Notifications" "Notify" :string "Emacs" :uint32 0 :string "/Users/yosukeito/.emacs.d/elpa/company-coq-2020072..." :string "Prover ready! (proof took 44.29s)" :string "" (:array) ((:dict-entry "urgency" (:variant :byte 1))) :int32 -1) notifications-notify(:body "" :urgency normal :title "Prover ready! (proof took 44.29s)" :app-icon "/Users/yosukeito/.emacs.d/elpa/company-coq-2020072...") company-coq-features/alerts--alert() company-coq-features/alerts--maybe-alert() apply(company-coq-features/alerts--maybe-alert nil) timer-event-handler([t 24671 54603 609259 nil company-coq-features/alerts--maybe-alert nil nil 0]) In GNU Emacs 27.1 (build 1, x86_64-apple-darwin18.7.0, NS appkit-1671.60 Version 10.14.6 (Build 18G95)) of 2020-08-12 built on builder10-14.porkrind.org Windowing system distributor 'Apple', version 10.3.2022 System Description: macOS 11.2.3 Recent messages: Debug on Error enabled globally Debug on Quit enabled globally Coq project file detected: /Users/yosukeito/Actuary/_CoqProject. [2 times] Starting: coqtop -topfile /Users/yosukeito/Actuary/Papers/syllogism.v -emacs -Q /Users/yosukeito/Actuary Actuary Capability detection complete: dynamic completion is available. Hit M-x proof-layout-windows to reset layout M-x proof-prf for goals; M-x proof-layout-windows refreshes [2 times] Starting coq process... done. Quit Entering debugger... Configured using: 'configure --with-ns '--enable-locallisppath=3D/Library/Application Support/Emacs/${version}/site-lisp:/Library/Application Support/Emacs/site-lisp' --with-modules' Configured features: NOTIFY KQUEUE ACL GNUTLS LIBXML2 ZLIB TOOLKIT_SCROLL_BARS NS MODULES THREADS JSON PDUMPER Important settings: value of $LANG: ja_JP.UTF-8 locale-coding-system: utf-8-unix Major mode: Debugger Minor modes in effect: show-paren-mode: t leaf-key-override-global-mode: t tooltip-mode: t global-eldoc-mode: t electric-indent-mode: t mouse-wheel-mode: t tool-bar-mode: t menu-bar-mode: t file-name-shadow-mode: t global-font-lock-mode: t font-lock-mode: t blink-cursor-mode: t auto-composition-mode: t auto-encryption-mode: t auto-compression-mode: t buffer-read-only: t line-number-mode: t transient-mark-mode: t Load-path shadows: None found. Features: (shadow sort mail-extr emacsbug message rmc format-spec rfc822 mml mml-sec epa derived epg epg-config gnus-util rmail rmail-loaddefs mm-decode mm-bodies mm-encode mail-parse rfc2231 mailabbrev gmm-utils mailheader sendmail rfc2047 rfc2045 ietf-drums mm-util mail-prsvr mail-utils help-fns cl-print debug backtrace find-func time-date warnings misearch multi-isearch coq-unicode-tokens proof-unicode-tokens company-oddmuse company-keywords company-etags etags fileloop generator xref project company-gtags company-dabbrev-code company-dabbrev company-files company-clang company-capf company-cmake company-semantic company-template company-bbdb disp-table help-at-pt company-coq company-coq-utils company-coq-tg company-coq-abbrev notifications dbus pulse yasnippet shr text-property-search url-cookie url-domsuf url-util puny svg xml dom paren hideshow noutline outline dash company-math math-symbol-lists company edmacro kmacro pcase which-func imenu coq advice coq-diffs coq-par-compile coq-seq-compile coq-compile-common compile comint ansi-color coq-abbrev coq-local-vars local-vars-list coq-system proof proof-shell pg-user pg-goals pg-response proof-toolbar pg-assoc proof-tree proof-auxmodes pg-custom proof-splash proof-script proof-menu proof-utils scomint proof-syntax bufhist proof-config proof-faces proof-useropts pg-pamacs proof-compat pg-vars coq-mode coq-smie smie coq-syntax coq-db diff-mode easy-mmode holes span coq-indent init yatexhks yatex19 yatexsec yatex yatexadd yatexflt yatexlib hydra ring lv el-get el-get-autoloading el-get-list-packages el-get-dependencies el-get-build el-get-status pp el-get-methods el-get-fossil el-get-svn el-get-pacman el-get-github-zip el-get-github-tar el-get-http-zip el-get-http-tar el-get-hg el-get-go el-get-git-svn el-get-fink el-get-emacswiki el-get-http el-get-notify el-get-emacsmirror el-get-github el-get-git el-get-elpa el-get-darcs el-get-cvs el-get-bzr el-get-brew el-get-builtin el-get-apt-get el-get-recipes el-get-byte-compile el-get-custom cl-extra help-mode el-get-core autoload radix-tree lisp-mnt cl dired dired-loaddefs leaf-keywords leaf finder-inf cus-edit cus-start cus-load wid-edit proof-site proof-autoloads info package easymenu browse-url url-handlers url-parse auth-source cl-seq eieio eieio-core cl-macs eieio-loaddefs password-cache json subr-x map url-vars seq byte-opt gv bytecomp byte-compile cconv cl-loaddefs cl-lib japan-util tooltip eldoc electric uniquify ediff-hook vc-hooks lisp-float-type mwheel term/ns-win ns-win ucs-normalize mule-util term/common-win tool-bar dnd fontset image regexp-opt fringe tabulated-list replace newcomment text-mode elisp-mode lisp-mode prog-mode register page tab-bar menu-bar rfn-eshadow isearch timer select scroll-bar mouse jit-lock font-lock syntax facemenu font-core term/tty-colors frame minibuffer cl-generic cham georgian utf-8-lang misc-lang vietnamese tibetan thai tai-viet lao korean japanese eucjp-ms cp51932 hebrew greek romanian slovak czech european ethiopic indian cyrillic chinese composite charscript charprop case-table epa-hook jka-cmpr-hook help simple abbrev obarray cl-preloaded nadvice loaddefs button faces cus-face macroexp files text-properties overlay sha1 md5 base64 format env code-pages mule custom widget hashtable-print-readable backquote threads kqueue cocoa ns multi-tty make-network-process emacs) Memory information: ((conses 16 417471 21029) (symbols 48 29035 5) (strings 32 134196 3754) (string-bytes 1 3208544) (vectors 16 40463) (vector-slots 8 824202 24544) (floats 8 125 237) (intervals 56 3766 83) (buffers 1000 19)) --=20 =E4=BC=8A=E8=97=A4=E6=B4=8B=E4=BB=8B Yosuke Ito glacier345@gmail.com --000000000000f4812a05be8ea79d Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
*** This report is related to the Proof General Issues "Proof G= eneral
freezes after I-search #565. ***
I use Proof General Version 4.5-git, Company= -Coq.
The bug description is as follows.
I did "I-search" (C-s) then "= ;proof-assert-next-command-interactive" (C-c
C-n), but the proof process got stuck.
So I pressed "Quit" (C-g), however the backtrace did not app= ear
promptly.
For your information, the backtrace is the following.
Debugger entered--Lisp error: (dbus-error "Emacs not= compiled with dbus support")
=C2=A0=C2=A0signal(dbu= s-error ("Emacs not compiled with dbus support"))
=C2=A0=C2=A0dbus-call-method(:session "org.freedesktop.Notification= s" "/org/freedesktop/Notifications" "org.freedesktop.No= tifications" "Notify" :string "Emacs" :uint32 0 :s= tring "/Users/yosukeito/.emacs.d/elpa/company-coq-2020072..." :st= ring "Prover ready! (proof took 44.29s)" :string "" (:a= rray) ((:dict-entry "urgency" (:variant :byte 1))) :int32 -1)
=C2=A0=C2=A0notifications-notify(:body "" :urgency= normal :title "Prover ready! (proof took 44.29s)" :app-icon &quo= t;/Users/yosukeito/.emacs.d/elpa/company-coq-2020072...")
=C2=A0=C2=A0company-coq-features/alerts--alert()
=C2=A0=C2= =A0company-coq-features/alerts--maybe-alert()
=C2=A0=C2= =A0apply(company-coq-features/alerts--maybe-alert nil)
=C2=A0=C2=A0timer-event-handler([t 24671 54603 609259 nil company-coq-= features/alerts--maybe-alert nil nil 0])


In= GNU Emacs 27.1 (build 1, x86_64-apple-darwin18.7.0, NS appkit-1671.60 Vers= ion 10.14.6 (Build 18G95))
of 2020-08-12 b= uilt on builder10-14.porkrind.= org
Windowing system distributor '= Apple', version 10.3.2022
System Descr= iption:=C2=A0=C2=A0macOS 11.2.3

Recent messages:
Debug on Error e= nabled globally
Debug on Quit enabled glob= ally
Coq project file detected: /Users/yos= ukeito/Actuary/_CoqProject. [2 times]
Star= ting: coqtop -topfile /Users/yosukeito/Actuary/Papers/syllogism.v -emacs -Q= /Users/yosukeito/Actuary Actuary
Capabili= ty detection complete: dynamic completion is available.
Hit M-x proof-layout-windows to reset layout
M-x proof-prf for goals; M-x proof-layout-windows refresh= es [2 times]
Starting coq process... done.=
Quit
Ent= ering debugger...

Configured using:
<= span style=3D"color:rgb(0,0,0);font-family:Helvetica;font-size:12px;font-st= yle:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:norma= l;text-align:start;text-indent:0px;text-transform:none;white-space:normal;w= ord-spacing:0px;text-decoration:none;display:inline;float:none">'config= ure --with-ns '--enable-locallisppath=3D/Library/Application
Support/Emacs/${version}/site-lisp:/Library/Applicat= ion
Support/Emacs/site-lisp' --with-mo= dules'

Configured features:
NOTIFY KQUEUE A= CL GNUTLS LIBXML2 ZLIB TOOLKIT_SCROLL_BARS NS MODULES
THREADS JSON PDUMPER

Important settings:
=C2=A0=C2=A0value of $LANG: ja_JP.UTF-8
<= span class=3D"gmail-Apple-converted-space" style=3D"color:rgb(0,0,0);font-f= amily:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;f= ont-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;te= xt-transform:none;white-space:normal;word-spacing:0px;text-decoration:none"= >=C2=A0=C2=A0locale-coding-= system: utf-8-unix

Major mode: Debugger

Minor modes in effect:
=C2=A0=C2= =A0show-paren-mode: t
= =C2=A0=C2=A0leaf-key-overri= de-global-mode: t
=C2=A0=C2=A0tooltip-mode: t
=C2=A0=C2=A0global-eldoc-mode: t
=C2=A0=C2=A0elect= ric-indent-mode: t
=C2=A0=C2=A0mouse-wheel-mode: t
=C2=A0=C2=A0tool-bar-mode: t
=C2=A0=C2=A0me= nu-bar-mode: t
=C2=A0=C2=A0file-name-shadow-mode: t
=C2=A0=C2=A0global-font-lock-mode: t
=C2=A0=C2=A0<= /span>font-lock-mode: t
=C2=A0= =C2=A0blink-cursor-mode: t<= /span>
=C2=A0=C2=A0auto-composition-mode: t
=C2=A0=C2= =A0auto-encryption-mode: t
=C2=A0=C2=A0auto-compre= ssion-mode: t
=C2=A0=C2=A0buffer-read-only: t=C2=A0=C2=A0line-number-mode: t
=C2=A0=C2=A0tran= sient-mark-mode: t

Load-path shadows:
None foun= d.

Fe= atures:
(shadow sort mail-extr emacsbug me= ssage rmc format-spec rfc822 mml
mml-sec e= pa derived epg epg-config gnus-util rmail rmail-loaddefs
mm-decode mm-bodies mm-encode mail-parse rfc2231 mailabbrev = gmm-utils
mailheader sendmail rfc2047 rfc2= 045 ietf-drums mm-util mail-prsvr
mail-uti= ls help-fns cl-print debug backtrace find-func time-date
warnings misearch multi-isearch coq-unicode-tokens proof-uni= code-tokens
company-oddmuse company-keywor= ds company-etags etags fileloop generator
= xref project company-gtags company-dabbrev-code company-dabbrev
company-files company-clang company-capf company-cmak= e company-semantic
company-template comp= any-bbdb disp-table help-at-pt company-coq
company-coq-utils company-coq-tg company-coq-abbrev notifications dbus
pulse yasnippet shr text-property-search url-= cookie url-domsuf url-util
puny svg xml do= m paren hideshow noutline outline dash company-math
math-symbol-lists company edmacro kmacro pcase which-func imenu c= oq
advice coq-diffs coq-par-compile coq-se= q-compile coq-compile-common
compile comin= t ansi-color coq-abbrev coq-local-vars local-vars-list
coq-system proof proof-shell pg-user pg-goals pg-response proo= f-toolbar
pg-assoc proof-tree proof-auxmod= es pg-custom proof-splash proof-script
pro= of-menu proof-utils scomint proof-syntax bufhist proof-config
proof-faces proof-useropts pg-pamacs proof-compat pg-va= rs coq-mode
coq-smie smie coq-syntax coq-d= b diff-mode easy-mmode holes span
coq-inde= nt init yatexhks yatex19 yatexsec yatex yatexadd yatexflt
yatexlib hydra ring lv el-get el-get-autoloading el-get-l= ist-packages
el-get-dependencies el-get-bu= ild el-get-status pp el-get-methods
el-get= -fossil el-get-svn el-get-pacman el-get-github-zip
el-get-github-tar el-get-http-zip el-get-http-tar el-get-hg el-get= -go
el-get-git-svn el-get-fink el-get-emac= swiki el-get-http el-get-notify
= el-get-ema= csmirror el-get-github el-get-git el-get-elpa el-get-darcs
el-get-cvs el-get-bzr el-get-brew el-get-builtin el-get-a= pt-get
el-get-recipes el-get-byte-compile = el-get-custom cl-extra help-mode
el-get-co= re autoload radix-tree lisp-mnt cl dired dired-loaddefs
leaf-keywords leaf finder-inf cus-edit cus-start cus-load wid= -edit
proof-site proof-autoloads info pack= age easymenu browse-url url-handlers
url-p= arse auth-source cl-seq eieio eieio-core cl-macs eieio-loaddefs
password-cache json subr-x map url-vars seq byte-opt = gv bytecomp
byte-compile cconv cl-loaddefs= cl-lib japan-util tooltip eldoc electric
= uniquify ediff-hook vc-hooks lisp-float-type mwheel term/ns-win ns-win
ucs-normalize mule-util term/common-win tool-b= ar dnd fontset image
regexp-opt fringe tab= ulated-list replace newcomment text-mode elisp-mode
lisp-mode prog-mode register page tab-bar menu-bar rfn-eshadow is= earch
timer select scroll-bar mouse jit-lo= ck font-lock syntax facemenu
font-core ter= m/tty-colors frame minibuffer cl-generic cham georgian
utf-8-lang misc-lang vietnamese tibetan thai tai-viet lao kore= an
japanese eucjp-ms cp51932 hebrew greek = romanian slovak czech european
<= span style=3D"color:rgb(0,0,0);font-family:Helvetica;font-size:12px;font-st= yle:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:norma= l;text-align:start;text-indent:0px;text-transform:none;white-space:normal;w= ord-spacing:0px;text-decoration:none;display:inline;float:none">ethiopic in= dian cyrillic chinese composite charscript charprop
case-table epa-hook jka-cmpr-hook help simple abbrev obarray
cl-preloaded nadvice loaddefs button faces cus= -face macroexp files
text-properties overl= ay sha1 md5 base64 format env code-pages mule
custom widget hashtable-print-readable backquote threads kqueue cocoa n= s
multi-tty make-network-process emacs)

Memory = information:
((conses 16 417471 21029)
(symbols 48 29035 5)
(strings 32 134196 3754)
(string-= bytes 1 3208544)
(vectors 16 40463)=
(vector-slots 8 824202 24544)
(floats 8 125 237)
(interva= ls 56 3766 83)
(buffers 1000 19))

--
=E4=BC=8A=E8=97= =A4=E6=B4=8B=E4=BB=8B
Yosuke Ito
=
--000000000000f4812a05be8ea79d-- From debbugs-submit-bounces@debbugs.gnu.org Sun Mar 28 00:13:52 2021 Received: (at 47440) by debbugs.gnu.org; 28 Mar 2021 04:13:52 +0000 Received: from localhost ([127.0.0.1]:45286 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lQMoB-00037v-Nu for submit@debbugs.gnu.org; Sun, 28 Mar 2021 00:13:51 -0400 Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:52714) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lQMo7-00037c-Vz for 47440@debbugs.gnu.org; Sun, 28 Mar 2021 00:13:50 -0400 Received: from pmg1.iro.umontreal.ca (localhost.localdomain [127.0.0.1]) by pmg1.iro.umontreal.ca (Proxmox) with ESMTP id 88ABB10027A; Sun, 28 Mar 2021 00:13:42 -0400 (EDT) Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg1.iro.umontreal.ca (Proxmox) with ESMTP id 0E9FA100250; Sun, 28 Mar 2021 00:13:41 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1616904821; bh=+Kj+kF6ciDOJEqi8CGXO19/MWindBx7c6LF5/Jarzv4=; h=From:To:Cc:Subject:References:Date:In-Reply-To:From; b=b0xo+vf3U021pOVekPfVwktX69n9WVqsEwRU0vJPxQ3ypvCRKF8i89oUc+rPa/FNX 61fkz+aiOX2DJ4nw+ithJTia0fbNjndvxuKnlnvlTL5ybK+NuyKlH6+5tfP/1l8jOk 9zZ8B6bOY6cH+rhniczZVbFvB+jB/nngRSPJx5TBCXYZG8OftX0oS781MqXE5vqAKE qIbFFfI+Z5DlmfdCerts/UVmAYcQVYKr2+UPedq6P7SltvJmqr1nKFQ0ug5BkZaZvi DWK2HxAkrTs2scxwU0TcPX23aAqGAup5ZsN/p+YymkG6OL+pPjjn5Opanz35YGfUEL 2z+8Tk5S0mSfg== Received: from alfajor (unknown [216.154.43.249]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id A27DD1203B6; Sun, 28 Mar 2021 00:13:40 -0400 (EDT) From: Stefan Monnier To: =?utf-8?B?5LyK6Jek5rSL5LuL?= Subject: Re: bug#47440: 27.1; Quit/C-g does not interrupt Emacs promptly. Message-ID: References: Date: Sun, 28 Mar 2021 00:13:39 -0400 In-Reply-To: (=?utf-8?B?IuS8iuiXpOa0i+S7iyIncw==?= message of "Sun, 28 Mar 2021 10:26:24 +0900") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-SPAM-INFO: Spam detection results: 0 ALL_TRUSTED -1 Passed through trusted hosts only via SMTP AWL -0.102 Adjusted score from AWL reputation of From: address BAYES_00 -1.9 Bayes spam probability is 0 to 1% DKIM_SIGNED 0.1 Message has a DKIM or DK signature, not necessarily valid DKIM_VALID -0.1 Message has at least one valid DKIM or DK signature DKIM_VALID_AU -0.1 Message has a valid DKIM or DK signature from author's domain X-SPAM-LEVEL: X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 47440 Cc: 47440@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > *** This report is related to the Proof General Issues "Proof General > freezes after I-search #565. *** > I use Proof General Version 4.5-git, Company-Coq. > The bug description is as follows. > I did "I-search" (C-s) then "proof-assert-next-command-interactive" (C-c > C-n), but the proof process got stuck. > So I pressed "Quit" (C-g), however the backtrace did not appear > promptly. > For your information, the backtrace is the following. [...] Could you try to put the following in say ~/tempfile.el (require 'dbus) (dbus-call-method :session "org.freedesktop.Notifications" "/org/freedesktop/Notifications" "org.freedesktop.Notifications" "Notify" :string "Emacs" :uint32 0 :string "/Users/yosukeito/.emacs.d/elpa/company-coq-2020072..." :string "Prover ready! (proof took 44.29s)" :string "" '(:array) '((:dict-entry "urgency" (:variant :byte 1))) :int32 -1) then do `emacs -Q ~/tempfile.el` and in that Emacs do `M-x eval-buffer RET`. This should presumably suffer from the same freeze as you saw with company-coq. Then hit C-g while it's frozen. Does it still fail to interrupt Emacs immediately? Stefan From debbugs-submit-bounces@debbugs.gnu.org Sun Mar 28 03:29:14 2021 Received: (at 47440) by debbugs.gnu.org; 28 Mar 2021 07:29:14 +0000 Received: from localhost ([127.0.0.1]:45352 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lQPrG-00005k-5m for submit@debbugs.gnu.org; Sun, 28 Mar 2021 03:29:14 -0400 Received: from mail-wm1-f51.google.com ([209.85.128.51]:51108) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lQPrE-00005W-A8 for 47440@debbugs.gnu.org; Sun, 28 Mar 2021 03:29:13 -0400 Received: by mail-wm1-f51.google.com with SMTP id g25so5043570wmh.0 for <47440@debbugs.gnu.org>; Sun, 28 Mar 2021 00:29:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=PvV1LQZCTugeP+t5qlhhrhvcUjt37YYrdUTutu7JzLA=; b=gpZbpHhEvd4sLKZ7QzgIBBzBqQC1b9yMQHTGXkJjMsyHgltdNMIkoajql+HyMI6j18 ZTtLkayG7xC7ePhvAPAfIjFxCpC0jn6kgCLPkZSI9vTRFe3P4WbZTuUYiSNTNCuAflJN WikKlS+hNume/p9N1pc/oaa2vG3vSdzmXtGu2Y4TEh8BkkV+NAsH7+dC/C2qhi/jP7Mw RTdtmpfLAjUvupNR2mZmIa6Xqsogs4CxgXalh4iMad+KWfQhC604KI/D77jZaR1vZfTr H5qy8YlB6sij5GRP0MlvXvgVGszlWuZ3YJh61xV8oQPRy/fCZwfEIvGDTuuaS1RcG5d/ Cl9Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=PvV1LQZCTugeP+t5qlhhrhvcUjt37YYrdUTutu7JzLA=; b=XmA1XDjFy7W5BMAHV9heQDFdu51RyhPKV215Oh/5kyvy5VFDgz/2htLyaNZmr/6Vax jxcZz3HaxgIBEIpaQTqiWwuf2Ed6nx+FNE16XOAGIBQZi1Q9SM0WwcFYPihxOX4N3kdD zhM6FvBPaRebOj8RwNdy+WYrnng1nSTVmJzkY6UMod40RqDAjL7ZJfoKClrkQKM5cn0o LBjpQBfuQ4Eh79RRSyEbWEOw5N/NrJEFoE6DIOYgegQUTThckRYMMfVJ46LxH8nii7O1 vQQwxnROC8O6vRjOPmCGL+Wr90HCEoc3HV3ojzNkg9VTrhnfi02oqnE7eVDpKSNx8cYx nGZA== X-Gm-Message-State: AOAM5312J/8q8PRJpKX41Xc1BDGzTVV5uNxyKVHRXctaPTLRiNo7WohK 3zu5qoBENadW1mwhldgbindiB40Kv40OHiUCbFuAze8cUwXNkg== X-Google-Smtp-Source: ABdhPJwOquNixty3XgdxbN0YyIV2+ws2tzc5OFiZaJuyycWJxsbIdhwiwRc5h/fdlRmPlVEY2HWpeQFfsw6pm+xw0Rc= X-Received: by 2002:a7b:c5d2:: with SMTP id n18mr19681922wmk.53.1616916546162; Sun, 28 Mar 2021 00:29:06 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: =?UTF-8?B?5LyK6Jek5rSL5LuL?= Date: Sun, 28 Mar 2021 16:28:54 +0900 Message-ID: Subject: Re: bug#47440: 27.1; Quit/C-g does not interrupt Emacs promptly. To: Stefan Monnier Content-Type: multipart/alternative; boundary="0000000000005d926d05be93b89a" X-Spam-Score: 0.3 (/) X-Debbugs-Envelope-To: 47440 Cc: 47440@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) --0000000000005d926d05be93b89a Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear Stefan, Thanks for your help! I tried as you say, and the result was that I got the message D-Bus error: "Emacs not compiled with dbus support" in the minibuffer. Actually, the freeze did not happen. I mean, the situation seemed to be the same as before entering `M-x eval-buffer RET`. Maybe the word "freeze" was inappropriate. What I wanted to convey is as follows. I did "I-search" (C-s) then "proof-assert-next-command-interactive" (C-c C-n), but the proof process got stuck. Here, "got stuck" means that Emacs did not go out of the proof process for several minutes. During that situation, I could move the cursor but I could not interrupt the proof process by Quit/C-g or tool-bar interrupt. The backtrace that I sent earlier was shown immediately after the proof process was over, say, several minutes after Emacs got stuck. I apologize if my explanation is confusing, since I am not so fluent in English. 2021=E5=B9=B43=E6=9C=8828=E6=97=A5(=E6=97=A5) 13:13 Stefan Monnier : > > *** This report is related to the Proof General Issues "Proof General > > freezes after I-search #565. *** > > > I use Proof General Version 4.5-git, Company-Coq. > > > The bug description is as follows. > > I did "I-search" (C-s) then "proof-assert-next-command-interactive" (C-= c > > C-n), but the proof process got stuck. > > So I pressed "Quit" (C-g), however the backtrace did not appear > > promptly. > > > For your information, the backtrace is the following. > [...] > > Could you try to put the following in say ~/tempfile.el > > (require 'dbus) > (dbus-call-method > :session "org.freedesktop.Notifications" > "/org/freedesktop/Notifications" "org.freedesktop.Notifications" > "Notify" :string "Emacs" :uint32 0 > :string "/Users/yosukeito/.emacs.d/elpa/company-coq-2020072..." > :string "Prover ready! (proof took 44.29s)" > :string "" '(:array) '((:dict-entry "urgency" (:variant :byte 1))) > :int32 -1) > > then do `emacs -Q ~/tempfile.el` and in that Emacs do > `M-x eval-buffer RET`. > > This should presumably suffer from the same freeze as you > saw with company-coq. Then hit C-g while it's frozen. > Does it still fail to interrupt Emacs immediately? > > > Stefan > > --=20 =E4=BC=8A=E8=97=A4=E6=B4=8B=E4=BB=8B 080-5057-6931 glacier345@gmail.com --0000000000005d926d05be93b89a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear Stefan,

Thanks for your help!
I tried as you say, and the result was th= at I got the message
D-Bus error: &quo= t;Emacs not compiled with dbus support"
in the minibuffe= r.
Actually, the freeze did not happen.
I mean, the sit= uation seemed to be the same as before entering `M-x eval-buffer RET`.

Maybe the word "freeze" was inappropriate.
What I wanted to convey is as follows.
I did = "I-search" (C-s) then "proof-assert-next-command-interactive= " (C-c C-n),
but the proof process got stuck.
Here= , "got stuck" means that Emacs did not go out of the proof proces= s for several minutes.
During that situation, I could move the cu= rsor but I could not interrupt the proof process by Quit/C-g or tool-bar in= terrupt.
The backtrace that I sent earlier was shown immediately = after the proof process was over,
say, several minutes after Emac= s got stuck.

I apologize if my explanation is= confusing, since I am not so fluent in English.


2021=E5=B9=B43=E6=9C=8828=E6=97=A5(=E6=97=A5) 13:13 Stefan Monnier <= monnier@iro.umontreal.ca>= ;:
> *** This= report is related to the Proof General Issues "Proof General
> freezes after I-search #565. ***

> I use Proof General Version 4.5-git, Company-Coq.

> The bug description is as follows.
> I did "I-search" (C-s) then "proof-assert-next-command-= interactive" (C-c
> C-n), but the proof process got stuck.
> So I pressed "Quit" (C-g), however the backtrace did not app= ear
> promptly.

> For your information, the backtrace is the following.
[...]

Could you try to put the following in say ~/tempfile.el

=C2=A0 =C2=A0 (require 'dbus)
=C2=A0 =C2=A0 (dbus-call-method
=C2=A0 =C2=A0 =C2=A0:session "org.freedesktop.Notifications"
=C2=A0 =C2=A0 =C2=A0"/org/freedesktop/Notifications" "org.fr= eedesktop.Notifications"
=C2=A0 =C2=A0 =C2=A0"Notify" :string "Emacs" :uint32 0<= br> =C2=A0 =C2=A0 =C2=A0:string "/Users/yosukeito/.emacs.d/elpa/company-co= q-2020072..."
=C2=A0 =C2=A0 =C2=A0:string "Prover ready! (proof took 44.29s)" =C2=A0 =C2=A0 =C2=A0:string "" '(:array) '((:dict-entry &= quot;urgency" (:variant :byte 1)))
=C2=A0 =C2=A0 =C2=A0:int32 -1)

then do `emacs -Q ~/tempfile.el` and in that Emacs do
`M-x eval-buffer RET`.

This should presumably suffer from the same freeze as you
saw with company-coq.=C2=A0 Then hit C-g while it's frozen.
Does it still fail to interrupt Emacs immediately?


=C2=A0 =C2=A0 =C2=A0 =C2=A0 Stefan



--
=E4=BC=8A=E8=97=A4=E6=B4=8B=E4= =BB=8B
080-5057-6931

=
--0000000000005d926d05be93b89a-- From debbugs-submit-bounces@debbugs.gnu.org Sun Mar 28 16:05:16 2021 Received: (at 47440-done) by debbugs.gnu.org; 28 Mar 2021 20:05:16 +0000 Received: from localhost ([127.0.0.1]:47093 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lQber-0008Ic-7Y for submit@debbugs.gnu.org; Sun, 28 Mar 2021 16:05:16 -0400 Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:22204) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lQbeo-0008IK-VX for 47440-done@debbugs.gnu.org; Sun, 28 Mar 2021 16:05:11 -0400 Received: from pmg1.iro.umontreal.ca (localhost.localdomain [127.0.0.1]) by pmg1.iro.umontreal.ca (Proxmox) with ESMTP id 5C2B110022F; Sun, 28 Mar 2021 16:05:05 -0400 (EDT) Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg1.iro.umontreal.ca (Proxmox) with ESMTP id 0FB7C100216; Sun, 28 Mar 2021 16:05:04 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1616961904; bh=K9oGp0bZtK+8lkOG0d+Nf0HDbOPOB37wXx1t+ps24s8=; h=From:To:Cc:Subject:References:Date:In-Reply-To:From; b=fYAuA7RTWt0pmahLL6Fko5I2ML0rT8xyDnKpgbNvltE20bwt/C20CmFQVusfMIXVP eGHBChonyYA6AEDXxKVIDgYSIM07QX3H2dRn6SuVymS68TgaMB3ezRQb+8GY2N8FV9 Uhf6a39KU1h+Zr52Yt1pjwDSCAioi+UsrKU0KLFBzolAnM3HGSeKdUl/H9MnW4dL3t WwiG97EVvlFZd7o9RNkGJxs0oydHCE+RAJkI1/1vQJEiQZaPz7UIkLkJfcJkYnv74K anQS2hGal6xe19mkd1LK+2xvl/AaePxiz62rOU/OyZTaXFUwccJATbTciDyFGyQWM+ 5p32nB1xoa3WQ== Received: from alfajor (unknown [216.154.43.249]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id DBE2C12030A; Sun, 28 Mar 2021 16:05:03 -0400 (EDT) From: Stefan Monnier To: =?utf-8?B?5LyK6Jek5rSL5LuL?= Subject: Re: bug#47440: 27.1; Quit/C-g does not interrupt Emacs promptly. Message-ID: References: Date: Sun, 28 Mar 2021 16:05:03 -0400 In-Reply-To: (=?utf-8?B?IuS8iuiXpOa0i+S7iyIncw==?= message of "Sun, 28 Mar 2021 16:28:54 +0900") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-SPAM-INFO: Spam detection results: 0 ALL_TRUSTED -1 Passed through trusted hosts only via SMTP AWL -0.102 Adjusted score from AWL reputation of From: address BAYES_00 -1.9 Bayes spam probability is 0 to 1% DKIM_SIGNED 0.1 Message has a DKIM or DK signature, not necessarily valid DKIM_VALID -0.1 Message has at least one valid DKIM or DK signature DKIM_VALID_AU -0.1 Message has a valid DKIM or DK signature from author's domain X-SPAM-LEVEL: X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 47440-done Cc: 47440-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > Maybe the word "freeze" was inappropriate. > What I wanted to convey is as follows. > I did "I-search" (C-s) then "proof-assert-next-command-interactive" (C-c > C-n), > but the proof process got stuck. > Here, "got stuck" means that Emacs did not go out of the proof process for > several minutes. > During that situation, I could move the cursor but I could not interrupt > the proof process by Quit/C-g or tool-bar interrupt. I misunderstood what was going on, indeed (the C-g was presumably processed right away as it should and the backtrace you get later is unrelated to the C-g). So I think there's no sign of a bug in Emacs itself here. Actually the backtrace you sent already made it clear since it said "Emacs not compiled with dbus support". I was not paying much attention, it seems, sorry. > I apologize if my explanation is confusing, since I am not so fluent in > English. Your explanation was fine. The confusion was all mine ;-) Stefan From unknown Thu Jun 19 14:05:01 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Mon, 26 Apr 2021 11:24:06 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator