From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Rutger van Beusekom Newsgroups: gmane.lisp.guile.devel Subject: Re: [PATCH v2 5/5] peg: Add fall-back parsing. Date: Wed, 16 Oct 2024 06:44:09 +0000 Message-ID: References: <87seszdu1d.fsf@gnu.org> <20241014073109.19774-1-janneke@gnu.org> <20241014073109.19774-5-janneke@gnu.org> <87iktvdtkr.fsf@gnu.org> <4c1b640b-41f8-4d74-9889-1c1d69a845be@elenq.tech> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="_000_DU0PR08MB741473B7C344CFF2ABEB3A10BB462DU0PR08MB7414eurp_" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="25508"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Rutger van Beusekom To: Ekaitz Zarraga , Janneke Nieuwenhuizen , "guile-devel@gnu.org" Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Wed Oct 16 08:44:59 2024 Return-path: Envelope-to: guile-devel@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 1t0xmF-0006Ms-4m for guile-devel@m.gmane-mx.org; Wed, 16 Oct 2024 08:44:59 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1t0xls-00041e-B1; Wed, 16 Oct 2024 02:44:36 -0400 Original-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 1t0xlq-00041E-M5 for guile-devel@gnu.org; Wed, 16 Oct 2024 02:44:34 -0400 Original-Received: from mail-am6eur05on2136.outbound.protection.outlook.com ([40.107.22.136] helo=EUR05-AM6-obe.outbound.protection.outlook.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1t0xlo-0000kR-EZ; Wed, 16 Oct 2024 02:44:34 -0400 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=cb5KTGI0xa43PrA+0Hbu7TcYL/zgrRdq8VWqCtZmtjctUpGjqMGlP/P7bmkKu9SQlGyBdIZwW7yfhVWN0N+8uz/1YofyD+o5eBvlqfomB071Opu4GJiIEZyqIGgx0GoJPT7Bo/KKG5aBm3HHLHTwlSQ8GClD09/8YgkDg7jaOkTccuVqm/0KMTSDcutSRCVSUa78pfopL7R/C6tgnOrKhClJk3gpwxaHRW1nc6J0CL9RWOceOUg5q0bajie//cTl0ZSDW53go2qyS/U9Ckz06cdubuuDxfiIj4MnGL16PSDo+6oJbypJZIUeSuVE0cxeogeO0AapCa9WMpwxw11b2w== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=74O8xeZnVN2gR4eNW7VbmiweWmS8ZdNzbDmJGCZvadU=; b=H+r2/OfNxNIh0/Yawi98HRa+S5RZFlWUEKMOGg8lANGmi8qrVC2/jHTQ0GPiMqBfjVkHo9v6M1JBELJYJQAgeZm9dXdzNq4TxKYb2pV6Tr9XIk6lvsU6amWL3z/PdcxE7Afog+xKchCGS/9dfnerzbb1E+fdpWFETrl58NZhNz5/mm46PZz4gclM/tFk/D8wEy3BkOgseI/56F5Fqw7rRO1o0nTtwAktg+rEGlaDf7x979MlT9kq+285MbMH7FlGAfuoWSaiebjwHMic/l2bQSGSyvyJwJiEF3q6pLmCQThifBQq2rycxKJn2FyTvTqqilFBtv71nAnG5iYskL3zdQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=verum.com; dmarc=pass action=none header.from=verum.com; dkim=pass header.d=verum.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=verumst.onmicrosoft.com; s=selector2-verumst-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=74O8xeZnVN2gR4eNW7VbmiweWmS8ZdNzbDmJGCZvadU=; b=IhmCkMxo44Cibsz9HHTyiuib2gRO0njbdXyI/xvu4Zr1YSsQ9NGibJpsT4qvPlo/SBOqYThsDPCjaqYEuJnxvEaGUxxktEQ2Ixpg7/MH3G2IgAx1w2KiHdY73FDODC72Gjv4JemYdD0PE9EUKTFrG8buVKc5l+z6opj2LqSc3CY= Original-Received: from DU0PR08MB7414.eurprd08.prod.outlook.com (2603:10a6:10:352::8) by PA4PR08MB7668.eurprd08.prod.outlook.com (2603:10a6:102:265::16) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8048.26; Wed, 16 Oct 2024 06:44:10 +0000 Original-Received: from DU0PR08MB7414.eurprd08.prod.outlook.com ([fe80::8dcc:f23b:89c4:cc27]) by DU0PR08MB7414.eurprd08.prod.outlook.com ([fe80::8dcc:f23b:89c4:cc27%5]) with mapi id 15.20.8048.020; Wed, 16 Oct 2024 06:44:09 +0000 Thread-Topic: [PATCH v2 5/5] peg: Add fall-back parsing. Thread-Index: AQHbHgsUgQH+52IpCUynvSxLzc26X7KF247sgACMPICAAobdjA== In-Reply-To: <4c1b640b-41f8-4d74-9889-1c1d69a845be@elenq.tech> Accept-Language: en-NL, nl-NL, en-US Content-Language: aa authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=verum.com; x-ms-publictraffictype: Email x-ms-traffictypediagnostic: DU0PR08MB7414:EE_|PA4PR08MB7668:EE_ x-ms-office365-filtering-correlation-id: f86ea201-588c-4579-415b-08dcedadf068 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; ARA:13230040|376014|366016|1800799024|38070700018; x-microsoft-antispam-message-info: =?us-ascii?Q?g3LWIBXbwT87hiwdM/6NVrJEpjFbSWc++sZUP/FhgixJ+ZGhnkV1Hx2lJlCg?= =?us-ascii?Q?QWu+JQ6ptcjw5QaoGdwZ1tqP6eiRY5RPD6D0FVKFaqk+wCHEklRohkwDvu8c?= =?us-ascii?Q?71OyqbI8AZxOxqloNN8D4mrIoSGeJZCvFswWfDwm/rvR0QPj+PlvrZZ0TlyT?= =?us-ascii?Q?5IaEM9AfmWrl55Ht90UrhNnhuT0NEaGKa6gO+VjYhXp/e0x0KQ/+wlIF7YG0?= =?us-ascii?Q?rCEX4Zkw33Q1akOlCTT63pVL6zknnLvZy7YsTGarBXj/TshAzhuysGnsybIb?= =?us-ascii?Q?VhFICK6uWbtQA4vfV+27joPAnvtkPq7LBUXs8G0yZqMtyN+sMNwM7EoFyri4?= =?us-ascii?Q?pXIEWjc1tBwUDSIQkSeCsNCFBoAJANyAFZgKFdv0M9NpXGU58WOR4gfMrKoT?= =?us-ascii?Q?F98rBC5oTsFSoqdy1ZLoI1W1GBgsRb4nPlXlanoca92oTALD4baiANgQ10lX?= =?us-ascii?Q?N6BQsygWK6f7gjcemq5GpffHj8juyVxm3ResqUsmYg5tLBfLU4INocIVax5l?= =?us-ascii?Q?jf44KMkAInZ2A/b0zs7V019bVxcnNzBaRqx+0G7+/CtX30UyEqeK4Ofc1osk?= =?us-ascii?Q?HVHf1cb+0l8O9uYfKsvBwZsS1OVHBZiiZ4jLP7/Z6Es9bYyAG5jlIigNwX44?= =?us-ascii?Q?Eqhnk x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:DU0PR08MB7414.eurprd08.prod.outlook.com; PTR:; CAT:NONE; SFS:(13230040)(376014)(366016)(1800799024)(38070700018); DIR:OUT; SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?lv2OCXjVcpJwJ9PliUrCWe5IOLcxF1jfgef+xI4vKhcUtKSSg9JtIpP7L3cL?= =?us-ascii?Q?K786VsW924+QX2OmUZTjZKXXGuKmCgU1HEHsLgDK+oGMGqNz9CezuYUDRjOv?= =?us-ascii?Q?xa4QS5MNdn9Z3fZKPMG+y5zU+E5vpQCh0dskKGGOoBqJL1n1PT6wX7qiSa+L?= =?us-ascii?Q?HmZ21iFJH9oKbmraACbPZXMEvd5584KDQ7lBTWBPdeIJv/hC5j58IRN46ZS8?= =?us-ascii?Q?Y/Cq5x8D9uSDPn88hw+eb8Lk1jz653O32BCFbAUkUz7jR99Vx6wTO9tWZB2U?= =?us-ascii?Q?xHsGorVJeGj9/TmWxb4e7JdhihwKVcfwG5+veusTUa678SljEyELXq1n4E0S?= =?us-ascii?Q?zGzMUDy9xmdiCSpQl9r/E/25SED9xZ/VehZivdNrSwZj2pGvoIb7j1DjrURz?= =?us-ascii?Q?RLh8nZooGq/1LpAzC4wlLS1fp/moriWBgFvni2AnrglJgOZVfO3DZlG13H+S?= =?us-ascii?Q?UpBvY2xOsZahwxX+E42J9V+g4r1siLFHspVMAoUnAIfcSxeeR8YlLQ7xu/rZ?= =?us-ascii?Q?PvTeodoF9sAZm4QV9kPVPpENG9cxBWt6JfPxRS7xPE4HOlPXYUj2NufiFA63?= =?us-ascii?Q?W+KX531UJg/d3sURpcDgxOn+mHLHSMO/iz4ONjEYN47KkYJ20xYWMj8f66JP?= =?us-ascii?Q?Jq X-OriginatorOrg: verum.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: DU0PR08MB7414.eurprd08.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: f86ea201-588c-4579-415b-08dcedadf068 X-MS-Exchange-CrossTenant-originalarrivaltime: 16 Oct 2024 06:44:09.8061 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: a12adc2b-ece0-4282-b9ce-ad23864dd7c5 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: ytFKtd/mfe3gXoSNGdTDdXBhurwYQI+fXzv9M30poYYwXxnT6m2wcpEF46NcrxK2Hb9SgHAFpjUsWyT3Eobo3GZTblJml7bvnKo5cj+Fvms= X-MS-Exchange-Transport-CrossTenantHeadersStamped: PA4PR08MB7668 Received-SPF: pass client-ip=40.107.22.136; envelope-from=rutger.van.beusekom@verum.com; helo=EUR05-AM6-obe.outbound.protection.outlook.com X-Spam_score_int: -30 X-Spam_score: -3.1 X-Spam_bar: --- X-Spam_report: (-3.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-1.249, RCVD_IN_VALIDITY_CERTIFIED_BLOCKED=0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Original-Sender: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.lisp.guile.devel:22739 Archived-At: --_000_DU0PR08MB741473B7C344CFF2ABEB3A10BB462DU0PR08MB7414eurp_ Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable ________________________________ From: Ekaitz Zarraga Sent: Monday, 14 October 2024 17:58 To: Janneke Nieuwenhuizen ; guile-devel@gnu.org Cc: Rutger van Beusekom Subject: Re: [PATCH v2 5/5] peg: Add fall-back parsing. Hi Ekaitz, > I think this change is not compatible with the PEG syntax. In PEG # is a > line comment: I am not attached to # as the PEG expect operator. At the same time the expect operator is not part of https://bford.info/pub/lang/peg.pdf. I think we should consider choosing another name for the expect operator, do you have a suggestion Ekaitz? I was considering "reusing" the she-bang, i.e. #!, since the expect operato= r throws an exception, but Janneke pointed out that ! as a modifier on the # comment is not very intuitive and I tend to agree. Regtur --_000_DU0PR08MB741473B7C344CFF2ABEB3A10BB462DU0PR08MB7414eurp_ Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable


From: Ekaitz Zarraga <ekaitz@elenq.tech>
Sent: Monday, 14 October 2024 17:58
To: Janneke Nieuwenhuizen <janneke@gnu.org>; guile-devel@= gnu.org <guile-devel@gnu.org>
Cc: Rutger van Beusekom <rutger@dezyne.org>
 
Hi Ekaitz,

> I think this change is not compatible with the PEG syntax. In PEG # is= a
> line comment:

I am not attached to # as the PEG expect operator.  At the same time t= he
expect operator is not part of https://bford.info/pub/lang/peg.pdf. I think
we should consider choosing another name for the expect operator, do you
have a suggestion Ekaitz?

I was considering "reusing" the she-bang, i.e. #!, since the expe= ct operator
throws an exception, but Janneke pointed out that ! as a modifier on the #<= /div>
comment is not very intuitive and I tend to agree.

Regtur
--_000_DU0PR08MB741473B7C344CFF2ABEB3A10BB462DU0PR08MB7414eurp_--