From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: cauderlier@crans.org (=?UTF-8?Q?Rapha=C3=ABl?= Cauderlier) Newsgroups: gmane.emacs.bugs Subject: bug#16416: 24.3; [SMIE] Assertion failure in smie-prec2->grammar Date: Sat, 11 Jan 2014 18:55:56 +0100 Message-ID: <87y52mo11v.fsf@mojito.crans.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1389470181 27613 80.91.229.3 (11 Jan 2014 19:56:21 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 11 Jan 2014 19:56:21 +0000 (UTC) To: 16416@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Sat Jan 11 20:56:25 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 1W24fL-0000rX-Gs for geb-bug-gnu-emacs@m.gmane.org; Sat, 11 Jan 2014 20:56:19 +0100 Original-Received: from localhost ([::1]:35289 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W24fL-00059k-1L for geb-bug-gnu-emacs@m.gmane.org; Sat, 11 Jan 2014 14:56:19 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:39941) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W24fB-00059c-Vm for bug-gnu-emacs@gnu.org; Sat, 11 Jan 2014 14:56:15 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1W24f4-0007Z7-Gu for bug-gnu-emacs@gnu.org; Sat, 11 Jan 2014 14:56:09 -0500 Original-Received: from debbugs.gnu.org ([140.186.70.43]:33055) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W24f4-0007Z3-D5 for bug-gnu-emacs@gnu.org; Sat, 11 Jan 2014 14:56:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1W24f4-0005kp-52 for bug-gnu-emacs@gnu.org; Sat, 11 Jan 2014 14:56:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: cauderlier@crans.org (=?UTF-8?Q?Rapha=C3=ABl?= Cauderlier) Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 11 Jan 2014 19:56:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 16416 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.138947014822096 (code B ref -1); Sat, 11 Jan 2014 19:56:01 +0000 Original-Received: (at submit) by debbugs.gnu.org; 11 Jan 2014 19:55:48 +0000 Original-Received: from localhost ([127.0.0.1]:47074 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W24el-0005k8-4z for submit@debbugs.gnu.org; Sat, 11 Jan 2014 14:55:47 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:51866) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W22vC-0002iY-QE for submit@debbugs.gnu.org; Sat, 11 Jan 2014 13:04:35 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1W22v6-0005dB-Iq for submit@debbugs.gnu.org; Sat, 11 Jan 2014 13:04:34 -0500 Original-Received: from lists.gnu.org ([2001:4830:134:3::11]:59304) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W22v6-0005d1-G2 for submit@debbugs.gnu.org; Sat, 11 Jan 2014 13:04:28 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:53471) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W22v0-00027o-UG for bug-gnu-emacs@gnu.org; Sat, 11 Jan 2014 13:04:28 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1W22uu-0005Zm-5Z for bug-gnu-emacs@gnu.org; Sat, 11 Jan 2014 13:04:22 -0500 Original-Received: from redisdead.crans.org ([138.231.136.39]:57193) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W22ut-0005ZQ-Q2 for bug-gnu-emacs@gnu.org; Sat, 11 Jan 2014 13:04:16 -0500 Original-Received: from mojito.crans.org (unknown [IPv6:2a01:e34:ec1d:27d0:864b:f5ff:feb8:9b78]) (using TLSv1.2 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) by redisdead.crans.org (Postfix) with ESMTPSA id 874F32557 for ; Sat, 11 Jan 2014 18:56:36 +0100 (CET) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Mailman-Approved-At: Sat, 11 Jan 2014 14:55:40 -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:83313 Archived-At: Hello, I started emacs with emacs -Q and evaled the following file with load-file: ----- (require 'smie) (smie-prec2->grammar (smie-bnf->prec2 '((name) (l ("a" name))))) ----- This raised the following error message: (cl-assertion-failed (numberp (car cons))) where I expected a SMIE grammar to be returned without error message. The inner function smie-bnf->prec2 doesn't fail and the documentation string for the outter function smie-prec2->grammar indicates that it's argument could be a value returned by smie-bnf->prec2: ----- smie-prec2->grammar is a compiled Lisp function in `smie.el'. (smie-prec2->grammar PREC2) Take a 2D precedence table and turn it into an alist of precedence levels. PREC2 is a table as returned by `smie-precs->prec2' or `smie-bnf->prec2'. ----- I hope I gave you enough information to reproduce this issue. I'm not very familiar with the Lisp Debugger so I don't know how to get a backtrace from a cl-assertion-failed. Have a nice day! --=20 Rapha=C3=ABl Cauderlier In GNU Emacs 24.3.1 (x86_64-pc-linux-gnu, GTK+ Version 3.8.6) of 2013-12-22 on brahms, modified by Debian Windowing system distributor `The X.Org Foundation', version 11.0.11204000 System Description: Debian GNU/Linux testing (jessie) Configured using: `configure '--build' 'x86_64-linux-gnu' '--build' 'x86_64-linux-gnu' '--prefix=3D/usr' '--sharedstatedir=3D/var/lib' '--libexecdir=3D/usr/lib' '--localstatedir=3D/var/lib' '--infodir=3D/usr/share/info' '--mandir=3D/usr/share/man' '--with-pop=3Dyes' '--enable-locallisppath=3D/etc/emacs24:/etc/emacs:/usr/local/share/emacs/2= 4.3/site-lisp:/usr/local/share/emacs/site-lisp:/usr/share/emacs/24.3/site-l= isp:/usr/share/emacs/site-lisp' '--with-crt-dir=3D/usr/lib/x86_64-linux-gnu' '--with-x=3Dyes' '--with-x-toolkit=3Dgtk3' '--with-toolkit-scroll-bars' 'build_alias=3Dx86_64-linux-gnu' 'CFLAGS=3D-g -O2 -fstack-protector --param=3Dssp-buffer-size=3D4 -Wformat -Werror=3Dformat-security -Wall' 'LDFLAGS=3D-Wl,-z,relro' 'CPPFLAGS=3D-D_FORTIFY_SOURCE=3D2'' Important settings: value of $LANG: fr_FR.UTF-8 locale-coding-system: utf-8-unix default enable-multibyte-characters: t Major mode: Lisp Interaction Minor modes in effect: tooltip-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 s m i e - b u g . l=20 e l M-x r e p o r t - e m a c=20 s - b u g Recent messages: For information about GNU Emacs and the GNU system, type C-h C-a. Loading /home/harry/test/smie-bug.el (source)... smie-prec2->grammar: Assertion failed: (numberp (car cons)) Load-path shadows: None found. Features: (shadow sort gnus-util mail-extr emacsbug message format-spec rfc822 mml easymenu mml-sec mm-decode mm-bodies mm-encode mail-parse rfc2231 mailabbrev gmm-utils mailheader sendmail rfc2047 rfc2045 ietf-drums mm-util mail-prsvr mail-utils smie time-date tooltip 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 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 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 dynamic-setting system-font-setting font-render-setting move-toolbar gtk x-toolkit x multi-tty emacs)