From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Josh Berdine Newsgroups: gmane.emacs.bugs Subject: bug#19079: 24.4; smie mis-highlights unmatchable keywords Date: Fri, 4 Dec 2020 22:03:23 +0000 Message-ID: <07166D84-7897-464C-81CB-90A32AC9C823@berdine.net> References: <87bno6t6ah.fsf@berdine.net> <87wnxxlve3.fsf@gnus.org> Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.120.23.2.4\)) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="24739"; mail-complaints-to="usenet@ciao.gmane.io" Cc: 19079@debbugs.gnu.org, Stefan Monnier To: Lars Ingebrigtsen Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Fri Dec 04 23:04:29 2020 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1klJBk-0006HI-9Q for geb-bug-gnu-emacs@m.gmane-mx.org; Fri, 04 Dec 2020 23:04:29 +0100 Original-Received: from localhost ([::1]:43934 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1klJBi-0002Vr-Nf for geb-bug-gnu-emacs@m.gmane-mx.org; Fri, 04 Dec 2020 17:04:26 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:38100) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1klJBL-0002V6-OA for bug-gnu-emacs@gnu.org; Fri, 04 Dec 2020 17:04:05 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:34497) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1klJBJ-0000co-SV for bug-gnu-emacs@gnu.org; Fri, 04 Dec 2020 17:04:03 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1klJBJ-0006JK-Ni for bug-gnu-emacs@gnu.org; Fri, 04 Dec 2020 17:04:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Josh Berdine Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Fri, 04 Dec 2020 22:04:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 19079 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: moreinfo Original-Received: via spool by 19079-submit@debbugs.gnu.org id=B19079.160711941524226 (code B ref 19079); Fri, 04 Dec 2020 22:04:01 +0000 Original-Received: (at 19079) by debbugs.gnu.org; 4 Dec 2020 22:03:35 +0000 Original-Received: from localhost ([127.0.0.1]:46043 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1klJAt-0006Ig-CH for submit@debbugs.gnu.org; Fri, 04 Dec 2020 17:03:35 -0500 Original-Received: from wout5-smtp.messagingengine.com ([64.147.123.21]:33947) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1klJAq-0006IQ-4o for 19079@debbugs.gnu.org; Fri, 04 Dec 2020 17:03:34 -0500 Original-Received: from compute6.internal (compute6.nyi.internal [10.202.2.46]) by mailout.west.internal (Postfix) with ESMTP id 3845077D; Fri, 4 Dec 2020 17:03:26 -0500 (EST) Original-Received: from mailfrontend2 ([10.202.2.163]) by compute6.internal (MEProxy); Fri, 04 Dec 2020 17:03:26 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=berdine.net; h= content-type:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; s=fm1; bh=a TQSW3IRz8C6Iu7OOsCw34pBR9hT1NOydizqljwxyEA=; b=wVfQsTmP3x/hjB//V v33fIaEsKNhPEQ/xJC8yu4Ztpx14dmVdiSUB1/43yMb/oUxrOFaMhOJ0sg3RxdWC 5lHE/L+6SbFy6yFzvCHg74/Xdv1JRraV/BGwgoLOpGmdRE0Fshb3z1Ic9MRjhjhs tfYJeLhjcn7hC/oGAdnLxlHqg5CTfs9dZQozbRRrbbjM3BXrYjfriepLGELDLooj lmJ6wsP9eDKnMoAI7C13TsY+1jY4mw5ex0anb93mfGvYAUbtCBgTieGyyC4ZBFEw 2rAAdKQExtrAZsyPrVsMXvKeLWrXXN/G5+aWyjTWzo/FyXgU9QMUVucV4Ql9WIjL 2YhqA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-me-proxy:x-me-proxy:x-me-sender:x-me-sender :x-sasl-enc; s=fm1; bh=aTQSW3IRz8C6Iu7OOsCw34pBR9hT1NOydizqljwxy EA=; b=JBPmGw58MdFF1BoJJqYz7mVH/HYQadbpWnemc5p/v+AzP1ZwS69wqneGJ 4dqfJvWEL9ZfX11j/u76/JqfvehI0Db4SYND/swCO9Tofwg+RPJvqet93dEfzPDP Lxlh96ZKlxnP6CRlghtcY6H7mxpFttVMVCsfzU8OgpTPY0y26DvaXRgnvx5CuY9n ROv8dsnWno+BUQ2X665lyMiZOPWT0pw4B4FmZL1ChmEgNsOqFnHOTU6rRkFTYfY4 440S95InhbUJQPmVnfPQxDoTYkUTbiDSVHLvH3z0RtNZ9Xv3O0nnm3MPqYgZHHQf fb52BTamAVdf9MhyY7h/KkxWu0OAQ== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedujedrudeikedgudehiecutefuodetggdotefrod ftvfcurfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfgh necuuegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmd enucfjughrpegtggfuhfgjfffgkfhfvffosehtqhhmtdhhtddvnecuhfhrohhmpeflohhs hhcuuegvrhguihhnvgcuoehjohhshhessggvrhguihhnvgdrnhgvtheqnecuggftrfgrth htvghrnhepheetieeuveffveefvdevfeffvedukeeigeekffffjeegjeehueetgfdthfdv hedvnecukfhppeektddriedrvddufedrudeiieenucevlhhushhtvghrufhiiigvpedtne curfgrrhgrmhepmhgrihhlfhhrohhmpehjohhshhessggvrhguihhnvgdrnhgvth X-ME-Proxy: Original-Received: from [192.168.0.36] (cpc143186-seve28-2-0-cust421.13-3.cable.virginm.net [80.6.213.166]) by mail.messagingengine.com (Postfix) with ESMTPA id E27501080059; Fri, 4 Dec 2020 17:03:24 -0500 (EST) In-Reply-To: <87wnxxlve3.fsf@gnus.org> X-Mailer: Apple Mail (2.3608.120.23.2.4) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list 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-mx.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.io gmane.emacs.bugs:195013 Archived-At: > On Dec 4, 2020, at 10:26 AM, Lars Ingebrigtsen wrote: >=20 > Josh Berdine writes: >=20 >> 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 () =3D >> let x =3D 0 in >> () >> C-u 17 C-b >>=20 >> 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. >=20 > (This bug report unfortunately got no response at the time.) >=20 > Stefan M says: >=20 >> And sorry for overlooking the fact that "let" gets highlighted as = unmatched; that's =20 >> indeed an error. Could you report it via "M-x report-emacs-bug" since = it's a bug in =20 >> smie.el rather than in Tuareg? =20 >=20 > This was six years ago. Is this still an issue in more recent = versions > of Emacs? Thanks, yes, it still behaves the same way. I have just redone the repro = with 27.1: emacs -nw -Q M-x load-file .emacs.d/elpa/tuareg-20200518.1820/tuareg-opam.el M-x load-file .emacs.d/elpa/tuareg-20200518.1820/tuareg.el M-x tuareg-mode M-x show-paren-mode let f () =3D let x =3D 0 in () C-u 17 C-b In case it is useful, here is the current output from report-emacs-bug: In GNU Emacs 27.1 (build 1, x86_64-apple-darwin19.5.0, NS appkit-1894.50 = Version 10.15.5 (Build 19F101)) of 2020-11-14 built on d12frosted.local System Description: Mac OS X 10.15.7 Recent messages: For information about GNU Emacs and the GNU system, type C-h C-a. Loading /Users/jjb/.emacs.d/elpa/tuareg-20200518.1820/tuareg-opam.el = (source)...done Loading /Users/jjb/.emacs.d/elpa/tuareg-20200518.1820/tuareg.el = (source)...done Show-Paren mode enabled Mark set Configured using: 'configure --disable-dependency-tracking --disable-silent-rules --enable-locallisppath=3D/usr/local/share/emacs/site-lisp --infodir=3D/usr/local/Cellar/emacs-plus@27/27.1/share/info/emacs --prefix=3D/usr/local/Cellar/emacs-plus@27/27.1 --with-xml2 = --with-gnutls --without-dbus --with-imagemagick --with-modules --with-rsvg --with-ns --disable-ns-self-contained' Configured features: RSVG IMAGEMAGICK GLIB NOTIFY KQUEUE ACL GNUTLS LIBXML2 ZLIB TOOLKIT_SCROLL_BARS NS MODULES THREADS JSON PDUMPER LCMS2 GMP Important settings: 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 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 auto-composition-mode: t auto-encryption-mode: t auto-compression-mode: t line-number-mode: t transient-mark-mode: t Load-path shadows: None found. Features: (shadow sort mail-extr emacsbug message rmc puny dired dired-loaddefs format-spec rfc822 mml mml-sec password-cache epa epg epg-config gnus-util rmail rmail-loaddefs text-property-search time-date subr-x seq mm-decode mm-bodies mm-encode mail-parse rfc2231 mailabbrev gmm-utils mailheader sendmail rfc2047 rfc2045 ietf-drums mm-util mail-prsvr mail-utils cus-start cus-load paren tuareg speedbar sb-image ezimage dframe cl-macs pcase find-file tuareg-opam derived skeleton flymake-proc flymake easymenu compile comint ansi-color ring warnings thingatpt cl-loaddefs cl-lib smie term/xterm xterm byte-opt gv bytecomp byte-compile cconv 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 lcms2 multi-tty make-network-process emacs) Memory information: ((conses 16 86470 4933) (symbols 48 9347 1) (strings 32 24410 1630) (string-bytes 1 762726) (vectors 16 10024) (vector-slots 8 108386 8922) (floats 8 26 495) (intervals 56 252 0) (buffers 1000 11))