From unknown Sun Jun 22 04:11:47 2025 X-Loop: help-debbugs@gnu.org Subject: bug#47440: 27.1; Quit/C-g does not interrupt Emacs promptly. Resent-From: =?UTF-8?Q?=E4=BC=8A=E8=97=A4=E6=B4=8B=E4=BB=8B?= Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 28 Mar 2021 01:29:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 47440 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: 47440@debbugs.gnu.org X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.161689488829330 (code B ref -1); Sun, 28 Mar 2021 01:29:02 +0000 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?Q?=E4=BC=8A=E8=97=A4=E6=B4=8B=E4=BB=8B?= Date: Sun, 28 Mar 2021 10:26:24 +0900 Message-ID: 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-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 unknown Sun Jun 22 04:11:47 2025 X-Loop: help-debbugs@gnu.org Subject: bug#47440: 27.1; Quit/C-g does not interrupt Emacs promptly. Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 28 Mar 2021 04:14:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 47440 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: =?UTF-8?Q?=E4=BC=8A=E8=97=A4=E6=B4=8B=E4=BB=8B?= Cc: 47440@debbugs.gnu.org Received: via spool by 47440-submit@debbugs.gnu.org id=B47440.161690483212027 (code B ref 47440); Sun, 28 Mar 2021 04:14:01 +0000 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 Message-ID: References: Date: Sun, 28 Mar 2021 00:13:39 -0400 In-Reply-To: ("=?UTF-8?Q?=E4=BC=8A=E8=97=A4=E6=B4=8B=E4=BB=8B?="'s 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-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 unknown Sun Jun 22 04:11:47 2025 X-Loop: help-debbugs@gnu.org Subject: bug#47440: 27.1; Quit/C-g does not interrupt Emacs promptly. Resent-From: =?UTF-8?Q?=E4=BC=8A=E8=97=A4=E6=B4=8B=E4=BB=8B?= Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 28 Mar 2021 07:30:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 47440 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Stefan Monnier Cc: 47440@debbugs.gnu.org Received: via spool by 47440-submit@debbugs.gnu.org id=B47440.1616916554360 (code B ref 47440); Sun, 28 Mar 2021 07:30:02 +0000 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?Q?=E4=BC=8A=E8=97=A4=E6=B4=8B=E4=BB=8B?= Date: Sun, 28 Mar 2021 16:28:54 +0900 Message-ID: Content-Type: multipart/alternative; boundary="0000000000005d926d05be93b89a" X-Spam-Score: 0.3 (/) 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 unknown Sun Jun 22 04:11:47 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: =?UTF-8?Q?=E4=BC=8A=E8=97=A4=E6=B4=8B=E4=BB=8B?= Subject: bug#47440: closed (Re: bug#47440: 27.1; Quit/C-g does not interrupt Emacs promptly.) Message-ID: References: X-Gnu-PR-Message: they-closed 47440 X-Gnu-PR-Package: emacs Reply-To: 47440@debbugs.gnu.org Date: Sun, 28 Mar 2021 20:06:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1616961962-31975-1" This is a multi-part message in MIME format... ------------=_1616961962-31975-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #47440: 27.1; Quit/C-g does not interrupt Emacs promptly. which was filed against the emacs package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 47440@debbugs.gnu.org. --=20 47440: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D47440 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1616961962-31975-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit 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 ------------=_1616961962-31975-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit 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-- ------------=_1616961962-31975-1--