From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.bugs Subject: bug#16416: 24.3; [SMIE] Assertion failure in smie-prec2->grammar Date: Mon, 13 Jan 2014 20:04:07 -0500 Message-ID: References: <87y52mo11v.fsf@mojito.crans.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1389661516 7654 80.91.229.3 (14 Jan 2014 01:05:16 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 14 Jan 2014 01:05:16 +0000 (UTC) Cc: 16416@debbugs.gnu.org To: cauderlier@crans.org (=?UTF-8?Q?Rapha=C3=ABl?= Cauderlier) Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Tue Jan 14 02:05:22 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 1W2sRU-0007jy-7z for geb-bug-gnu-emacs@m.gmane.org; Tue, 14 Jan 2014 02:05:20 +0100 Original-Received: from localhost ([::1]:45882 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W2sRT-0003cn-Mn for geb-bug-gnu-emacs@m.gmane.org; Mon, 13 Jan 2014 20:05:19 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:60407) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W2sRK-0003bj-46 for bug-gnu-emacs@gnu.org; Mon, 13 Jan 2014 20:05:17 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1W2sRC-00021L-Q3 for bug-gnu-emacs@gnu.org; Mon, 13 Jan 2014 20:05:10 -0500 Original-Received: from debbugs.gnu.org ([140.186.70.43]:35526) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W2sRC-00021A-Me for bug-gnu-emacs@gnu.org; Mon, 13 Jan 2014 20:05:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1W2sRB-0008M5-Sk for bug-gnu-emacs@gnu.org; Mon, 13 Jan 2014 20:05:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 14 Jan 2014 01:05:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16416 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 16416-submit@debbugs.gnu.org id=B16416.138966145132043 (code B ref 16416); Tue, 14 Jan 2014 01:05:01 +0000 Original-Received: (at 16416) by debbugs.gnu.org; 14 Jan 2014 01:04:11 +0000 Original-Received: from localhost ([127.0.0.1]:49545 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W2sQM-0008Kl-Ek for submit@debbugs.gnu.org; Mon, 13 Jan 2014 20:04:10 -0500 Original-Received: from ironport2-out.teksavvy.com ([206.248.154.181]:10548) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W2sQK-0008Kc-HV for 16416@debbugs.gnu.org; Mon, 13 Jan 2014 20:04:08 -0500 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av4EABK/CFFMCoyj/2dsb2JhbABEvw4Xc4IfAQUnLyMQCzQSFBgNiEjBLZEKA4hhnBmBXoMV X-IPAS-Result: Av4EABK/CFFMCoyj/2dsb2JhbABEvw4Xc4IfAQUnLyMQCzQSFBgNiEjBLZEKA4hhnBmBXoMV X-IronPort-AV: E=Sophos;i="4.84,565,1355115600"; d="scan'208";a="44869543" Original-Received: from 76-10-140-163.dsl.teksavvy.com (HELO pastel.home) ([76.10.140.163]) by ironport2-out.teksavvy.com with ESMTP/TLS/ADH-AES256-SHA; 13 Jan 2014 20:04:07 -0500 Original-Received: by pastel.home (Postfix, from userid 20848) id C8A246105F; Mon, 13 Jan 2014 20:04:07 -0500 (EST) In-Reply-To: <87y52mo11v.fsf@mojito.crans.org> ("=?UTF-8?Q?Rapha=C3=ABl?= Cauderlier"'s message of "Sat, 11 Jan 2014 18:55:56 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) 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:83432 Archived-At: > (smie-prec2->grammar (smie-bnf->prec2 '((name) (l ("a" name))))) > This raised the following error message: > (cl-assertion-failed (numberp (car cons))) Hmm..indeed. The assertion can be removed, but then we bump into another signal. The problem is that the grammar is simply "too trivial" and smie.el seems to bump into invalid assumptions in that case. As soon as you add some other terminal to the "l" rule, or the "name" rule, or you use "l" somewhere, the problem disappears. Intuitively this problem might manifest itself in a more realistic grammar, yet I don't quite see in which case, and for that reason I don't really see yet what would be the right fix. I'm tempted to think that the problem is partly to blame on smie-bnf->prec2 which generates a prec2 table where "a" is missing (except for the side info of :smie-open/close-alist). Stefan