GNU logs - #19079, boring messages

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#19079: 24.4; smie mis-highlights unmatchable keywords
Resent-From: Josh Berdine <josh@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Mon, 17 Nov 2014 14:03:02 +0000
Resent-Message-ID: <handler.19079.B.14162329426751 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 19079 <at> debbugs.gnu.org
From: Josh Berdine <josh@HIDDEN>
Date: Mon, 17 Nov 2014 11:28:38 +0000
Message-ID: <87bno6t6ah.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>


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
<https://github.com/ocaml/tuareg/issues/26#issuecomment-63101028>.



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 <return> C-y <return> M-x t u 
a r e g - m o d e <return> M-x s h o w - p a r e n 
- m o d e <return> <help-echo> <help-echo> C-y C-u 
1 7 C-b M-x r e p o r t - e m <tab> <return>

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))

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.503 (Entity 5.503)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Josh Berdine <josh@HIDDEN>
Subject: bug#19079: Acknowledgement (24.4; smie mis-highlights unmatchable
 keywords)
Message-ID: <handler.19079.B.14162329426751.ack <at> debbugs.gnu.org>
References: <87bno6t6ah.fsf@HIDDEN>
X-Gnu-PR-Message: ack 19079
X-Gnu-PR-Package: emacs
Reply-To: 19079 <at> debbugs.gnu.org
Date: Mon, 17 Nov 2014 14:03:03 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-gnu-emacs@HIDDEN

If you wish to submit further information on this problem, please
send it to 19079 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
19079: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D19079
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#19079: 24.4; smie mis-highlights unmatchable keywords
Resent-From: Lars Ingebrigtsen <larsi@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Fri, 04 Dec 2020 10:27:02 +0000
Resent-Message-ID: <handler.19079.B19079.160707760127806 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Josh Berdine <josh@HIDDEN>
Cc: 19079 <at> debbugs.gnu.org, Stefan Monnier <monnier@HIDDEN>
From: Lars Ingebrigtsen <larsi@HIDDEN>
References: <87bno6t6ah.fsf@HIDDEN>
Date: Fri, 04 Dec 2020 11:26:28 +0100
In-Reply-To: <87bno6t6ah.fsf@HIDDEN> (Josh Berdine's message of "Mon, 17
 Nov 2014 11:28:38 +0000")
Message-ID: <87wnxxlve3.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

Josh Berdine <josh@HIDDEN> writes:

> 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.

(This bug report unfortunately got no response at the time.)

Stefan M says:

 > And sorry for overlooking the fact that "let" gets highlighted as unmatched; that's  
 > indeed an error. Could you report it via "M-x report-emacs-bug" since it's a bug in  
 > smie.el rather than in Tuareg?  

This was six years ago.  Is this still an issue in more recent versions
of Emacs?

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

Message received at control <at> debbugs.gnu.org:

Received: (at control) by debbugs.gnu.org; 4 Dec 2020 10:26:54 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Dec 04 05:26:54 2020
Received: from localhost ([127.0.0.1]:42921 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1kl8Ig-0007F1-Hg
	for submit <at> debbugs.gnu.org; Fri, 04 Dec 2020 05:26:54 -0500
Received: from quimby.gnus.org ([95.216.78.240]:56938)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <larsi@HIDDEN>) id 1kl8If-0007Em-1O
 for control <at> debbugs.gnu.org; Fri, 04 Dec 2020 05:26:53 -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=dmfuGdeuDBKmoWd0ou9xmhWawHnnh5hhZ7kGijy2BnU=; b=KpPyj1Hh0qcovcASsthsGKnUDr
 v2mpQL+GwOIuFfwyXg+hTBdlAUirbCCk5eWizM5gGApFpi4EpOsID0Rgv0lG/lhQVcOIu3AV7yttz
 LhaXfmNxxTuRFtXeHilU1HrOan1IsAY2jOky5+mYNLhQGtnHYgJJ3I4jyfC4rY+FZnZA=;
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 <larsi@HIDDEN>) id 1kl8IX-0007Jg-BP
 for control <at> debbugs.gnu.org; Fri, 04 Dec 2020 11:26:47 +0100
Date: Fri, 04 Dec 2020 11:26:43 +0100
Message-Id: <87v9dhlvdo.fsf@HIDDEN>
To: control <at> debbugs.gnu.org
From: Lars Ingebrigtsen <larsi@HIDDEN>
Subject: control message for bug #19079
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 19079 + 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 <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

tags 19079 + moreinfo
quit

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#19079: 24.4; smie mis-highlights unmatchable keywords
Resent-From: Josh Berdine <josh@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Fri, 04 Dec 2020 22:04:01 +0000
Resent-Message-ID: <handler.19079.B19079.160711941524226 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 19079
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: moreinfo
To: Lars Ingebrigtsen <larsi@HIDDEN>
Cc: 19079 <at> debbugs.gnu.org, Stefan Monnier <monnier@HIDDEN>
Received: via spool by 19079-submit <at> debbugs.gnu.org id=B19079.160711941524226
          (code B ref 19079); Fri, 04 Dec 2020 22:04:01 +0000
Received: (at 19079) by debbugs.gnu.org; 4 Dec 2020 22:03:35 +0000
Received: from localhost ([127.0.0.1]:46043 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1klJAt-0006Ig-CH
	for submit <at> debbugs.gnu.org; Fri, 04 Dec 2020 17:03:35 -0500
Received: from wout5-smtp.messagingengine.com ([64.147.123.21]:33947)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <josh@HIDDEN>) id 1klJAq-0006IQ-4o
 for 19079 <at> debbugs.gnu.org; Fri, 04 Dec 2020 17:03:34 -0500
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)
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: <xms:LbLKXxyax7gLZpUQTr8BkwO_z8dYekiPGXAob6xIilqH-_-MapIfCw>
 <xme:LbLKXxNHt8Nzr3YPJ8sw1duvlspH3yaJetkxMadTLgM2g5ycSB1abaim72KvaUfWg
 vk5k8Mm925_ToZA>
X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedujedrudeikedgudehiecutefuodetggdotefrod
 ftvfcurfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfgh
 necuuegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmd
 enucfjughrpegtggfuhfgjfffgkfhfvffosehtqhhmtdhhtddvnecuhfhrohhmpeflohhs
 hhcuuegvrhguihhnvgcuoehjohhshhessggvrhguihhnvgdrnhgvtheqnecuggftrfgrth
 htvghrnhepheetieeuveffveefvdevfeffvedukeeigeekffffjeegjeehueetgfdthfdv
 hedvnecukfhppeektddriedrvddufedrudeiieenucevlhhushhtvghrufhiiigvpedtne
 curfgrrhgrmhepmhgrihhlfhhrohhmpehjohhshhessggvrhguihhnvgdrnhgvth
X-ME-Proxy: <xmx:LbLKX4NKjZ8ynoJ_yAC6Yz4J3kWA31DDAihoqZ7hbzLUfOenkNe17A>
 <xmx:LbLKX7RYieyeXaM3xPCB_7RpYOj4Gh1HtBYd49y93Es24vG3iHY3ng>
 <xmx:LbLKXyCGGwlxBYcbmwiYh-qwEbysN61NPBAtcvwLZRhcK60HXaUEpg>
 <xmx:LbLKX5A40e1WLpGWzyep6IZ43jMT_Hhh0utbMx9Nmr7F9PvaUUWGTw>
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)
Content-Type: text/plain;
	charset=us-ascii
Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.120.23.2.4\))
From: Josh Berdine <josh@HIDDEN>
In-Reply-To: <87wnxxlve3.fsf@HIDDEN>
Date: Fri, 4 Dec 2020 22:03:23 +0000
Content-Transfer-Encoding: quoted-printable
Message-Id: <07166D84-7897-464C-81CB-90A32AC9C823@HIDDEN>
References: <87bno6t6ah.fsf@HIDDEN> <87wnxxlve3.fsf@HIDDEN>
X-Mailer: Apple Mail (2.3608.120.23.2.4)
X-Spam-Score: -0.7 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.7 (-)

> On Dec 4, 2020, at 10:26 AM, Lars Ingebrigtsen <larsi@HIDDEN> wrote:
>=20
> Josh Berdine <josh@HIDDEN> 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))

Message received at control <at> debbugs.gnu.org:

Received: (at control) by debbugs.gnu.org; 6 Dec 2020 13:11:51 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Dec 06 08:11:51 2020
Received: from localhost ([127.0.0.1]:49145 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1kltpP-00053y-82
	for submit <at> debbugs.gnu.org; Sun, 06 Dec 2020 08:11:51 -0500
Received: from quimby.gnus.org ([95.216.78.240]:52418)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <larsi@HIDDEN>) id 1kltpN-00053l-N1
 for control <at> debbugs.gnu.org; Sun, 06 Dec 2020 08:11:50 -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=70ucCe5S99yP78ydnvlblkqNxdApn/5kfUSOp8YWDF0=; b=HFPfHySebvJujq0sG0Fzth0l1c
 ApHCWIVx4AkzLzvB8fAe/2tTbspYDev2RowB/c3+f8cs7FacfwuJaqnbk/jt3Pu6+EPMknbXNUWFn
 tKPciB/K0AhqOMghy7lYh+hLQXMPVbNlMuvdx18rNWHO/vcopca58oYL4oxFNZMNm32c=;
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 <larsi@HIDDEN>) id 1kltpG-0004Q2-3r
 for control <at> debbugs.gnu.org; Sun, 06 Dec 2020 14:11:44 +0100
Date: Sun, 06 Dec 2020 14:11:41 +0100
Message-Id: <87lfebdqpe.fsf@HIDDEN>
To: control <at> debbugs.gnu.org
From: Lars Ingebrigtsen <larsi@HIDDEN>
Subject: control message for bug #19079
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 19079 - 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 <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

tags 19079 - moreinfo
quit

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#19079: 24.4; smie mis-highlights unmatchable keywords
Resent-From: Lars Ingebrigtsen <larsi@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sun, 06 Dec 2020 13:13:01 +0000
Resent-Message-ID: <handler.19079.B19079.160726036019579 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 19079
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Josh Berdine <josh@HIDDEN>
Cc: 19079 <at> debbugs.gnu.org, Stefan Monnier <monnier@HIDDEN>
Received: via spool by 19079-submit <at> debbugs.gnu.org id=B19079.160726036019579
          (code B ref 19079); Sun, 06 Dec 2020 13:13:01 +0000
Received: (at 19079) by debbugs.gnu.org; 6 Dec 2020 13:12:40 +0000
Received: from localhost ([127.0.0.1]:49151 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1kltqC-00055i-GZ
	for submit <at> debbugs.gnu.org; Sun, 06 Dec 2020 08:12:40 -0500
Received: from quimby.gnus.org ([95.216.78.240]:52444)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <larsi@HIDDEN>) id 1kltqB-00055V-5y
 for 19079 <at> debbugs.gnu.org; Sun, 06 Dec 2020 08:12:39 -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=F7Sj/A3fjMHgkSns/RitcgNRcJberpBnT2zE1cRwW7U=; b=dfGFo9ioYAg1HhMU4N0jBxYcaP
 CS4Q0TVmdKjaFcqhkVN/vlxj+T6n4Wo5g5HirGMuEM/sW7A+SHGAqIX4V9B6OANY5SKq8uvQW8k5b
 b2pL91f6cqIbJOyhE7hhambFG8J+cuvykVvCxyMIcU2iUtDsdUeW+p50b0BkVMIZddOM=;
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 <larsi@HIDDEN>)
 id 1kltpz-0004QP-It; Sun, 06 Dec 2020 14:12:32 +0100
From: Lars Ingebrigtsen <larsi@HIDDEN>
References: <87bno6t6ah.fsf@HIDDEN> <87wnxxlve3.fsf@HIDDEN>
 <07166D84-7897-464C-81CB-90A32AC9C823@HIDDEN>
Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAABGdBTUEAALGPC/xhBQAAACBj
 SFJNAAB6JgAAgIQAAPoAAACA6AAAdTAAAOpgAAA6mAAAF3CculE8AAAAGFBMVEUOCQktDAtcEA/h
 HBTXRzjai3brvK7///9zpNO7AAAAAWJLR0QHFmGI6wAAAAd0SU1FB+QMBg0JMF5ZWV8AAAGvSURB
 VDjLjZNhktMwDIXdlgN0CQcIDQfYRsp/qOQegLV8AUjufwSelGyYZFsGTaZ29VnSs2ynlNKhIyYi
 xceUBdP+8AJ/OjJpGLGI3hyksI6EJdfCQgUzfgcHClMTFVbSDn/ODk75zT2cC5tqsW+gbWQys5Jt
 sJxtvE/ZrMp3zzQEyIOPVif/lR+eiUMQJCGP1umtRw0HHStSlFivANIvejnnglx8LwYBdaQrAIdY
 ZMCumSBXAVrXu+zicnn5jKFoycWBytn3TSEbI3atQm3DAY5LLR/Fu3nGzMEaMncGnfXYc/ob0s0A
 JcQiIpa2K3AVPAMPQT+XVMHXAyG6fZGFoDVzQITwWFa3apsWa2iwCODi4JZWu3z66e5cp60fBjE8
 wcpaIL3XwXKY6uvGH2Xgl47aLegi1YhK1y2Af5jqb9ytfuPHseD0pl84sn5Xm2qFWBuFdgAV7iPj
 MmyrnwCq2jDtQYNuGJf8IQJPRI0UAoRed2Ao3q2PIF4V7phsd7icK8gzsO/Jv8HXZ+DaPQCCJ903
 DwFu0/EBwPN4CNArgMMjEBez+39wnEHzDJxW8AeobKeu9nzLPgAAACV0RVh0ZGF0ZTpjcmVhdGUA
 MjAyMC0xMi0wNlQxMzowOTo0NyswMDowMNPjpKcAAAAldEVYdGRhdGU6bW9kaWZ5ADIwMjAtMTIt
 MDZUMTM6MDk6NDcrMDA6MDCivhwbAAAAAElFTkSuQmCC
X-Now-Playing: Joan as Police Woman's _Cover Two_: "Kiss"
Date: Sun, 06 Dec 2020 14:12:25 +0100
In-Reply-To: <07166D84-7897-464C-81CB-90A32AC9C823@HIDDEN> (Josh
 Berdine's message of "Fri, 4 Dec 2020 22:03:23 +0000")
Message-ID: <87h7ozdqo6.fsf@HIDDEN>
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:  Josh Berdine <josh@HIDDEN> writes: > 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/el [...] 
 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-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Josh Berdine <josh@HIDDEN> writes:

> 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 () =
>  let x = 0 in
>  ()
> C-u 17 C-b

Thanks for checking.  Hopefully somebody with more knowledge about smie
will take a look at this.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

Last modified: Sun, 6 Dec 2020 13:15:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.