From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Michael Arntzenius Newsgroups: gmane.emacs.bugs Subject: bug#21833: 24.4; desktop-kill, which is interactive, is in kill-emacs-hook Date: Wed, 4 Nov 2015 22:43:17 +0000 Message-ID: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=001a114436028fca2f0523bebcc8 X-Trace: ger.gmane.org 1446678571 32533 80.91.229.3 (4 Nov 2015 23:09:31 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 4 Nov 2015 23:09:31 +0000 (UTC) To: 21833@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Thu Nov 05 00:09:13 2015 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Zu7B2-0002Ah-BM for geb-bug-gnu-emacs@m.gmane.org; Thu, 05 Nov 2015 00:09:12 +0100 Original-Received: from localhost ([::1]:57571 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Zu7B1-0005jE-VF for geb-bug-gnu-emacs@m.gmane.org; Wed, 04 Nov 2015 18:09:11 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:50350) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Zu7Av-0005iv-P7 for bug-gnu-emacs@gnu.org; Wed, 04 Nov 2015 18:09:08 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Zu7At-0002Vl-65 for bug-gnu-emacs@gnu.org; Wed, 04 Nov 2015 18:09:05 -0500 Original-Received: from debbugs.gnu.org ([208.118.235.43]:34878) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Zu7At-0002Vd-2E for bug-gnu-emacs@gnu.org; Wed, 04 Nov 2015 18:09:03 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1Zu7As-00036R-GV for bug-gnu-emacs@gnu.org; Wed, 04 Nov 2015 18:09:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Michael Arntzenius Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 04 Nov 2015 23:09:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 21833 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.144667849811849 (code B ref -1); Wed, 04 Nov 2015 23:09:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 4 Nov 2015 23:08:18 +0000 Original-Received: from localhost ([127.0.0.1]:53817 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Zu7A8-000351-H4 for submit@debbugs.gnu.org; Wed, 04 Nov 2015 18:08:18 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:60702) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Zu6m7-0000pE-0J for submit@debbugs.gnu.org; Wed, 04 Nov 2015 17:43:46 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Zu6m4-0003fr-Bk for submit@debbugs.gnu.org; Wed, 04 Nov 2015 17:43:26 -0500 Original-Received: from lists.gnu.org ([2001:4830:134:3::11]:34901) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Zu6m4-0003fn-8c for submit@debbugs.gnu.org; Wed, 04 Nov 2015 17:43:24 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:42473) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Zu6m1-0003yz-JF for bug-gnu-emacs@gnu.org; Wed, 04 Nov 2015 17:43:24 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Zu6ly-0003db-Vg for bug-gnu-emacs@gnu.org; Wed, 04 Nov 2015 17:43:21 -0500 Original-Received: from mail-wm0-x22d.google.com ([2a00:1450:400c:c09::22d]:35833) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Zu6ly-0003cF-KM for bug-gnu-emacs@gnu.org; Wed, 04 Nov 2015 17:43:18 -0500 Original-Received: by wmll128 with SMTP id l128so126674119wml.0 for ; Wed, 04 Nov 2015 14:43:17 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=ajqbqq4wCU74PLOwnMS4qyrk7YWcC3ffrMPNP+iTBio=; b=ylBGNu7aM5igcX8TQTKLjqfgzsDePXYdX9OSFDuVknXWJXIT5c7LVtDCLNdDv1IK20 M6IGGvPDDwStBWtVnLlMiznZ/7Cjlh8qf2SQCw27v12GDVkZHso9C9G/ogQfL9jtYuBe bHRYBO2/e8bIFYhSadIXx78zp0RuC743nnp6YjtcKGQmTm84GLRpaCeAMFQHj2y+diE4 HttAzUvvZWV6Vtk3W2uNPEnK9aSO/nHXjEAqGo+SsmtG1cmnAneU8j+KXFphfyJEFav6 QJ/rT8w2MTqkdJcJVZEoerkIR0PiC5bwMQdHenDPnfGuvS+tKrncEWh+zqg6lCWeIEY8 dlEQ== X-Received: by 10.28.138.140 with SMTP id m134mr6114380wmd.74.1446676997849; Wed, 04 Nov 2015 14:43:17 -0800 (PST) Original-Received: by 10.27.201.132 with HTTP; Wed, 4 Nov 2015 14:43:17 -0800 (PST) X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Mailman-Approved-At: Wed, 04 Nov 2015 18:08:15 -0500 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 208.118.235.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:108461 Archived-At: --001a114436028fca2f0523bebcc8 Content-Type: text/plain; charset=UTF-8 Recipe: emacs -Q M-x desktop-save-mode C-h v kill-emacs-hook M-x kill-emacs Expected behavior: emacs is killed. Actual behavior: asked "Save desktop? (y or n)" The same behavior occurs if I send emacs SIGTERM. In particular, this behavior occurs if an `emacs --daemon' instance with no running clients is sent SIGTERM, which results in it... not quitting. Sending SIGTERM twice kills it, but this is very idiosyncratic behavior. In GNU Emacs 24.4.1 (x86_64-pc-linux-gnu, GTK+ Version 3.14.9) of 2015-03-21 on kissel, modified by Debian Windowing system distributor `The X.Org Foundation', version 11.0.11701000 System Description: Ubuntu 15.04 Configured using: `configure --build x86_64-linux-gnu --prefix=/usr --sharedstatedir=/var/lib --libexecdir=/usr/lib --localstatedir=/var/lib --infodir=/usr/share/info --mandir=/usr/share/man --with-pop=yes --enable-locallisppath=/etc/emacs24:/etc/emacs:/usr/local/share/emacs/24.4/site-lisp:/usr/local/share/emacs/site-lisp:/usr/share/emacs/24.4/site-lisp:/usr/share/emacs/site-lisp --build x86_64-linux-gnu --prefix=/usr --sharedstatedir=/var/lib --libexecdir=/usr/lib --localstatedir=/var/lib --infodir=/usr/share/info --mandir=/usr/share/man --with-pop=yes --enable-locallisppath=/etc/emacs24:/etc/emacs:/usr/local/share/emacs/24.4/site-lisp:/usr/local/share/emacs/site-lisp:/usr/share/emacs/24.4/site-lisp:/usr/share/emacs/site-lisp --with-x=yes --with-x-toolkit=gtk3 --with-toolkit-scroll-bars 'CFLAGS=-g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall' CPPFLAGS=-D_FORTIFY_SOURCE=2 'LDFLAGS=-Wl,-Bsymbolic-functions -Wl,-z,relro'' Important settings: value of $LANG: en_US.UTF-8 locale-coding-system: utf-8-unix Major mode: Emacs-Lisp Minor modes in effect: shell-dirtrack-mode: t paredit-mode: t rainbow-delimiters-mode: t whitespace-mode: t which-function-mode: t iswitchb-mode: t desktop-save-mode: t tooltip-mode: t mouse-wheel-mode: t file-name-shadow-mode: t global-font-lock-mode: t font-lock-mode: t auto-composition-mode: t auto-encryption-mode: t auto-compression-mode: t temp-buffer-resize-mode: t column-number-mode: t line-number-mode: t Recent input: M-x r e p o r t e - - e m C-g M-x s u m m C-g M-x r e p o r t - e m d e s k t o p SPC M-b k i l l - C-g C-h f d e s k t o p - k i l l C-h v d k i l l - e m h o C-' C-n C-n C-e C-a C-e C-M-' C-; r j e C-; C-f . e m / i n i C-a C-s C-g C-; r s e C-e C-p C-n C-s ? e C-a C-; r j e C-e C-; e C-; C-g C-a C-e C-; C-e C-; r j e C-a C-e C-r s e t - r e g i s t C-e C-; r i p C-/ C-a C-e C-; C-s M-x r e p o r t - e m Recent messages: '(desktop-load-locked-desktop t)" Mark saved where search started jump-to-register: Register doesn't contain a buffer position or configuration kmacro-call-macro: No kbd macro has been defined C-x C-g is undefined (file . "~/.emacs.d/init.el") Mark saved where search started Mark set Undo! (No changes need to be saved) Load-path shadows: /home/rntz/.emacs.d/elpa/haml-mode-20141213.920/haml-mode hides ~/.emacs.d/elisp/haml-mode /home/rntz/.emacs.d/elpa/sass-mode-20141219.324/sass-mode hides ~/.emacs.d/elisp/sass-mode /home/rntz/.emacs.d/elpa/yaml-mode-20141125.37/yaml-mode hides ~/.emacs.d/elisp/yaml-mode /home/rntz/.emacs.d/elpa/markdown-mode-20150121.1229/markdown-mode hides ~/.emacs.d/elisp/markdown-mode /home/rntz/.emacs.d/elpa/paredit-20150217.713/paredit hides ~/.emacs.d/elisp/paredit /usr/share/emacs/24.4/site-lisp/debian-startup hides /usr/share/emacs/site-lisp/debian-startup ~/.emacs.d/elisp/loaddefs hides /usr/share/emacs/24.4/lisp/loaddefs /usr/share/emacs24/site-lisp/dictionaries-common/flyspell hides /usr/share/emacs/24.4/lisp/textmodes/flyspell /usr/share/emacs24/site-lisp/dictionaries-common/ispell hides /usr/share/emacs/24.4/lisp/textmodes/ispell /home/rntz/.emacs.d/elpa/prolog-1.22/prolog hides /usr/share/emacs/24.4/lisp/progmodes/prolog Features: (shadow sort mail-extr misearch multi-isearch eieio-opt emacsbug message rfc822 mml mml-sec mm-decode mm-bodies mm-encode mail-parse rfc2231 mailabbrev gmm-utils mailheader sendmail rfc2047 rfc2045 ietf-drums mail-utils add-log server sml-mode julia-mode ert debug sgml-mode tex-mode rst sass-mode haml-mode js css-mode ruby-mode simple-tabs elm-mode elm-map elm-preview elm-compile elm-repl elm-util elm-font-lock elm-indentation elm-indent elm-string js3-mode js3-parse js3-browse js3-highlight js3-ast js3-messages js3-scan js3-util js3-vars js3-externs python json cider-mode cider-eldoc eldoc cider-interaction cider-doc org-table cider-test cider-stacktrace cider-client nrepl-client queue cider-util ewoc clojure-mode conf-mode markdown-mode slime arc-mode archive-mode hyperspec agda2-mode derived agda2-queue agda2-abbrevs skeleton agda2-highlight agda2 agda-input quail help-mode annotation eri pp rust-mode cc-langs cc-mode cc-fonts cc-guess cc-menus cc-cmds lua-mode rx make-mode utop utop-minor-mode caml tuareg_indent tuareg speedbar sb-image ezimage dframe caml-help caml-types caml-emacs scheme racket-mode racket-collection tq ido racket-profile racket-edit hideshow racket-complete racket-repl racket-util racket-common racket-indent racket-font-lock racket-keywords-and-builtins thingatpt racket-custom dash haskell-indent superword subword haskell-font-lock inf-haskell haskell-cabal haskell-utils haskell-decl-scan haskell-mode haskell-string haskell-sort-imports haskell-align-imports haskell-compat haskell-complete-module flymake etags compile dabbrev haskell-customize vc-git org-element org-rmail org-mhe org-irc org-info org-gnus org-docview doc-view jka-compr image-mode org-bibtex bibtex org-bbdb org-w3m org org-macro org-footnote org-pcomplete org-list org-faces org-entities noutline outline easy-mmode org-version ob-emacs-lisp ob ob-tangle ob-ref ob-lob ob-table ob-exp org-src ob-keys ob-comint ob-core ob-eval org-compat org-macs org-loaddefs find-func cal-menu calendar cal-loaddefs dired-aux sh-script smie executable tramp-cache tramp-sh tramp tramp-compat auth-source eieio eieio-core gnus-util mm-util mail-prsvr password-cache tramp-loaddefs trampver shell pcomplete comint ring format-spec buffer-rename-relative paredit rainbow-delimiters whitespace which-func imenu paren time-date iswitchb icomplete hl-line desktop frameset cus-start cus-load ansi-color cstuff cc-styles cc-align cc-engine cc-vars cc-defs browse-url dired-details+ dired-details dired-x wdired dired dired-sort-map ls-lisp byte-opt bytecomp byte-compile cconv mode-line-host-name advice autoload help-fns lisp-mnt ctags-autoloads dot-mode-autoloads edmacro kmacro js3-mode-autoloads git-commit-mode-autoloads pkg-info-autoloads epl-autoloads prolog-autoloads queue-autoloads s-autoloads info easymenu slime-autoloads stupid-indent-mode-autoloads cl-macs package epg-config proof-site proof-autoloads pg-vars mmm-auto mmm-vars mmm-compat cl gv cl-loaddefs cl-lib tooltip electric uniquify ediff-hook vc-hooks lisp-float-type mwheel x-win x-dnd tool-bar dnd fontset image regexp-opt fringe tabulated-list newcomment lisp-mode prog-mode register page menu-bar rfn-eshadow timer select scroll-bar mouse jit-lock font-lock syntax facemenu font-core frame cham georgian utf-8-lang misc-lang vietnamese tibetan thai tai-viet lao korean japanese hebrew greek romanian slovak czech european ethiopic indian cyrillic chinese case-table epa-hook jka-cmpr-hook help simple abbrev minibuffer 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 make-network-process dbusbind gfilenotify dynamic-setting system-font-setting font-render-setting move-toolbar gtk x-toolkit x multi-tty emacs) Memory information: ((conses 16 685833 56003) (symbols 48 53292 0) (miscs 40 13732 2490) (strings 32 149124 24011) (string-bytes 1 4249422) (vectors 16 64105) (vector-slots 8 2219937 150055) (floats 8 262 561) (intervals 56 25805 0) (buffers 960 440) (heap 1024 83840 2089)) --001a114436028fca2f0523bebcc8 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Recipe:

emacs -Q
M-x desktop-save-mode
C-h v = kill-emacs-hook
M-x kill-emacs

Expected behavior: emacs is killed= .
Actual behavior: asked "Save desktop? (y or n)"

The s= ame behavior occurs if I send emacs SIGTERM. In particular, this
behavio= r occurs if an `emacs --daemon' instance with no running clients
is = sent SIGTERM, which results in it... not quitting. Sending SIGTERM
twice= kills it, but this is very idiosyncratic behavior.

In GNU Emacs 24.= 4.1 (x86_64-pc-linux-gnu, GTK+ Version 3.14.9)
=C2=A0of 2015-03-21 on ki= ssel, modified by Debian
Windowing system distributor `The X.Org Foundat= ion', version 11.0.11701000
System Description:=C2=A0=C2=A0=C2=A0 Ub= untu 15.04

Configured using:
=C2=A0`configure --build x86_64-linu= x-gnu --prefix=3D/usr
=C2=A0--sharedstatedir=3D/var/lib --libexecdir=3D/= usr/lib
=C2=A0--localstatedir=3D/var/lib --infodir=3D/usr/share/info
= =C2=A0--mandir=3D/usr/share/man --with-pop=3Dyes
=C2=A0--enable-locallis= ppath=3D/etc/emacs24:/etc/emacs:/usr/local/share/emacs/24.4/site-lisp:/usr/= local/share/emacs/site-lisp:/usr/share/emacs/24.4/site-lisp:/usr/share/emac= s/site-lisp
=C2=A0--build x86_64-linux-gnu --prefix=3D/usr --sharedstate= dir=3D/var/lib
=C2=A0--libexecdir=3D/usr/lib --localstatedir=3D/var/lib<= br>=C2=A0--infodir=3D/usr/share/info --mandir=3D/usr/share/man --with-pop= =3Dyes
=C2=A0--enable-locallisppath=3D/etc/emacs24:/etc/emacs:/usr/local= /share/emacs/24.4/site-lisp:/usr/local/share/emacs/site-lisp:/usr/share/ema= cs/24.4/site-lisp:/usr/share/emacs/site-lisp
=C2=A0--with-x=3Dyes --with= -x-toolkit=3Dgtk3 --with-toolkit-scroll-bars
=C2=A0'CFLAGS=3D-g -O2 = -fstack-protector-strong -Wformat
=C2=A0-Werror=3Dformat-security -Wall&= #39; CPPFLAGS=3D-D_FORTIFY_SOURCE=3D2
=C2=A0'LDFLAGS=3D-Wl,-Bsymboli= c-functions -Wl,-z,relro''

Important settings:
=C2=A0 val= ue of $LANG: en_US.UTF-8
=C2=A0 locale-coding-system: utf-8-unix

= Major mode: Emacs-Lisp

Minor modes in effect:
=C2=A0 shell-dirtra= ck-mode: t
=C2=A0 paredit-mode: t
=C2=A0 rainbow-delimiters-mode: t=C2=A0 whitespace-mode: t
=C2=A0 which-function-mode: t
=C2=A0 iswi= tchb-mode: t
=C2=A0 desktop-save-mode: t
=C2=A0 tooltip-mode: t
= =C2=A0 mouse-wheel-mode: t
=C2=A0 file-name-shadow-mode: t
=C2=A0 glo= bal-font-lock-mode: t
=C2=A0 font-lock-mode: t
=C2=A0 auto-compositio= n-mode: t
=C2=A0 auto-encryption-mode: t
=C2=A0 auto-compression-mode= : t
=C2=A0 temp-buffer-resize-mode: t
=C2=A0 column-number-mode: t=C2=A0 line-number-mode: t

Recent input:
M-x r e p o r t e - <= ;backspace> <backspace> - e m <tab>
<return> C-g M= -x s u m m <tab> C-g M-x r e p o r t
- e m <tab> <return= > d e s k t o p SPC <backspace>
M-b k i l l - C-g C-h f d e s = k t o p - k i l l <return>
C-h v d <backspace> k i l l - e = m <tab> h o <tab> <return>
C-' C-n C-n C-e C-a C-= e C-M-' C-; r j e C-; C-f . e
m <tab> / i n i <tab> <= ;return> C-a C-s C-g C-; r s
e C-e C-p C-n C-s ? e C-a C-; r j e C-e= C-; e C-; C-g
C-a C-e C-; C-e C-; r j e C-a C-e C-r s e t - r e g
= i s t C-e C-; r i p C-/ C-a C-e C-; C-s M-x r e p o
r t - e m <tab&g= t; <return>

Recent messages:
=C2=A0'(desktop-load-locke= d-desktop t)"
Mark saved where search started
jump-to-register: = Register doesn't contain a buffer position or configuration
kmacro-c= all-macro: No kbd macro has been defined
C-x C-g is undefined
(file .= "~/.emacs.d/init.el")
Mark saved where search started
Mark= set
Undo!
(No changes need to be saved)

Load-path shadows:/home/rntz/.emacs.d/elpa/haml-mode-20141213.920/haml-mode hides ~/.emacs.d= /elisp/haml-mode
/home/rntz/.emacs.d/elpa/sass-mode-20141219.324/sass-mo= de hides ~/.emacs.d/elisp/sass-mode
/home/rntz/.emacs.d/elpa/yaml-mode-2= 0141125.37/yaml-mode hides ~/.emacs.d/elisp/yaml-mode
/home/rntz/.emacs.= d/elpa/markdown-mode-20150121.1229/markdown-mode hides ~/.emacs.d/elisp/mar= kdown-mode
/home/rntz/.emacs.d/elpa/paredit-20150217.713/paredit hides ~= /.emacs.d/elisp/paredit
/usr/share/emacs/24.4/site-lisp/debian-startup h= ides /usr/share/emacs/site-lisp/debian-startup
~/.emacs.d/elisp/loaddefs= hides /usr/share/emacs/24.4/lisp/loaddefs
/usr/share/emacs24/site-lisp/= dictionaries-common/flyspell hides /usr/share/emacs/24.4/lisp/textmodes/fly= spell
/usr/share/emacs24/site-lisp/dictionaries-common/ispell hides /usr= /share/emacs/24.4/lisp/textmodes/ispell
/home/rntz/.emacs.d/elpa/prolog-= 1.22/prolog hides /usr/share/emacs/24.4/lisp/progmodes/prolog

Featur= es:
(shadow sort mail-extr misearch multi-isearch eieio-opt emacsbug mes= sage
rfc822 mml mml-sec mm-decode mm-bodies mm-encode mail-parse rfc2231=
mailabbrev gmm-utils mailheader sendmail rfc2047 rfc2045 ietf-drums
= mail-utils add-log server sml-mode julia-mode ert debug sgml-mode
tex-mo= de rst sass-mode haml-mode js css-mode ruby-mode simple-tabs
elm-mode el= m-map elm-preview elm-compile elm-repl elm-util elm-font-lock
elm-indent= ation elm-indent elm-string js3-mode js3-parse js3-browse
js3-highlight = js3-ast js3-messages js3-scan js3-util js3-vars
js3-externs python json = cider-mode cider-eldoc eldoc cider-interaction
cider-doc org-table cider= -test cider-stacktrace cider-client
nrepl-client queue cider-util ewoc c= lojure-mode conf-mode markdown-mode
slime arc-mode archive-mode hyperspe= c agda2-mode derived agda2-queue
agda2-abbrevs skeleton agda2-highlight = agda2 agda-input quail help-mode
annotation eri pp rust-mode cc-langs cc= -mode cc-fonts cc-guess cc-menus
cc-cmds lua-mode rx make-mode utop utop= -minor-mode caml tuareg_indent
tuareg speedbar sb-image ezimage dframe c= aml-help caml-types caml-emacs
scheme racket-mode racket-collection tq i= do racket-profile racket-edit
hideshow racket-complete racket-repl racke= t-util racket-common
racket-indent racket-font-lock racket-keywords-and-= builtins thingatpt
racket-custom dash haskell-indent superword subword h= askell-font-lock
inf-haskell haskell-cabal haskell-utils haskell-decl-sc= an haskell-mode
haskell-string haskell-sort-imports haskell-align-import= s haskell-compat
haskell-complete-module flymake etags compile dabbrev h= askell-customize
vc-git org-element org-rmail org-mhe org-irc org-info o= rg-gnus
org-docview doc-view jka-compr image-mode org-bibtex bibtex org-= bbdb
org-w3m org org-macro org-footnote org-pcomplete org-list org-faces=
org-entities noutline outline easy-mmode org-version ob-emacs-lisp obob-tangle ob-ref ob-lob ob-table ob-exp org-src ob-keys ob-comint
ob-c= ore ob-eval org-compat org-macs org-loaddefs find-func cal-menu
calendar= cal-loaddefs dired-aux sh-script smie executable tramp-cache
tramp-sh t= ramp tramp-compat auth-source eieio eieio-core gnus-util
mm-util mail-pr= svr password-cache tramp-loaddefs trampver shell
pcomplete comint ring f= ormat-spec buffer-rename-relative paredit
rainbow-delimiters whitespace = which-func imenu paren time-date iswitchb
icomplete hl-line desktop fram= eset cus-start cus-load ansi-color cstuff
cc-styles cc-align cc-engine c= c-vars cc-defs browse-url dired-details+
dired-details dired-x wdired di= red dired-sort-map ls-lisp byte-opt
bytecomp byte-compile cconv mode-lin= e-host-name advice autoload help-fns
lisp-mnt ctags-autoloads dot-mode-a= utoloads edmacro kmacro
js3-mode-autoloads git-commit-mode-autoloads pkg= -info-autoloads
epl-autoloads prolog-autoloads queue-autoloads s-autoloa= ds info easymenu
slime-autoloads stupid-indent-mode-autoloads cl-macs pa= ckage epg-config
proof-site proof-autoloads pg-vars mmm-auto mmm-vars mm= m-compat cl gv
cl-loaddefs cl-lib tooltip electric uniquify ediff-hook v= c-hooks
lisp-float-type mwheel x-win x-dnd tool-bar dnd fontset image re= gexp-opt
fringe tabulated-list newcomment lisp-mode prog-mode register p= age
menu-bar rfn-eshadow timer select scroll-bar mouse jit-lock font-loc= k
syntax facemenu font-core frame cham georgian utf-8-lang misc-lang
= vietnamese tibetan thai tai-viet lao korean japanese hebrew greek
romani= an slovak czech european ethiopic indian cyrillic chinese
case-table epa= -hook jka-cmpr-hook help simple abbrev minibuffer nadvice
loaddefs butto= n faces cus-face macroexp files text-properties overlay
sha1 md5 base64 = format env code-pages mule custom widget
hashtable-print-readable backqu= ote make-network-process dbusbind
gfilenotify dynamic-setting system-fon= t-setting font-render-setting
move-toolbar gtk x-toolkit x multi-tty ema= cs)

Memory information:
((conses 16 685833 56003)
=C2=A0 (symb= ols 48 53292 0)
=C2=A0 (miscs 40 13732 2490)
=C2=A0 (strings 32 14912= 4 24011)
=C2=A0 (string-bytes 1 4249422)
=C2=A0 (vectors 16 64105)=C2=A0 (vector-slots 8 2219937 150055)
=C2=A0 (floats 8 262 561)
=C2= =A0 (intervals 56 25805 0)
=C2=A0 (buffers 960 440)
=C2=A0 (heap 1024= 83840 2089))
--001a114436028fca2f0523bebcc8--