From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Josh Berdine Newsgroups: gmane.emacs.bugs Subject: bug#19079: 24.4; smie mis-highlights unmatchable keywords Date: Mon, 17 Nov 2014 11:28:38 +0000 Message-ID: <87bno6t6ah.fsf@berdine.net> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1416233004 24509 80.91.229.3 (17 Nov 2014 14:03:24 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 17 Nov 2014 14:03:24 +0000 (UTC) To: 19079@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Mon Nov 17 15:03:19 2014 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 1XqMti-0008HZ-S3 for geb-bug-gnu-emacs@m.gmane.org; Mon, 17 Nov 2014 15:03:19 +0100 Original-Received: from localhost ([::1]:48061 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XqMti-0007ak-BF for geb-bug-gnu-emacs@m.gmane.org; Mon, 17 Nov 2014 09:03:18 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:34506) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XqMtZ-0007VR-KA for bug-gnu-emacs@gnu.org; Mon, 17 Nov 2014 09:03:14 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XqMtT-000682-Kn for bug-gnu-emacs@gnu.org; Mon, 17 Nov 2014 09:03:09 -0500 Original-Received: from debbugs.gnu.org ([140.186.70.43]:38654) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XqMtT-00067q-79 for bug-gnu-emacs@gnu.org; Mon, 17 Nov 2014 09:03:03 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1XqMtS-0001n8-P0 for bug-gnu-emacs@gnu.org; Mon, 17 Nov 2014 09:03:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Josh Berdine Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 17 Nov 2014 14:03:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 19079 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.14162329426751 (code B ref -1); Mon, 17 Nov 2014 14:03:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 17 Nov 2014 14:02:22 +0000 Original-Received: from localhost ([127.0.0.1]:35865 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XqMsl-0001ki-Uh for submit@debbugs.gnu.org; Mon, 17 Nov 2014 09:02:21 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:53809) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XqKUJ-0000en-5u for submit@debbugs.gnu.org; Mon, 17 Nov 2014 06:28:56 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XqKUD-0000FF-Rq for submit@debbugs.gnu.org; Mon, 17 Nov 2014 06:28:54 -0500 Original-Received: from lists.gnu.org ([2001:4830:134:3::11]:57610) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XqKUD-0000F9-Oo for submit@debbugs.gnu.org; Mon, 17 Nov 2014 06:28:49 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:55500) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XqKU8-0000rF-Sk for bug-gnu-emacs@gnu.org; Mon, 17 Nov 2014 06:28:49 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XqKU4-0000ES-1W for bug-gnu-emacs@gnu.org; Mon, 17 Nov 2014 06:28:44 -0500 Original-Received: from out2-smtp.messagingengine.com ([66.111.4.26]:55151) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XqKU3-0000EK-Pr for bug-gnu-emacs@gnu.org; Mon, 17 Nov 2014 06:28:39 -0500 Original-Received: from compute3.internal (compute3.nyi.internal [10.202.2.43]) by mailout.nyi.internal (Postfix) with ESMTP id CAE9920AD4; Mon, 17 Nov 2014 06:28:37 -0500 (EST) Original-Received: from frontend1 ([10.202.2.160]) by compute3.internal (MEProxy); Mon, 17 Nov 2014 06:28:37 -0500 DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d=berdine.net; h= x-sasl-enc:from:to:subject:date:message-id:mime-version :content-type; s=mesmtp; bh=S57yDTPhXQMv4yjfhOadiB/Rmio=; b=D/5o Vg9ucjyZRcAa8+aGzMWt9Pz02ezaKUBSPJ3cQXZd5RIRnLgbQYX11UgBRP7AwO3Q UEMfm9m4p8gDJuPqKFBRf0Sg+2c2Z9B21X0leSQBod5zoOvlJrGU0iAxAnIbfTaG PvxuGB384BSqlH+LODy7RHFkn/6dH+dGMMDFqpI= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d= messagingengine.com; h=x-sasl-enc:from:to:subject:date :message-id:mime-version:content-type; s=smtpout; bh=S57yDTPhXQM v4yjfhOadiB/Rmio=; b=oiWu9uT9e1venbu4VeZe9F9MV/dTSwESWAGtL0Xt0dp lemb6jPq+yuPR18ToX9a4FOvk3IOffIkkr4IjTYzi+0UUCieKcTJSeyzTbpctrTJ 7zTiU4X7Mok3CO8j6yvfy6gEmRyFZOywkLYfdCCz6oat/GKW6Wac0kCwsphb8wFc = X-Sasl-enc: SmcVCSmtiDGwYgkrezG4e9D1I1FMNHR1vHWX6G/jmyVr 1416223717 Original-Received: from juniper (unknown [167.220.196.168]) by mail.messagingengine.com (Postfix) with ESMTPA id 7CD3CC00006 for ; Mon, 17 Nov 2014 06:28:37 -0500 (EST) Original-Received: from jjb by juniper with local (Exim 4.82) (envelope-from ) id 1XqKU3-00076k-8c for bug-gnu-emacs@gnu.org; Mon, 17 Nov 2014 11:28:39 +0000 X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Mailman-Approved-At: Mon, 17 Nov 2014 09:02:18 -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: 140.186.70.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:96154 emacs -Q M-x load-file ~/.opam/4.02.1/share/tuareg/tuareg.el M-x tuareg-mode M-x show-paren-mode let f () = let x = 0 in () C-u 17 C-b This starts a fresh emacs, loads the tuareg mode, enables show-paren-mode, enters some ocaml code, and puts the point on a 'let' keyword. This 'let' is highlighted in 'show-paren-mismatch-face'. As there is no way for this 'let' to be matched (as far as smie is concerned) this 'let' should not be highlighted. See related discussion at . In GNU Emacs 24.4.1 (x86_64-pc-linux-gnu, GTK+ Version 3.10.8) of 2014-11-11 on juniper, modified by Debian Windowing system distributor `The X.Org Foundation', version 11.0.11501000 System Description: Ubuntu 14.04.1 LTS 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 --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall' CPPFLAGS=-D_FORTIFY_SOURCE=2 'LDFLAGS=-Wl,-Bsymbolic-functions -Wl,-z,relro'' Important settings: value of $LC_COLLATE: C value of $LANG: en_US.UTF-8 locale-coding-system: utf-8-unix Major mode: Tuareg Minor modes in effect: show-paren-mode: t tooltip-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 line-number-mode: t transient-mark-mode: t Recent input: M-x l o a d - f i l e C-y M-x t u a r e g - m o d e M-x s h o w - p a r e n - m o d e C-y C-u 1 7 C-b M-x r e p o r t - e m Recent messages: For information about GNU Emacs and the GNU system, type C-h C-a. Loading /home/jjb/.opam/4.02.1/share/tuareg/tuareg.el (source)...done Show-Paren mode enabled Load-path shadows: None found. Features: (shadow sort gnus-util mail-extr emacsbug message format-spec rfc822 mml mml-sec mm-decode mm-bodies mm-encode mail-parse rfc2231 mailabbrev gmm-utils mailheader sendmail rfc2047 rfc2045 ietf-drums mm-util help-fns mail-prsvr mail-utils cus-start cus-load paren caml tuareg speedbar sb-image ezimage dframe skeleton compile comint ansi-color ring derived smie cl-macs easymenu cl gv cl-loaddefs cl-lib time-date 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 109132 5468) (symbols 48 20890 0) (miscs 40 45 136) (strings 32 17549 4306) (string-bytes 1 487656) (vectors 16 11154) (vector-slots 8 402826 5044) (floats 8 65 238) (intervals 56 286 0) (buffers 960 12) (heap 1024 17476 1105))