From debbugs-submit-bounces@debbugs.gnu.org Thu May 14 05:56:12 2015 Received: (at submit) by debbugs.gnu.org; 14 May 2015 09:56:13 +0000 Received: from localhost ([127.0.0.1]:44424 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Ysps9-0002l7-IK for submit@debbugs.gnu.org; Thu, 14 May 2015 05:56:12 -0400 Received: from eggs.gnu.org ([208.118.235.92]:50372) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Ysps3-0002kY-QQ for submit@debbugs.gnu.org; Thu, 14 May 2015 05:56:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Yspru-0006sV-Ou for submit@debbugs.gnu.org; Thu, 14 May 2015 05:55:58 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,FREEMAIL_FROM, T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:58991) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Yspru-0006sR-MJ for submit@debbugs.gnu.org; Thu, 14 May 2015 05:55:54 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:35628) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Ysprq-0007O2-Iy for bug-gnu-emacs@gnu.org; Thu, 14 May 2015 05:55:54 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Ysprm-0006j6-6o for bug-gnu-emacs@gnu.org; Thu, 14 May 2015 05:55:50 -0400 Received: from mail-wg0-x235.google.com ([2a00:1450:400c:c00::235]:35497) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Ysprl-0006hR-0N for bug-gnu-emacs@gnu.org; Thu, 14 May 2015 05:55:46 -0400 Received: by wgnd10 with SMTP id d10so67193194wgn.2 for ; Thu, 14 May 2015 02:55:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:subject:date:message-id:mime-version:content-type :content-transfer-encoding; bh=jKiJve1NgcIr3OFasZdBD0fOnlMH6RrLf5GBf22MdWk=; b=MEqjSqbY7l0KPxrC+4VPmJ4hEi+laZU9LUl0X9wV6EveDFekEtkJex4Y3xRqs/NlLw fs+PfNgMZFPYk5D5xJ6JChZ6FX2ubgDSMcJaYKCQ3JdoRNWEFJZfslUQciI78fyyAhWd kP1Ew67/Ch6lK+mhumg48IWU24p77Vq+chi+ssiNi+sCGGZl5kWb1AuosNYUd93ruk2h r3y1tzkar56bJmMzl8uXFpLnvRhzo0dKlIOHpSstzWHJdEbKA2vMcB4OEjBli+onX8ka ceS74y0XQp+1ht35fRHD6jWrvKAPbMYoYUuLjcML3ycmO1L78hw8trzxNnljvY15wNcB Hbzg== X-Received: by 10.180.106.195 with SMTP id gw3mr22500948wib.25.1431597343915; Thu, 14 May 2015 02:55:43 -0700 (PDT) Received: from wvxvvw-laptop (bzq-79-180-129-17.red.bezeqint.net. [79.180.129.17]) by mx.google.com with ESMTPSA id ha4sm12441611wib.0.2015.05.14.02.55.41 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 14 May 2015 02:55:43 -0700 (PDT) From: Oleg Sivokon To: bug-gnu-emacs@gnu.org Subject: 25.0.50; Colon should send input in Prolog mode Date: Thu, 14 May 2015 12:54:02 +0300 Message-ID: <87y4kr1o3p.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain Content-Transfer-Encoding: quoted-printable 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-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.0 (----) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 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: -4.0 (----) Hello, The problem is as follows: when SWI Prolog's prompt is answered with a colon (a request for more solutions to the goal) will print other solutins and will wait for more input from user. Emacs will only send input upon pressing RET, but SWI Prolog will treat this as sending two inputs: 1) generate next solution, 2) terminate solution generation. This leads, in practice, to that at most two solutions for any goal are generated. Solving this isn't as easy as just modifying the behavior of typing `;'. Colons can appear (and do so very often) in Prolog code. Besides, `commit-send-input' seems to send RET anyway, so fixing this would require more knowledge of the process I/O than I currently have. This is observed with SWI versions 6.6.6 and 7.1.15 on Fedora WS 21. In GNU Emacs 25.0.50.1 (x86_64-unknown-linux-gnu, GTK+ Version 3.14.12) of 2015-05-03 on wvxvvw-laptop Windowing system distributor `Fedora Project', version 11.0.11603000 System Description: Fedora release 21 (Twenty One) Configured features: XPM JPEG TIFF GIF PNG RSVG IMAGEMAGICK SOUND GPM DBUS GCONF GSETTINGS NOTIFY ACL LIBSELINUX GNUTLS LIBXML2 FREETYPE M17N_FLT LIBOTF XFT ZLIB Important settings: value of $LANG: en_US.UTF-8 locale-coding-system: utf-8-unix Major mode: Emacs-Lisp Minor modes in effect: semantic-minor-modes-format: ((:eval (if (or semantic-highlight-edits-mod= e semantic-show-unmatched-syntax-mode) S))) magit-auto-revert-mode: t diff-auto-refine-mode: t global-edit-server-edit-mode: t ido-everywhere: t recentf-mode: t shell-dirtrack-mode: t global-auto-complete-mode: t auto-complete-mode: t global-undo-tree-mode: t undo-tree-mode: t global-hl-line-mode: t erc-list-mode: t erc-menu-mode: t erc-autojoin-mode: t erc-ring-mode: t erc-networks-mode: t erc-pcomplete-mode: t erc-track-mode: t erc-track-minor-mode: t erc-match-mode: t erc-button-mode: t erc-fill-mode: t erc-stamp-mode: t erc-netsplit-mode: t erc-irccontrols-mode: t erc-noncommands-mode: t erc-move-to-prompt-mode: t erc-readonly-mode: t jabber-activity-mode: t display-time-mode: t tooltip-mode: t global-eldoc-mode: t electric-indent-mode: t mouse-wheel-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 line-number-mode: t Recent messages: Making completion list... [2 times] Type "q" to restore previous buffer. You can run the command `describe-variable' with C-h v Type "q" to restore previous buffer. mouse-2, RET: find variable's definition uncompressing prolog.el.gz...done ac-comphist-deserialize: (((call . [2 0 0 0]) (std . [1 0 0]) (log . [4 0 0= ]) (console . [4 0 0 0 0 0 0]) (concat . [1 0 0 0 0 0]) (null . [1 0 0 0]) = (shift . [1 0 0 0 0]) (arguments . [2 0 0 0 0 0 0 0 0]) (apply . [3 0 0 0 0= ]) (slice . [2 0 0 0 0]) (args . [4 0 0 0]) (curry . [1 0 0 0 0]) (sqdiff .= [1 0 0 0 0 0]) (map . [1 0 0]) (avg . [1 0 0]) (reduce . [4 0 0 0 0 0]) (s= um . [3 0 0]) (data . [7 0 0 0]) (values . [2 0 0 0 0 0]) (var . [3 0 0]) (= function . [7 0 0 0 0 0 0 0]) (symbol-plist . [0 0 0 0 0 0 0 1 0 0 0 0]) (r= eturn . [8 0 0 0 0 0]) (:finally . [2 0 0 0 0 0 0 0]) (rec . [1 0 0]) (:the= n . [2 0 0 0 0]) (:=3D . [2 0]) (:below . [2 0 0 0 0 0]) (:for . [6 0 0 0])= (loop . [4 0 0 0]) (otherwise . [1 0 0 0 0 0 0 0 0]) (or . [2 0]) (cl-case= . [1 0 0 0 0 0 0]) (format . [4 0 0 0 0 0]) (desc . [3 0 0 0]) (path . [6 = 0 0 0]) (defun . [5 0 0 0 0]) (wvxvw . [0 0 0 1 0]) (browse-url . [0 0 0 0 = 0 0 0 0 0 1]) (org- . [1 0 0 0]) (win-vm . [1 0 0 0 0 0]) (help . [1 0 0 0]= ) (gl . [1 0]) (1:10 . [1 0 0 0]) (mpg . [2 0 0]) (objects . [1 0 0 0 0 0 0= ]) (require . [2 0 0 0 0 0 0]) (if . [1 0]) (result . [1 0 0 0 0 0]) (facto= rial . [0 0 0 1 0 0 0 0 0]) (:upto . [3 0 0 0 0]) (binom . [2 0 0 0 0]) (le= ngth . [2 0 0 2 0 0]) (:collect . [1 0 0 0 0 1 0 0]) (cons . [2 0 0 0]) (ex= pt . [5 0 0 0]) (len . [1 0 0]) (assignment-11.1.b . [1 0 0 0 0 0 0 0 0 0 0= 0 0 0 0 0 0]) (coerce . [2 0 0 0 0 0]) (float . [2 0 0 0 0]) (1- . [1 0]) = (floor . [2 0 0 0 0]) (let . [1 0 0]) (list . [1 0 0 0]) (1+ . [1 0]) (let*= . [1 0 0 0]) (get . [1 0 0]) (custom-type . [1 0 0 0 0 0 0 0 0 0 0]) (stri= ng-to-number . [0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0]) (details . [1 0 0 0 0 0 0= ]) (set . [1 0 0]) (remove . [1 0 0 0 0 0]) (load-path . [1 0 0 0 0 0 0 0 0= ]))) Making completion list... [4 times] Quit Making completion list... Load-path shadows: /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-presence hides /usr/local/sh= are/emacs/site-lisp/jabber-presence /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-browse hides /usr/local/shar= e/emacs/site-lisp/jabber-browse /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-ahc-presence hides /usr/loca= l/share/emacs/site-lisp/jabber-ahc-presence /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-avatar hides /usr/local/shar= e/emacs/site-lisp/jabber-avatar /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-compose hides /usr/local/sha= re/emacs/site-lisp/jabber-compose /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-private hides /usr/local/sha= re/emacs/site-lisp/jabber-private /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-disco hides /usr/local/share= /emacs/site-lisp/jabber-disco /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-modeline hides /usr/local/sh= are/emacs/site-lisp/jabber-modeline /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-keepalive hides /usr/local/s= hare/emacs/site-lisp/jabber-keepalive /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-autoloads hides /usr/local/s= hare/emacs/site-lisp/jabber-autoloads /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-ratpoison hides /usr/local/s= hare/emacs/site-lisp/jabber-ratpoison /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-sawfish hides /usr/local/sha= re/emacs/site-lisp/jabber-sawfish /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-logon hides /usr/local/share= /emacs/site-lisp/jabber-logon /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-activity hides /usr/local/sh= are/emacs/site-lisp/jabber-activity /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-watch hides /usr/local/share= /emacs/site-lisp/jabber-watch /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-muc-nick-completion hides /u= sr/local/share/emacs/site-lisp/jabber-muc-nick-completion /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-ft-common hides /usr/local/s= hare/emacs/site-lisp/jabber-ft-common /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-conn hides /usr/local/share/= emacs/site-lisp/jabber-conn /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-ourversion hides /usr/local/= share/emacs/site-lisp/jabber-ourversion /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-xml hides /usr/local/share/e= macs/site-lisp/jabber-xml /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-osd hides /usr/local/share/e= macs/site-lisp/jabber-osd /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-ahc hides /usr/local/share/e= macs/site-lisp/jabber-ahc /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-events hides /usr/local/shar= e/emacs/site-lisp/jabber-events /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-si-client hides /usr/local/s= hare/emacs/site-lisp/jabber-si-client /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-vcard hides /usr/local/share= /emacs/site-lisp/jabber-vcard /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-bookmarks hides /usr/local/s= hare/emacs/site-lisp/jabber-bookmarks /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-iq hides /usr/local/share/em= acs/site-lisp/jabber-iq /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-history hides /usr/local/sha= re/emacs/site-lisp/jabber-history /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/fsm hides /usr/local/share/emacs/si= te-lisp/fsm /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-chat hides /usr/local/share/= emacs/site-lisp/jabber-chat /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-ft-client hides /usr/local/s= hare/emacs/site-lisp/jabber-ft-client /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-awesome hides /usr/local/sha= re/emacs/site-lisp/jabber-awesome /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-chatstates hides /usr/local/= share/emacs/site-lisp/jabber-chatstates /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-vcard-avatars hides /usr/loc= al/share/emacs/site-lisp/jabber-vcard-avatars /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-search hides /usr/local/shar= e/emacs/site-lisp/jabber-search /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-chatbuffer hides /usr/local/= share/emacs/site-lisp/jabber-chatbuffer /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-truncate hides /usr/local/sh= are/emacs/site-lisp/jabber-truncate /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-festival hides /usr/local/sh= are/emacs/site-lisp/jabber-festival /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-feature-neg hides /usr/local= /share/emacs/site-lisp/jabber-feature-neg /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-register hides /usr/local/sh= are/emacs/site-lisp/jabber-register /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-version hides /usr/local/sha= re/emacs/site-lisp/jabber-version /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-socks5 hides /usr/local/shar= e/emacs/site-lisp/jabber-socks5 /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-si-server hides /usr/local/s= hare/emacs/site-lisp/jabber-si-server /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-wmii hides /usr/local/share/= emacs/site-lisp/jabber-wmii /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-si-common hides /usr/local/s= hare/emacs/site-lisp/jabber-si-common /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/srv hides /usr/local/share/emacs/si= te-lisp/srv /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber hides /usr/local/share/emacs= /site-lisp/jabber /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-ft-server hides /usr/local/s= hare/emacs/site-lisp/jabber-ft-server /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-autoaway hides /usr/local/sh= are/emacs/site-lisp/jabber-autoaway /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-util hides /usr/local/share/= emacs/site-lisp/jabber-util /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-screen hides /usr/local/shar= e/emacs/site-lisp/jabber-screen /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-xmessage hides /usr/local/sh= are/emacs/site-lisp/jabber-xmessage /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-alert hides /usr/local/share= /emacs/site-lisp/jabber-alert /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-menu hides /usr/local/share/= emacs/site-lisp/jabber-menu /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-core hides /usr/local/share/= emacs/site-lisp/jabber-core /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-export hides /usr/local/shar= e/emacs/site-lisp/jabber-export /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-keymap hides /usr/local/shar= e/emacs/site-lisp/jabber-keymap /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-roster hides /usr/local/shar= e/emacs/site-lisp/jabber-roster /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-muc hides /usr/local/share/e= macs/site-lisp/jabber-muc /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-gmail hides /usr/local/share= /emacs/site-lisp/jabber-gmail /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-widget hides /usr/local/shar= e/emacs/site-lisp/jabber-widget /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-sasl hides /usr/local/share/= emacs/site-lisp/jabber-sasl /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-newdisco hides /usr/local/sh= are/emacs/site-lisp/jabber-newdisco /home/wvxvw/.emacs.d/elpa/jabber-0.8.90/jabber-time hides /usr/local/share/= emacs/site-lisp/jabber-time /usr/local/mercury-14.01/lib/mercury/elisp/gud hides /usr/local/share/emacs= /25.0.50/lisp/progmodes/gud /home/wvxvw/.emacs.d/prolog/prolog hides /usr/local/share/emacs/25.0.50/lis= p/progmodes/prolog /home/wvxvw/Projects/org-mode/lisp/org-docview hides /usr/local/share/emacs= /25.0.50/lisp/org/org-docview /home/wvxvw/Projects/org-mode/lisp/org-mhe hides /usr/local/share/emacs/25.= 0.50/lisp/org/org-mhe /home/wvxvw/Projects/org-mode/lisp/ob-lisp hides /usr/local/share/emacs/25.= 0.50/lisp/org/ob-lisp /home/wvxvw/Projects/org-mode/lisp/org-indent hides /usr/local/share/emacs/= 25.0.50/lisp/org/org-indent /home/wvxvw/Projects/org-mode/lisp/ob-css hides /usr/local/share/emacs/25.0= .50/lisp/org/ob-css /home/wvxvw/Projects/org-mode/lisp/org-colview hides /usr/local/share/emacs= /25.0.50/lisp/org/org-colview /home/wvxvw/Projects/org-mode/lisp/ob-asymptote hides /usr/local/share/emac= s/25.0.50/lisp/org/ob-asymptote /home/wvxvw/Projects/org-mode/lisp/org-info hides /usr/local/share/emacs/25= .0.50/lisp/org/org-info /home/wvxvw/Projects/org-mode/lisp/ob-python hides /usr/local/share/emacs/2= 5.0.50/lisp/org/ob-python /home/wvxvw/Projects/org-mode/lisp/ob-haskell hides /usr/local/share/emacs/= 25.0.50/lisp/org/ob-haskell /home/wvxvw/Projects/org-mode/lisp/org-rmail hides /usr/local/share/emacs/2= 5.0.50/lisp/org/org-rmail /home/wvxvw/Projects/org-mode/lisp/org-list hides /usr/local/share/emacs/25= .0.50/lisp/org/org-list /home/wvxvw/Projects/org-mode/lisp/org-habit hides /usr/local/share/emacs/2= 5.0.50/lisp/org/org-habit /home/wvxvw/Projects/org-mode/lisp/ob-C hides /usr/local/share/emacs/25.0.5= 0/lisp/org/ob-C /home/wvxvw/Projects/org-mode/lisp/ob-comint hides /usr/local/share/emacs/2= 5.0.50/lisp/org/ob-comint /home/wvxvw/Projects/org-mode/lisp/org-element hides /usr/local/share/emacs= /25.0.50/lisp/org/org-element /home/wvxvw/Projects/org-mode/lisp/org-compat hides /usr/local/share/emacs/= 25.0.50/lisp/org/org-compat /home/wvxvw/Projects/org-mode/lisp/ob-fortran hides /usr/local/share/emacs/= 25.0.50/lisp/org/ob-fortran /home/wvxvw/Projects/org-mode/lisp/ob-dot hides /usr/local/share/emacs/25.0= .50/lisp/org/ob-dot /home/wvxvw/Projects/org-mode/lisp/ox-publish hides /usr/local/share/emacs/= 25.0.50/lisp/org/ox-publish /home/wvxvw/Projects/org-mode/lisp/org-protocol hides /usr/local/share/emac= s/25.0.50/lisp/org/org-protocol /home/wvxvw/Projects/org-mode/lisp/org-feed hides /usr/local/share/emacs/25= .0.50/lisp/org/org-feed /home/wvxvw/Projects/org-mode/lisp/org-irc hides /usr/local/share/emacs/25.= 0.50/lisp/org/org-irc /home/wvxvw/Projects/org-mode/lisp/ob-lilypond hides /usr/local/share/emacs= /25.0.50/lisp/org/ob-lilypond /home/wvxvw/Projects/org-mode/lisp/org-inlinetask hides /usr/local/share/em= acs/25.0.50/lisp/org/org-inlinetask /home/wvxvw/Projects/org-mode/lisp/org-w3m hides /usr/local/share/emacs/25.= 0.50/lisp/org/org-w3m /home/wvxvw/Projects/org-mode/lisp/ob-ref hides /usr/local/share/emacs/25.0= .50/lisp/org/ob-ref /home/wvxvw/Projects/org-mode/lisp/ob-js hides /usr/local/share/emacs/25.0.= 50/lisp/org/ob-js /home/wvxvw/Projects/org-mode/lisp/ob-ocaml hides /usr/local/share/emacs/25= .0.50/lisp/org/ob-ocaml /home/wvxvw/Projects/org-mode/lisp/org-agenda hides /usr/local/share/emacs/= 25.0.50/lisp/org/org-agenda /home/wvxvw/Projects/org-mode/lisp/ox-latex hides /usr/local/share/emacs/25= .0.50/lisp/org/ox-latex /home/wvxvw/Projects/org-mode/lisp/ox-md hides /usr/local/share/emacs/25.0.= 50/lisp/org/ox-md /home/wvxvw/Projects/org-mode/lisp/ob-scheme hides /usr/local/share/emacs/2= 5.0.50/lisp/org/ob-scheme /home/wvxvw/Projects/org-mode/lisp/ob-lob hides /usr/local/share/emacs/25.0= .50/lisp/org/ob-lob /home/wvxvw/Projects/org-mode/lisp/ob-perl hides /usr/local/share/emacs/25.= 0.50/lisp/org/ob-perl /home/wvxvw/Projects/org-mode/lisp/org-timer hides /usr/local/share/emacs/2= 5.0.50/lisp/org/org-timer /home/wvxvw/Projects/org-mode/lisp/ox-ascii hides /usr/local/share/emacs/25= .0.50/lisp/org/ox-ascii /home/wvxvw/Projects/org-mode/lisp/ob-screen hides /usr/local/share/emacs/2= 5.0.50/lisp/org/ob-screen /home/wvxvw/Projects/org-mode/lisp/org-eshell hides /usr/local/share/emacs/= 25.0.50/lisp/org/org-eshell /home/wvxvw/Projects/org-mode/lisp/ob-calc hides /usr/local/share/emacs/25.= 0.50/lisp/org/ob-calc /home/wvxvw/Projects/org-mode/lisp/ob-awk hides /usr/local/share/emacs/25.0= .50/lisp/org/ob-awk /home/wvxvw/Projects/org-mode/lisp/org-faces hides /usr/local/share/emacs/2= 5.0.50/lisp/org/org-faces /home/wvxvw/Projects/org-mode/lisp/ob-octave hides /usr/local/share/emacs/2= 5.0.50/lisp/org/ob-octave /home/wvxvw/Projects/org-mode/lisp/ob-sql hides /usr/local/share/emacs/25.0= .50/lisp/org/ob-sql /home/wvxvw/Projects/org-mode/lisp/org-src hides /usr/local/share/emacs/25.= 0.50/lisp/org/org-src /home/wvxvw/Projects/org-mode/lisp/ob-table hides /usr/local/share/emacs/25= .0.50/lisp/org/ob-table /home/wvxvw/Projects/org-mode/lisp/ox-beamer hides /usr/local/share/emacs/2= 5.0.50/lisp/org/ox-beamer /home/wvxvw/Projects/org-mode/lisp/org-bbdb hides /usr/local/share/emacs/25= .0.50/lisp/org/org-bbdb /home/wvxvw/Projects/org-mode/lisp/ox-texinfo hides /usr/local/share/emacs/= 25.0.50/lisp/org/ox-texinfo /home/wvxvw/Projects/org-mode/lisp/ob-keys hides /usr/local/share/emacs/25.= 0.50/lisp/org/ob-keys /home/wvxvw/Projects/org-mode/lisp/org-gnus hides /usr/local/share/emacs/25= .0.50/lisp/org/org-gnus /home/wvxvw/Projects/org-mode/lisp/ob-plantuml hides /usr/local/share/emacs= /25.0.50/lisp/org/ob-plantuml /home/wvxvw/Projects/org-mode/lisp/org-archive hides /usr/local/share/emacs= /25.0.50/lisp/org/org-archive /home/wvxvw/Projects/org-mode/lisp/org-ctags hides /usr/local/share/emacs/2= 5.0.50/lisp/org/org-ctags /home/wvxvw/Projects/org-mode/lisp/ob-io hides /usr/local/share/emacs/25.0.= 50/lisp/org/ob-io /home/wvxvw/Projects/org-mode/lisp/ob-ledger hides /usr/local/share/emacs/2= 5.0.50/lisp/org/ob-ledger /home/wvxvw/Projects/org-mode/lisp/org-datetree hides /usr/local/share/emac= s/25.0.50/lisp/org/org-datetree /home/wvxvw/Projects/org-mode/lisp/org-pcomplete hides /usr/local/share/ema= cs/25.0.50/lisp/org/org-pcomplete /home/wvxvw/Projects/org-mode/lisp/ob-eval hides /usr/local/share/emacs/25.= 0.50/lisp/org/ob-eval /home/wvxvw/Projects/org-mode/lisp/ob-sass hides /usr/local/share/emacs/25.= 0.50/lisp/org/ob-sass /home/wvxvw/Projects/org-mode/lisp/ox-icalendar hides /usr/local/share/emac= s/25.0.50/lisp/org/ox-icalendar /home/wvxvw/Projects/org-mode/lisp/ob-scala hides /usr/local/share/emacs/25= .0.50/lisp/org/ob-scala /home/wvxvw/Projects/org-mode/lisp/ox-odt hides /usr/local/share/emacs/25.0= .50/lisp/org/ox-odt /home/wvxvw/Projects/org-mode/lisp/ob-maxima hides /usr/local/share/emacs/2= 5.0.50/lisp/org/ob-maxima /home/wvxvw/Projects/org-mode/lisp/org-table hides /usr/local/share/emacs/2= 5.0.50/lisp/org/org-table /home/wvxvw/Projects/org-mode/lisp/ob-org hides /usr/local/share/emacs/25.0= .50/lisp/org/ob-org /home/wvxvw/Projects/org-mode/lisp/ob-matlab hides /usr/local/share/emacs/2= 5.0.50/lisp/org/ob-matlab /home/wvxvw/Projects/org-mode/lisp/ob-sqlite hides /usr/local/share/emacs/2= 5.0.50/lisp/org/ob-sqlite /home/wvxvw/Projects/org-mode/lisp/org-footnote hides /usr/local/share/emac= s/25.0.50/lisp/org/org-footnote /home/wvxvw/Projects/org-mode/lisp/ox-html hides /usr/local/share/emacs/25.= 0.50/lisp/org/ox-html /home/wvxvw/Projects/org-mode/lisp/ob-shen hides /usr/local/share/emacs/25.= 0.50/lisp/org/ob-shen /home/wvxvw/Projects/org-mode/lisp/org-attach hides /usr/local/share/emacs/= 25.0.50/lisp/org/org-attach /home/wvxvw/Projects/org-mode/lisp/ob-exp hides /usr/local/share/emacs/25.0= .50/lisp/org/ob-exp /home/wvxvw/Projects/org-mode/lisp/org hides /usr/local/share/emacs/25.0.50= /lisp/org/org /home/wvxvw/Projects/org-mode/lisp/org-macs hides /usr/local/share/emacs/25= .0.50/lisp/org/org-macs /home/wvxvw/Projects/org-mode/lisp/ob-R hides /usr/local/share/emacs/25.0.5= 0/lisp/org/ob-R /home/wvxvw/Projects/org-mode/lisp/ob-clojure hides /usr/local/share/emacs/= 25.0.50/lisp/org/ob-clojure /home/wvxvw/Projects/org-mode/lisp/ox hides /usr/local/share/emacs/25.0.50/= lisp/org/ox /home/wvxvw/Projects/org-mode/lisp/org-version hides /usr/local/share/emacs= /25.0.50/lisp/org/org-version /home/wvxvw/Projects/org-mode/lisp/org-clock hides /usr/local/share/emacs/2= 5.0.50/lisp/org/org-clock /home/wvxvw/Projects/org-mode/lisp/ob-java hides /usr/local/share/emacs/25.= 0.50/lisp/org/ob-java /home/wvxvw/Projects/org-mode/lisp/ob-ditaa hides /usr/local/share/emacs/25= .0.50/lisp/org/ob-ditaa /home/wvxvw/Projects/org-mode/lisp/org-bibtex hides /usr/local/share/emacs/= 25.0.50/lisp/org/org-bibtex /home/wvxvw/Projects/org-mode/lisp/org-mobile hides /usr/local/share/emacs/= 25.0.50/lisp/org/org-mobile /home/wvxvw/Projects/org-mode/lisp/ox-org hides /usr/local/share/emacs/25.0= .50/lisp/org/ox-org /home/wvxvw/Projects/org-mode/lisp/ob-ruby hides /usr/local/share/emacs/25.= 0.50/lisp/org/ob-ruby /home/wvxvw/Projects/org-mode/lisp/ob-makefile hides /usr/local/share/emacs= /25.0.50/lisp/org/ob-makefile /home/wvxvw/Projects/org-mode/lisp/ob-mscgen hides /usr/local/share/emacs/2= 5.0.50/lisp/org/ob-mscgen /home/wvxvw/Projects/org-mode/lisp/org-install hides /usr/local/share/emacs= /25.0.50/lisp/org/org-install /home/wvxvw/Projects/org-mode/lisp/ox-man hides /usr/local/share/emacs/25.0= .50/lisp/org/ox-man /home/wvxvw/Projects/org-mode/lisp/org-macro hides /usr/local/share/emacs/2= 5.0.50/lisp/org/org-macro /home/wvxvw/Projects/org-mode/lisp/ob-picolisp hides /usr/local/share/emacs= /25.0.50/lisp/org/ob-picolisp /home/wvxvw/Projects/org-mode/lisp/org-entities hides /usr/local/share/emac= s/25.0.50/lisp/org/org-entities /home/wvxvw/Projects/org-mode/lisp/ob hides /usr/local/share/emacs/25.0.50/= lisp/org/ob /home/wvxvw/Projects/org-mode/lisp/ob-tangle hides /usr/local/share/emacs/2= 5.0.50/lisp/org/ob-tangle /home/wvxvw/Projects/org-mode/lisp/ob-emacs-lisp hides /usr/local/share/ema= cs/25.0.50/lisp/org/ob-emacs-lisp /home/wvxvw/Projects/org-mode/lisp/org-mouse hides /usr/local/share/emacs/2= 5.0.50/lisp/org/org-mouse /home/wvxvw/Projects/org-mode/lisp/org-id hides /usr/local/share/emacs/25.0= .50/lisp/org/org-id /home/wvxvw/Projects/org-mode/lisp/ob-latex hides /usr/local/share/emacs/25= .0.50/lisp/org/ob-latex /home/wvxvw/Projects/org-mode/lisp/ob-gnuplot hides /usr/local/share/emacs/= 25.0.50/lisp/org/ob-gnuplot /home/wvxvw/Projects/org-mode/lisp/org-crypt hides /usr/local/share/emacs/2= 5.0.50/lisp/org/org-crypt /home/wvxvw/Projects/org-mode/lisp/org-capture hides /usr/local/share/emacs= /25.0.50/lisp/org/org-capture /home/wvxvw/Projects/org-mode/lisp/org-loaddefs hides /usr/local/share/emac= s/25.0.50/lisp/org/org-loaddefs /home/wvxvw/Projects/org-mode/lisp/org-plot hides /usr/local/share/emacs/25= .0.50/lisp/org/org-plot /home/wvxvw/Projects/org-mode/lisp/ob-core hides /usr/local/share/emacs/25.= 0.50/lisp/org/ob-core ~/.emacs.d/cedet/lisp/cedet/ede hides /usr/local/share/emacs/25.0.50/lisp/c= edet/ede ~/.emacs.d/cedet/lisp/cedet/inversion hides /usr/local/share/emacs/25.0.50/= lisp/cedet/inversion ~/.emacs.d/cedet/lisp/cedet/srecode hides /usr/local/share/emacs/25.0.50/li= sp/cedet/srecode ~/.emacs.d/cedet/lisp/cedet/cedet-global hides /usr/local/share/emacs/25.0.= 50/lisp/cedet/cedet-global ~/.emacs.d/cedet/lisp/cedet/cedet-files hides /usr/local/share/emacs/25.0.5= 0/lisp/cedet/cedet-files ~/.emacs.d/cedet/lisp/cedet/data-debug hides /usr/local/share/emacs/25.0.50= /lisp/cedet/data-debug ~/.emacs.d/cedet/lisp/cedet/pulse hides /usr/local/share/emacs/25.0.50/lisp= /cedet/pulse ~/.emacs.d/cedet/lisp/cedet/semantic hides /usr/local/share/emacs/25.0.50/l= isp/cedet/semantic ~/.emacs.d/cedet/lisp/cedet/mode-local hides /usr/local/share/emacs/25.0.50= /lisp/cedet/mode-local ~/.emacs.d/cedet/lisp/cedet/cedet-idutils hides /usr/local/share/emacs/25.0= .50/lisp/cedet/cedet-idutils ~/.emacs.d/cedet/lisp/cedet/cedet hides /usr/local/share/emacs/25.0.50/lisp= /cedet/cedet ~/.emacs.d/cedet/lisp/cedet/cedet-cscope hides /usr/local/share/emacs/25.0.= 50/lisp/cedet/cedet-cscope Features: (shadow emacsbug crm debbugs-gnu debbugs soap-client conf-mode mule-diag calc-aent calc-frac calc-comb man mm-archive haskell-indentation haskell-doc warnings haskell-show haskell-process haskell-compat haskell-session inf-haskell haskell-cabal haskell-decl-scan haskell-font-lock haskell-mode haskell-string haskell-sort-imports haskell-align-imports names autoload lisp-mnt tar-mode cus-edit url-http url-gw url-cache url-auth js2-mode imenu srecode/srt-mode semantic/analyze semantic/sort semantic/scope semantic/analyze/fcn srecode/template srecode/srt-wy srecode/ctxt srecode/compile srecode/dictionary srecode/table srecode image-file org-capture ps-mode imaxima imaxima-autoconf-variables maxima maxima-font-lock find-dired cal-move bug-reference magit-blame git-timemachine edebug sql sh-script tramp-cmds smiley gnus-cite gnus-bcklg gnus-async qp gnus-ml disp-table nndraft nnmh nnfolder utf-7 gnus-agent gnus-srvr gnus-score score-mode nnvirtual gnus-msg gnus-art mm-uu mml2015 mm-view mml-smime smime dig nntp gnus-cache esh-var esh-io esh-cmd esh-opt esh-ext esh-proc esh-arg esh-groups eshell esh-module esh-mode esh-util pcmpl-unix ediff-merg ediff-wind ediff-diff ediff-mult ediff-help ediff-init ediff-util ediff nxml-uchnm rng-xsd xsd-regexp rng-cmpct rng-nxml rng-valid nxml-mode nxml-outln nxml-rap nxml-glyph ox-odt rng-loc rng-uri rng-parse rng-match rng-dt rng-util rng-pttrn nxml-parse nxml-ns nxml-enc xmltok nxml-util ruler-mode hexl ibuf-ext ibuffer gnutls mailalias mail-extr sort org-timer org-colview org-clock org-attach org-id org-archive reporter org-table cus-start cus-load debug eieio-opt flymake-cursor semantic/wisent/python semantic/db-mode semantic/decorate/include semantic/decorate/mode semantic/decorate pulse semantic/format semantic/tag-ls semantic/dep semantic/wisent/python-wy python dired-aux calc-yank quail flyspell ispell magit-key-mode magit view help-mode grep autorevert filenotify git-rebase-mode git-commit-mode log-edit pcvs-util add-log dabbrev calc-undo calc-cplx calc-arith calc-math calc-misc calc-alg calc-ext calc-menu calc calc-loaddefs calc-macs rect misearch multi-isearch texmathp latexenc preview prv-emacs tex-buf font-latex latex tex-style tex-mode tabify vc vc-dispatcher vc-git diff-mode org-rmail org-mhe org-irc org-info org-gnus org-docview org-bibtex bibtex org-bbdb org-w3m network-stream nsm cl-lib-highlight edit-server ffi link-grammar-mode sx rx pgg pgg-parse pgg-def fmt fmt-wy fmt-mode dired-x cogre/wisent-dot cogre/wisent-dot-wy semantic/wisent/comp semantic/bovine semantic/ctxt semantic/wisent semantic/wisent/wisent semantic/util-modes semantic/util semantic/db-find semantic/db-ref semantic/db semantic/find semantic semantic/tag semantic/lex semantic/fw cogre/dot-mode mode-local ido ess-toolbar ess-mouse mouseme ess-menu ess-swv ess-noweb ess-noweb-font-lock-mode ess-bugs-l essd-els ess-sas-d ess-sas-l ess-sas-a ess-sta-d ess-sta-l make-regexp ess-sp6-d ess-sp3-d ess-julia ess-r-d ess-tracebug ess-roxy hideshow ess-help ess-developer ess-r-args ess-s-l ess-site ess-R-data-view ctable ess-R-object-popup ess ess-inf ess-mode ess-noweb-mode ess-utils ess-custom executable ess-compat tramp-cache tramp-sh tramp tramp-compat tramp-loaddefs trampver recentf tree-widget text-translator text-translator-vars readability async shr dom subr-x ov oauth hex-util hmac-sha1 url url-proxy url-privacy url-expand url-methods url-history url-cookie url-domsuf ox-texinfo ox-man ox-latex ox-icalendar ox-html ox-ascii ox-publish ox help-at-pt j-mode j-help j-console j-font-lock ob-sh shell ob-sqlite ob-sql ob-R ob-latex ob-maxima ob-dot ob-python ob-lisp ob-haxe haxe-serializer haxe-mode ede/haxe-speedbar ede/haxe ede/speedbar ede/files ede ede/base ede/auto ede/source eieio-base eieio-speedbar eieio-custom cedet custom/create-project haxe-completion haxe-compiler-mode haxe-project haxe-log haxe-help haxe-utils speedbar sb-image ezimage dframe ehelp cc-langs cc-mode cc-fonts cc-guess cc-menus cc-cmds cc-styles cc-align cc-engine cc-vars cc-defs cc-bytecomp ob-prolog prolog smie align formatting i-iterate ac-slime auto-complete-config auto-complete popup eieio-compat undo-tree diff hide-region hl-line erc-list erc-menu erc-join erc-ring erc-networks erc-pcomplete erc-track erc-match erc-button erc-fill erc-stamp erc-netsplit erc-goodies erc erc-backend erc-compat jabber jabber-awesome jabber-osd jabber-wmii jabber-xmessage jabber-festival jabber-sawfish jabber-ratpoison jabber-screen jabber-socks5 jabber-ft-server jabber-si-server jabber-ft-client jabber-ft-common jabber-si-client jabber-si-common jabber-feature-neg jabber-truncate jabber-time jabber-autoaway jabber-vcard-avatars jabber-chatstates jabber-events jabber-vcard jabber-avatar mailcap jabber-activity jabber-watch jabber-modeline jabber-ahc-presence jabber-ahc jabber-version jabber-ourversion jabber-muc-nick-completion hippie-exp jabber-browse jabber-search jabber-register jabber-roster jabber-presence assoc jabber-muc jabber-newdisco jabber-widget jabber-disco jabber-chat ewoc jabber-history jabber-chatbuffer jabber-alert jabber-iq jabber-keymap jabber-core jabber-sasl sasl sasl-anonymous sasl-login sasl-plain fsm jabber-logon jabber-conn srv dns starttls jabber-xml jabber-menu jabber-util smtpmail sendmail nnir gnus-sum gnus-group gnus-undo gnus-start gnus-cloud nnimap nnmail mail-source tls utf7 netrc parse-time gnus-spec gnus-int gnus-range message rfc822 mml mml-sec mm-decode mm-bodies mm-encode mail-parse rfc2231 rfc2047 rfc2045 ietf-drums mailabbrev gmm-utils mailheader gnus-win gnus gnus-ems nnoo nnheader mail-utils w3m doc-view jka-compr image-mode timezone w3m-hist w3m-fb bookmark-w3m w3m-ems wid-edit w3m-ccl ccl w3m-favicon w3m-image w3m-proc w3m-util scheme flymake-gjshint slime-js js-comint flymake ropemacs pymacs tron-dark-theme dired org-redmine anything plantuml-mode ob-plantuml slime-fancy slime-trace-dialog slime-fontifying-fu slime-package-fu slime-references slime-compiler-notes-tree slime-scratch slime-presentations bridge slime-fuzzy slime-fancy-trace slime-fancy-inspector slime-c-p-c slime-editing-commands slime-autodoc slime-repl elp slime-parse slime gud apropos compile etags xref arc-mode archive-mode pp hyperspec thingatpt browse-url slime-autoloads finder-inf anything-autoloads tex dbus xml tex-site dsvn-autoloads edmacro kmacro org-location-google-maps org-agenda google-maps google-maps-static url-util url-parse auth-source eieio eieio-core cl-generic gnus-util mm-util mail-prsvr password-cache url-vars google-maps-geocode google-maps-base json htmlize-autoloads jabber-autoloads linear-undo-autoloads psvn-autoloads info cl-macs cl gv vc-svn package server time epa-file epa derived epg epg-config org-element org byte-opt bytecomp byte-compile cl-extra seq cl-loaddefs pcase cl-lib cconv advice help-fns org-macro org-footnote org-pcomplete pcomplete org-list org-faces org-entities noutline outline easy-mmode org-version ob-emacs-lisp ob ob-tangle org-src ob-ref ob-lob ob-table ob-keys ob-exp ob-comint comint ansi-color ring ob-core ob-eval org-compat org-macs org-loaddefs format-spec find-func cal-menu easymenu calendar cal-loaddefs mule-util time-date tooltip eldoc 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 elisp-mode 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 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 dbusbind gfilenotify dynamic-setting system-font-setting font-render-setting move-toolbar gtk x-toolkit x multi-tty make-network-process emacs) Memory information: ((conses 16 2750995 385070) (symbols 48 100307 0) (miscs 40 5456 5863) (strings 32 742040 33022) (string-bytes 1 11968259) (vectors 16 120927) (vector-slots 8 2829352 194089) (floats 8 1915 7432) (intervals 56 177692 0) (buffers 976 323) (heap 1024 199284 12089)) From debbugs-submit-bounces@debbugs.gnu.org Thu Dec 03 06:31:57 2020 Received: (at 20573) by debbugs.gnu.org; 3 Dec 2020 11:31:57 +0000 Received: from localhost ([127.0.0.1]:38677 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kkmq5-0001j8-2g for submit@debbugs.gnu.org; Thu, 03 Dec 2020 06:31:57 -0500 Received: from quimby.gnus.org ([95.216.78.240]:45096) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kkmq2-0001cg-WD for 20573@debbugs.gnu.org; Thu, 03 Dec 2020 06:31:55 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org; s=20200322; h=Content-Type:MIME-Version:Message-ID:In-Reply-To:Date: References:Subject:Cc:To:From:Sender:Reply-To:Content-Transfer-Encoding: Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender: Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=Th1zl9im+g0xyfF3Hn83kE3lJ+knwlNd+PsvCO2On70=; b=JgmF9IKqFlXBM3ppE3aqzg6ItL KEFp+AoIj53AgcvfRnAlFZCxqp/1f3ZWnlXrEadL9Ifs+zDEr6vGTJIeJh4zUoe//TtIWhEMCdHkJ al+VKO6dMg/+FcQlbSsaGQ6v9Lfvvu8073/reI3Oa83cZQ6XZU74f1p72g6HVphV8X5w=; Received: from cm-84.212.202.86.getinternet.no ([84.212.202.86] helo=xo) by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1kkmpu-0002qT-LU; Thu, 03 Dec 2020 12:31:49 +0100 From: Lars Ingebrigtsen To: Oleg Sivokon Subject: Re: bug#20573: 25.0.50; Colon should send input in Prolog mode References: <87y4kr1o3p.fsf@gmail.com> X-Now-Playing: Old's _Formula_: "Thug" Date: Thu, 03 Dec 2020 12:31:45 +0100 In-Reply-To: <87y4kr1o3p.fsf@gmail.com> (Oleg Sivokon's message of "Thu, 14 May 2015 12:54:02 +0300") Message-ID: <87v9djruqm.fsf@gnus.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see @@CONTACT_ADDRESS@@ for details. Content preview: Oleg Sivokon writes: > The problem is as follows: when SWI Prolog's prompt is answered with a > colon (a request for more solutions to the goal) will print other > solutins and will wait for more input from user. Emacs wi [...] Content analysis details: (-2.9 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -1.0 ALL_TRUSTED Passed through trusted hosts only via SMTP -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% [score: 0.0000] X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 20573 Cc: 20573@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: -1.0 (-) Oleg Sivokon writes: > The problem is as follows: when SWI Prolog's prompt is answered with a > colon (a request for more solutions to the goal) will print other > solutins and will wait for more input from user. Emacs will only send > input upon pressing RET, but SWI Prolog will treat this as sending two > inputs: 1) generate next solution, 2) terminate solution generation. > This leads, in practice, to that at most two solutions for any goal are > generated. > Solving this isn't as easy as just modifying the behavior of typing > `;'. Colons can appear (and do so very often) in Prolog code. Besides, > `commit-send-input' seems to send RET anyway, so fixing this would > require more knowledge of the process I/O than I currently have. (This bug report unfortunately got no response at the time.) Are you still seeing this problem in more recent Emacs versions? If so, could you provide a recipe to reproduce the bug, starting from "emacs -Q"? -- (domestic pets only, the antidote for overdose, milk.) bloggy blog: http://lars.ingebrigtsen.no From debbugs-submit-bounces@debbugs.gnu.org Thu Dec 03 06:32:02 2020 Received: (at control) by debbugs.gnu.org; 3 Dec 2020 11:32:02 +0000 Received: from localhost ([127.0.0.1]:38681 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kkmqA-0001nu-Bg for submit@debbugs.gnu.org; Thu, 03 Dec 2020 06:32:02 -0500 Received: from quimby.gnus.org ([95.216.78.240]:45110) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kkmq8-0001i1-Tx for control@debbugs.gnu.org; Thu, 03 Dec 2020 06:32:01 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org; s=20200322; h=Subject:From:To:Message-Id:Date:Sender:Reply-To:Cc: MIME-Version:Content-Type:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=n4XjlVB5L+nvcdZZFDEv85t1ZbNatdDQNjLnO/tyYT8=; b=ZFWwrHnASVmSbiSgBDFniR0z8t OvvnyC6tK1dbfzuSAVbKyjkfhPVkoLcqkOPJUpWuOKB2zQTCTCmPSp1TzL26E2ASleIjUFgWvz621 jw3gxFmqmekKtXq9VyvUJ5buxnszyW0hA5K7MWDX+UHjn2WmkOaFx6v06ct07qU4xCIo=; Received: from cm-84.212.202.86.getinternet.no ([84.212.202.86] helo=xo) by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1kkmq1-0002qa-4M for control@debbugs.gnu.org; Thu, 03 Dec 2020 12:31:55 +0100 Date: Thu, 03 Dec 2020 12:31:52 +0100 Message-Id: <87tut3ruqf.fsf@gnus.org> To: control@debbugs.gnu.org From: Lars Ingebrigtsen Subject: control message for bug #20573 X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see @@CONTACT_ADDRESS@@ for details. Content preview: tags 20573 + moreinfo quit Content analysis details: (-2.9 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -1.0 ALL_TRUSTED Passed through trusted hosts only via SMTP -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% [score: 0.0000] X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: control 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: -1.0 (-) tags 20573 + moreinfo quit From debbugs-submit-bounces@debbugs.gnu.org Wed Dec 09 02:18:02 2020 Received: (at 20573) by debbugs.gnu.org; 9 Dec 2020 07:18:02 +0000 Received: from localhost ([127.0.0.1]:60846 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kmtje-0008Ax-10 for submit@debbugs.gnu.org; Wed, 09 Dec 2020 02:18:02 -0500 Received: from mail-wr1-f47.google.com ([209.85.221.47]:41455) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kmtjb-0008Ad-BV for 20573@debbugs.gnu.org; Wed, 09 Dec 2020 02:18:01 -0500 Received: by mail-wr1-f47.google.com with SMTP id a12so534355wrv.8 for <20573@debbugs.gnu.org>; Tue, 08 Dec 2020 23:17:59 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=XtVkB2sYxDm8lpO7waqyZxoR7Tkqsu51Pa2wiN39DoU=; b=QmVIxinxBQT/mAQZzXXfGopaoDeQm+9ROTwn5+FYlZcx0tU7mb84K9Tkd7wp5pvT34 dM+SKUA5VccHCy9RC6k3jpub1UQX21wzO2iMoKgb1mBMeMnEUtbwmCLg0Hlh4Aqtqfnj S8AoS02k4eu4ooQpzciUHmgsA/Xw0GPcMh1ZmEpU0ES6Gd/jeXecQ/ZVyN0CYAQLZ1zL cuhiht2tU/wkhAm/2STEYO0e79/AnNeuqCpQYwc/UHus24YKhCnbBiNnXMLnemKFwzwH IY4IPXOwsaOvklnj7bcjGjx6TrE2veiUup7/dQ0YefV4NBX3oFPIuRtVy7MmhJPgXtyp shXA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=XtVkB2sYxDm8lpO7waqyZxoR7Tkqsu51Pa2wiN39DoU=; b=M4N2I72NTlT/HknbSHorj99QGkUstQObPw5z1R34yG9LGiZSiS5WN2PgX/RA3oMmHY MM8JB6mFYM1sb+3xZ8+jKvPygHhZ3xq+VtEcjbZ4L08NRTrE3FIducQkW83BjmlDRqfm oJN9VR+LUqWrKzoVx18H8etof6pwGTojvOAOM4HxBjhPVJURMeYIYHLrmpZ98fwMnE2O /BdBn5udls+DQQsGrUCBB78scHx+qSkdwJTa+DdO1oVToTXM2xisdG7G7Xr5ImLZ9nE4 ToZkgMmU1iThP3tcA0BRfh+pCm6auNapG10ra6QK48MiPz/7BJgHv+t+fw0+/+BF0ofE NEbQ== X-Gm-Message-State: AOAM5300U7Qnpws9idIainkpHrhV8/RjM3TXwEYn06JqtmDuU2Cex7Yk FP1EbaV31hRJ77j9MEj+po+jvBDrFsSNNFQykxz8sezC X-Google-Smtp-Source: ABdhPJwJcSGOc6NREydgUaYRslQ/MuvoKT4OD1MqqyCSsXb2x61ywYFmI/tM7njCEXBvgugrnt2AxJZCUJ6ncIdz3uY= X-Received: by 2002:adf:c986:: with SMTP id f6mr1045301wrh.361.1607498273450; Tue, 08 Dec 2020 23:17:53 -0800 (PST) MIME-Version: 1.0 Received: by 2002:a05:600c:2155:0:0:0:0 with HTTP; Tue, 8 Dec 2020 23:17:52 -0800 (PST) In-Reply-To: <87v9djruqm.fsf@gnus.org> References: <87y4kr1o3p.fsf@gmail.com> <87v9djruqm.fsf@gnus.org> From: Left Right Date: Wed, 9 Dec 2020 09:17:52 +0200 Message-ID: Subject: Re: bug#20573: 25.0.50; Colon should send input in Prolog mode To: Lars Ingebrigtsen Content-Type: text/plain; charset="UTF-8" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 20573 Cc: 20573@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: -1.0 (-) > Are you still seeing this problem in more recent Emacs versions? If so, > could you provide a recipe to reproduce the bug, starting from "emacs -Q"? Hello Lars, It seems like the problem is not reproducible anymore. So it's safe to close the ticket. Best. Oleg From debbugs-submit-bounces@debbugs.gnu.org Wed Dec 09 07:55:57 2020 Received: (at 20573) by debbugs.gnu.org; 9 Dec 2020 12:55:57 +0000 Received: from localhost ([127.0.0.1]:32995 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kmz0f-0001vw-M1 for submit@debbugs.gnu.org; Wed, 09 Dec 2020 07:55:57 -0500 Received: from quimby.gnus.org ([95.216.78.240]:37198) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kmz0d-0001vg-BF for 20573@debbugs.gnu.org; Wed, 09 Dec 2020 07:55:55 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org; s=20200322; h=Content-Type:MIME-Version:Message-ID:In-Reply-To:Date: References:Subject:Cc:To:From:Sender:Reply-To:Content-Transfer-Encoding: Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender: Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=ixHpM/7K6T/poqe8++2IiUGIucn1KsABUsSFLk+fMAk=; b=gG4Kd/BuWT8MjIseumwoIWiVIN vI34h6UotecNT7tuEioA8buEUUHt/Y800TcW5gCYsxcAU2h8qwDVZZ3D4g60gsDjPfUS0m/4rXJsD T9VuOTe9Z/CWBcW9ohlFbYB9yw5zCRl3dum5mRMLjIJ9cDT2sSWrwA7Y6uDMNUorEvRM=; Received: from cm-84.212.202.86.getinternet.no ([84.212.202.86] helo=xo) by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1kmz0V-00017a-3R; Wed, 09 Dec 2020 13:55:49 +0100 From: Lars Ingebrigtsen To: Left Right Subject: Re: bug#20573: 25.0.50; Colon should send input in Prolog mode References: <87y4kr1o3p.fsf@gmail.com> <87v9djruqm.fsf@gnus.org> Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAABGdBTUEAALGPC/xhBQAAACBj SFJNAAB6JgAAgIQAAPoAAACA6AAAdTAAAOpgAAA6mAAAF3CculE8AAAAGFBMVEVkWFWlmJGahHuJ dW5JODUfGBjRtan////fYGFmAAAAAWJLR0QHFmGI6wAAAAd0SU1FB+QMCQwiLouH4zQAAAGySURB VDjLbZNBcqswDIaVmHRdw4zXTbmAQelb+02lPQv7ALQz3P8IlWyYYIgWTMZffv2SbMHF3jswQ9tw qgIuFi3i0MERXNHaztr3Jh2BLQHnVCX8gWTQWW/e4XYGt+k2fcVbipSIOBKvwNEU/ot7ZAqh4ThJ IZwV8AjGSyNEwkSRNqA2AA1x5eHmUi5AqoFdlmW2994PfKhqFmJt6++c4rN/eFsKsDCmND32oEQL b5KKz+Dnc3mkk7n6L0tHCauR6Gn+As31rLSTWUFsz2OXbL88+RfAuo807fr4HlcyDjL37U4iwbe5 63GLV5TOtz5igmAGBb2/9I1/NhghwJAF/t8vVsBkRffp3YK7R0eSSt17ROfwS3I/AaBKDLoZq4sy XkHrUVNVALM7quJRA8zlovuBShGyhaSyHVENVPAB2CPt34/0IYOVZyUpSST8BKMT0BaQ9kCvQrcA fQ2uehX6EI2vzS/b3pyBy6BRwC8UBEDhFWAplSIfQVeuYgVR3DJA9OuYmMs5UQa95F9Lkl3bAd2z LTutsSkapj0JUDw8bOsfGUI+15F0Yy/u5X/Q6PrKjz/uCgZm66j0+QAAACV0RVh0ZGF0ZTpjcmVh dGUAMjAyMC0xMi0wOVQxMjozNDo0NiswMDowMEr0/B0AAAAldEVYdGRhdGU6bW9kaWZ5ADIwMjAt MTItMDlUMTI6MzQ6NDYrMDA6MDA7qUShAAAAAElFTkSuQmCC X-Now-Playing: CocoRosie's _Put the Shine On_: "Where Did All The Soldiers Go" Date: Wed, 09 Dec 2020 13:55:45 +0100 In-Reply-To: (Left Right's message of "Wed, 9 Dec 2020 09:17:52 +0200") Message-ID: <87h7ov5eb2.fsf@gnus.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see @@CONTACT_ADDRESS@@ for details. Content preview: Left Right writes: > It seems like the problem is not reproducible anymore. So it's safe to > close the ticket. Thanks for checking; closing the bug report. Content analysis details: (-2.9 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -1.0 ALL_TRUSTED Passed through trusted hosts only via SMTP -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% [score: 0.0000] X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 20573 Cc: 20573@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: -1.0 (-) Left Right writes: > It seems like the problem is not reproducible anymore. So it's safe to > close the ticket. Thanks for checking; closing the bug report. -- (domestic pets only, the antidote for overdose, milk.) bloggy blog: http://lars.ingebrigtsen.no From debbugs-submit-bounces@debbugs.gnu.org Wed Dec 09 07:56:15 2020 Received: (at control) by debbugs.gnu.org; 9 Dec 2020 12:56:15 +0000 Received: from localhost ([127.0.0.1]:32999 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kmz0r-0001wp-T9 for submit@debbugs.gnu.org; Wed, 09 Dec 2020 07:56:15 -0500 Received: from quimby.gnus.org ([95.216.78.240]:37214) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kmz0p-0001wb-Ju for control@debbugs.gnu.org; Wed, 09 Dec 2020 07:56:09 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org; s=20200322; h=Subject:From:To:Message-Id:Date:Sender:Reply-To:Cc: MIME-Version:Content-Type:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=Z6VqP+J3E+2yfz4VQswZceHlkh0+BVIVaJX74+QUGU8=; b=cCOUaK1X55WX+sRjmT5rw4wuqA aXQ6YK6vvHUVX2abggBR5VTq1ApK1yMt2eoAc+8wpBGbF+UsUXtmZZTPbSi//In603PsDhvabZMrk 99q6fFO7sxAEeJ8BJo2+DjPc6maGFuJaO0WjLv1W5IUTSAk+7ZaIGnDT/I9mG/LYhh38=; Received: from cm-84.212.202.86.getinternet.no ([84.212.202.86] helo=xo) by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1kmz0h-00019v-Py for control@debbugs.gnu.org; Wed, 09 Dec 2020 13:56:02 +0100 Date: Wed, 09 Dec 2020 13:55:58 +0100 Message-Id: <87ft4f5eap.fsf@gnus.org> To: control@debbugs.gnu.org From: Lars Ingebrigtsen Subject: control message for bug #20573 X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see @@CONTACT_ADDRESS@@ for details. Content preview: close 20573 quit Content analysis details: (-2.9 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -1.0 ALL_TRUSTED Passed through trusted hosts only via SMTP -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% [score: 0.0000] X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: control 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: -1.0 (-) close 20573 quit From unknown Tue Sep 09 18:21:56 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Thu, 07 Jan 2021 12:24:10 +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