From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.help Subject: Re: SMIE grammar for C-style function expressions Date: Tue, 28 Sep 2021 14:45:23 -0400 Message-ID: References: <8c6fc2a9-1086-c026-459d-1e703563ae1d@gmail.com> <1a33ce2e-7083-5b2e-b063-a897b118e21a@gmail.com> <0a2653a2-cac1-3b15-e749-a799baa97dbb@gmail.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="25255"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) Cc: "help-gnu-emacs@gnu.org" To: Nikolay Kudryavtsev Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Tue Sep 28 20:49:56 2021 Return-path: Envelope-to: geh-help-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 1mVIAt-0006K3-1b for geh-help-gnu-emacs@m.gmane-mx.org; Tue, 28 Sep 2021 20:49:55 +0200 Original-Received: from localhost ([::1]:49318 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mVIAr-00072K-VY for geh-help-gnu-emacs@m.gmane-mx.org; Tue, 28 Sep 2021 14:49:53 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:36380) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mVI7D-00040z-3d for help-gnu-emacs@gnu.org; Tue, 28 Sep 2021 14:46:07 -0400 Original-Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:8183) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mVI7B-0005SZ-4Z for help-gnu-emacs@gnu.org; Tue, 28 Sep 2021 14:46:06 -0400 Original-Received: from pmg2.iro.umontreal.ca (localhost.localdomain [127.0.0.1]) by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id 9EE8C807F7; Tue, 28 Sep 2021 14:46:03 -0400 (EDT) Original-Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id 6041E8075E; Tue, 28 Sep 2021 14:46:02 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1632854762; bh=UgWTiwXSJcmMBURMsrGFRTmg8VkAZsB9CkwkbIGqqAI=; h=From:To:Cc:Subject:References:Date:In-Reply-To:From; b=J+3XrXJ31WOqALntgNgZkTtaaaIeh4Fesy0dW6sbJb+ao6POJyPaHeXSFs/cQjlAK DIujNXyAZ6jMGneKsIS2fUlg9sygeHIvSFR+2HVrlyghNCctRf2WxdkDJGtuVYAMbR asWR6OBU4zx/89O6aF3LXTNFHvezitGP3nXl8O+fClIn6bU2gNj77fNMkcbKHx0QOh 6c9bNkCGACGBwJCp8xa9C3W+0COY/U+79Ud2VkR+zqHdsX5DYjltElrMdNWACPgN+k n1beTbJs9SFh2f0Ntj7ZLp1/QKArrRNkB/SnC27ZRVfnthVw5pBdWyKglxchPdwUpm Y1Di1EnC/Jxmg== Original-Received: from alfajor (lechon.iro.umontreal.ca [132.204.27.242]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 58389120377; Tue, 28 Sep 2021 14:46:02 -0400 (EDT) In-Reply-To: <0a2653a2-cac1-3b15-e749-a799baa97dbb@gmail.com> (Nikolay Kudryavtsev's message of "Tue, 28 Sep 2021 21:12:11 +0300") Received-SPF: pass client-ip=132.204.25.50; envelope-from=monnier@iro.umontreal.ca; helo=mailscanner.iro.umontreal.ca X-Spam_score_int: -23 X-Spam_score: -2.4 X-Spam_bar: -- X-Spam_report: (-2.4 / 5.0 requ) DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: "help-gnu-emacs" Xref: news.gmane.io gmane.emacs.help:133362 Archived-At: > I see. I was aware of this option, but letting anything happen in the middle > of statements for which we know the proper grammar just feels intuitively > wrong to me, ;-) This design decision is at the core of SMIE. I won't argue that it can be odd at first (and limiting at times), but it is the key design element that allows the system to work reasonably well despite its simplicity. Stefan