GNU bug report logs - #73290
sxml-match doesn't support several ellipsis at the same level

Message received at submit <at> debbugs.gnu.org:

Received: (at submit) by debbugs.gnu.org; 16 Sep 2024 07:40:57 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Sep 16 03:40:56 2024
Received: from localhost ([127.0.0.1]:51012 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sq6Lw-00062R-NJ
	for submit <at> debbugs.gnu.org; Mon, 16 Sep 2024 03:40:56 -0400
Received: from lists.gnu.org ([209.51.188.17]:57242)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <ngraves@HIDDEN>) id 1sq6Lu-00062K-Ue
 for submit <at> debbugs.gnu.org; Mon, 16 Sep 2024 03:40:55 -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 <ngraves@HIDDEN>)
 id 1sq6Lg-0002Rm-N7
 for bug-guile@HIDDEN; Mon, 16 Sep 2024 03:40:41 -0400
Received: from 7.mo581.mail-out.ovh.net ([46.105.43.131])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <ngraves@HIDDEN>)
 id 1sq6Le-0004Rr-LB
 for bug-guile@HIDDEN; Mon, 16 Sep 2024 03:40:40 -0400
Received: from director5.ghost.mail-out.ovh.net (unknown [10.108.25.12])
 by mo581.mail-out.ovh.net (Postfix) with ESMTP id 4X6cJy1qPWz1GgQ
 for <bug-guile@HIDDEN>; Mon, 16 Sep 2024 07:40:34 +0000 (UTC)
Received: from ghost-submission-55b549bf7b-qzft6 (unknown [10.110.118.3])
 by director5.ghost.mail-out.ovh.net (Postfix) with ESMTPS id E0F541FEB0
 for <bug-guile@HIDDEN>; Mon, 16 Sep 2024 07:40:33 +0000 (UTC)
Received: from ngraves.fr ([37.59.142.103])
 by ghost-submission-55b549bf7b-qzft6 with ESMTPSA
 id LcX0J/Hg52bdagIADEJklg (envelope-from <ngraves@HIDDEN>)
 for <bug-guile@HIDDEN>; Mon, 16 Sep 2024 07:40:33 +0000
Authentication-Results: garm.ovh; auth=pass
 (GARM-103G00530163541-3573-4d6c-8b4f-3aded20652c1,
 4F4A5AE58FE4CF5F5CAC20825C22FE3F3E3C314D) smtp.auth=ngraves@HIDDEN
X-OVh-ClientIp: 87.88.168.235
From: Nicolas Graves <ngraves@HIDDEN>
To: bug-guile@HIDDEN
Subject: sxml-match doesn't support several ellipsis at the same level
Date: Mon, 16 Sep 2024 09:40:33 +0200
Message-ID: <8734m09hce.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
X-Ovh-Tracer-Id: 16209018011394826933
X-VR-SPAMSTATE: OK
X-VR-SPAMSCORE: 0
X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrgeeftddrudekgedguddvgecutefuodetggdotefrodftvfcurfhrohhfihhlvgemucfqggfjpdevjffgvefmvefgnecuuegrihhlohhuthemucehtddtnecunecujfgurhephffvufffkfggtgesthdtredttddttdenucfhrhhomheppfhitgholhgrshcuifhrrghvvghsuceonhhgrhgrvhgvshesnhhgrhgrvhgvshdrfhhrqeenucggtffrrghtthgvrhhnpeeujeelieeljeffhfelteejtdeljeehveduffelvefgudefkeehgfdvvdevgeevfeenucfkphepuddvjedrtddrtddruddpkeejrdekkedrudeikedrvdefhedpfeejrdehledrudegvddruddtfeenucevlhhushhtvghrufhiiigvpedtnecurfgrrhgrmhepihhnvghtpeduvdejrddtrddtrddupdhmrghilhhfrhhomhepnhhgrhgrvhgvshesnhhgrhgrvhgvshdrfhhrpdhnsggprhgtphhtthhopedupdhrtghpthhtohepsghughdqghhuihhlvgesghhnuhdrohhrghdpoffvtefjohhsthepmhhoheekuddpmhhouggvpehsmhhtphhouhht
DKIM-Signature: a=rsa-sha256; bh=Ez0FAhYvyjotsyVoRy9143cLTmtyAHy7hKbNg0Jr4EQ=; 
 c=relaxed/relaxed; d=ngraves.fr; h=From;
 s=ovhmo4487190-selector1; t=1726472434; v=1;
 b=5SYGDxlasVSJ3VKZw9sPW4aGgUjC4cEtZ2viBOXkUHRSbLiJWMDgPo8Euu+cs0rxOmiYHseb
 zXQvWnxwTVRzGPSGwi6pYcnO+o6ZBcGouROLK0AYXo5M5MbddfeYQqxIxDqoY72EKvx0SVTxAY2
 XLiQG4XuwSpvOP9kTGxDW+x6oXAKlA6oiYv02A867+lPRyq9gxHprQJQ/vtSG2BbJ9MBv3+zqDF
 48MK/SkHLb0TnDJAm2gxZ7wOJP/lKMNxOll5tHMe6pKRSjQUl2YhV31CR6r3TmJARB7p/Thc6eB
 00VGpILnUAFfKVTD98OIk726ep+Y+H1ZgwRZNzIBaJ8Xg==
Received-SPF: pass client-ip=46.105.43.131; envelope-from=ngraves@HIDDEN;
 helo=7.mo581.mail-out.ovh.net
X-Spam_score_int: -7
X-Spam_score: -0.8
X-Spam_bar: /
X-Spam_report: (-0.8 / 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,
 RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01,
 RCVD_IN_VALIDITY_RPBL=1.31, SPF_HELO_NONE=0.001,
 SPF_PASS=-0.001 autolearn=no autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -1.3 (-)
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -2.3 (--)


This is as much a feature request as a bug.

sxml-match doesn't seem to support several ellipsis at the same level,
which is common in xml.

See the following example for a minimal reproducible example (using
guile 3.0.9-0.3b76a30).

```
(use-modules (sxml match))

(define xml '(d (a 1) (a 2) (a 3) (b 4) (b 5) (b 6)))

(sxml-match
 xml
 ((d (a ,i) ... (b ,j) (b ,k) (b ,l))
  (list (list i ...) (list j k l))))

(sxml-match
 xml
 ((d (a ,i) ... (b ,j) ...)
  (list (list i ...) (list j ...))))  
```

Expected : (list (list 1 2 3) (list 4 5 6)) for both cases

In reality : 
(list (list 1 2 3) (list 4 5 6)) in the first case
Error "ellipses not allowed in this context" in the second case

-- 
Best regards,
Nicolas Graves