From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id aIWeCnQ182TlZgAAG6o9tA:P1 (envelope-from ) for ; Sat, 02 Sep 2023 15:15:32 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id aIWeCnQ182TlZgAAG6o9tA (envelope-from ) for ; Sat, 02 Sep 2023 15:15:32 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id AD32A543A1 for ; Sat, 2 Sep 2023 15:15:31 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=vodafonemail.de header.s=vfde-mb-mr2-21dec header.b=PrNY33i1; dmarc=pass (policy=quarantine) header.from=vodafonemail.de; spf=pass (aspmx1.migadu.com: domain of "emacs-orgmode-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="emacs-orgmode-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1693660532; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=BqAgf7seJAzrG+j5hpa0v1Y4SnxBCfRrUdPnW3QrBhw=; b=kp0HuLTn1tlVxtNEzBC5Aa2VFgvk7QHrIC7iYcjZ/3AaZ79SUvCADw34ewUM8Gjbl0uaXd ZjE4sGhOID4zOmp3UfmiRUxSgUvQ40BEl4S7xlPCn3lRkeoXJsw+kAk4S7XePsjuUcFjfT nU50elDqHo5xxv/PlvlE7MrlSQwXv98YdF6T+KdCEdGLM+PR/XWwKQEWQxo0Y6tk6AXISW XSpzdDGqUBLjQmvTYOF3Paf7HeCOxpKt8JbcGiHCUV94ZHh+vQPGDuTKM5KJsUgk7vPg0A FdsSyI49wDIGkoZBzVEoPJpOILerFdVEQMEXQ7jmYkU2MiYJtf3zTSxYecBh3A== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1693660532; a=rsa-sha256; cv=none; b=YJL7NO7DvvMV1laeY1ivZM2MxtuzE7kd35gzeEm5xrJ0Vtd9p6jEaGc2aZV9HByKVYBxET PaUhbuKzijupQy3NTqHYeRttOTBR87xIBY301/gf/s6mJd7kMLxkrbzncykdfYOKKD7zXj VgEiril7jrWxT+8uZ/iMAwH8OMzZtMepr0AQiDad37aTR5xo5UWVeX3Yl5xnXiFYjXcJOj dcLBV1O/GGXcolZkHMt23aQar1i0SZTFFbi9t7umYJIPUqD9eoGjKtx9x0AcrfuTyxEnwh CRe8yIR0UT0cjxbhD70YJu8eB9xThEUH+rwa4SmblBL+ESAoXRhOE//+9q8Qxw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=vodafonemail.de header.s=vfde-mb-mr2-21dec header.b=PrNY33i1; dmarc=pass (policy=quarantine) header.from=vodafonemail.de; spf=pass (aspmx1.migadu.com: domain of "emacs-orgmode-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="emacs-orgmode-bounces+larch=yhetil.org@gnu.org" Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qcQST-0000tR-02; Sat, 02 Sep 2023 09:14:37 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qcQSR-0000tJ-7S for emacs-orgmode@gnu.org; Sat, 02 Sep 2023 09:14:35 -0400 Received: from mr5.vodafonemail.de ([145.253.228.165]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qcQSO-00074Z-Ji for emacs-orgmode@gnu.org; Sat, 02 Sep 2023 09:14:34 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=vodafonemail.de; s=vfde-mb-mr2-21dec; t=1693660469; bh=BqAgf7seJAzrG+j5hpa0v1Y4SnxBCfRrUdPnW3QrBhw=; h=Message-ID:Date:User-Agent:Subject:To:References:Content-Language: From:In-Reply-To:Content-Type:From; b=PrNY33i1TYLVM5rvJ/QJ0OaaOPH/5lElRsO6J+ZkXSWSIHL3v/5qgnFtMrsqKR5IR vXDS9JU990+mZSzS9ZvK7aI+X5cbbMOtaqfqTF/OxF4/DYwORDeDtnr5FIA0ETOiml 7i5hbbn5d6La1r/CioF9orxjsfP3L7DApFpemM3E= Received: from smtp.vodafone.de (unknown [10.0.0.2]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by mr5.vodafonemail.de (Postfix) with ESMTPS id 4RdFjd2Ptvz1yW6; Sat, 2 Sep 2023 13:14:29 +0000 (UTC) Received: from [192.168.0.138] (unknown [86.33.91.186]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by smtp.vodafone.de (Postfix) with ESMTPSA id 4RdFjQ1kLJz9s3t; Sat, 2 Sep 2023 13:14:15 +0000 (UTC) Message-ID: Date: Sat, 2 Sep 2023 15:14:08 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.14.0 Subject: Re: Redoing the current tag/property parser in a real grammar [was: Re: [RFC] Quoting property names in tag/property matches] To: Ihor Radchenko Cc: Samuel Loury , emacs-orgmode@gnu.org References: <87h6oq2nu1.fsf@gmail.com> <877cpm6oe3.fsf@localhost> <811c9bda-cea4-c0d6-30b4-53ebdb432ab6@vodafonemail.de> <748acab1-eaf4-fdd3-13a6-26e6229de613@vodafonemail.de> <87o7iw7v4q.fsf@localhost> <98f4101b-7281-2793-ca30-7086c4f10c5d@vodafonemail.de> <87sf86w1k8.fsf@localhost> <6a7888b5-1b4c-9a59-8a8e-e27c9d8b50cb@vodafonemail.de> <87h6omj9nx.fsf@localhost> <87edjqj8mk.fsf@localhost> <878r9xez7m.fsf@gmail.com> <874jklhqw2.fsf@localhost> <2937cbf6-4ee7-0bdc-b585-d74c9d80883b@vodafonemail.de> <87bkelhwyz.fsf@localhost> Content-Language: de-DE-frami, en-US From: Jens Schmidt In-Reply-To: <87bkelhwyz.fsf@localhost> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-purgate-type: clean X-purgate: clean X-purgate-size: 1347 X-purgate-ID: 155817::1693660465-C37F9816-16FD8007/0/0 Received-SPF: pass client-ip=145.253.228.165; envelope-from=jschmidt4gnu@vodafonemail.de; helo=mr5.vodafonemail.de X-Spam_score_int: -42 X-Spam_score: -4.3 X-Spam_bar: ---- X-Spam_report: (-4.3 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, NICE_REPLY_A=-1.473, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-orgmode@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+larch=yhetil.org@gnu.org Sender: emacs-orgmode-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Queue-Id: AD32A543A1 X-Migadu-Scanner: mx0.migadu.com X-Migadu-Spam-Score: -6.93 X-Spam-Score: -6.93 X-TUID: rZMoQeAJBAUh On 2023-09-02 09:10, Ihor Radchenko wrote: > Jens Schmidt writes: >> This all calls for a proper parser, based on peg or bovine or whatever. >> Hopefully that parser would still keep backward compatibility, but >> that's probably wishful thinking. > > Backward compatibility will be easy - just leave the current code when > old query version is detected. We should better focus on the new syntax > in future and leave the current syntax as compatibility layer that will > be eventually deprecated. Agreed except for the deprecation part. I think Org should be big enough to have two parsers: One along the lines of the current one (infix, DWIM, easy to type) and one along the lines of org-ql (sexp, better extensible, more flexible, harder to type). Ideally, it should be even possible to embed the infix-one into the sexp-one. It should also be possible to put the current infix parser onto a more stable ground as well, based on a formal grammar, providing at least parentheses for grouping and negation, and that without breaking backward compatibility. Let's rephrase that way: If I were to redo the current parser as mentioned in the previous paragraph, would these changes "eventually be deprecated"? (Which doesn't necessarily mean that I promise to do so, of course.)