From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 20042 invoked by alias); 16 Feb 2006 15:48:45 -0000 Received: (qmail 19979 invoked by uid 22791); 16 Feb 2006 15:48:44 -0000 X-Spam-Check-By: sourceware.org Received: from main.gmane.org (HELO ciao.gmane.org) (80.91.229.2) by sourceware.org (qpsmtpd/0.31) with ESMTP; Thu, 16 Feb 2006 15:48:39 +0000 Received: from list by ciao.gmane.org with local (Exim 4.43) id 1F9lMf-0001k7-3g for gdb@sources.redhat.com; Thu, 16 Feb 2006 16:48:17 +0100 Received: from zigzag.lvk.cs.msu.su ([158.250.17.23]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 16 Feb 2006 16:48:17 +0100 Received: from ghost by zigzag.lvk.cs.msu.su with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 16 Feb 2006 16:48:17 +0100 To: gdb@sources.redhat.com From: Vladimir Prus Subject: MI -thread-list-ids output issue Date: Thu, 16 Feb 2006 15:48:00 -0000 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7Bit User-Agent: KNode/0.8.2 X-IsSubscribed: yes Mailing-List: contact gdb-help@sourceware.org; run by ezmlm Precedence: bulk List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-owner@sourceware.org X-SW-Source: 2006-02/txt/msg00159.txt.bz2 Hello! At the moment, the response to -thread-list-ids looks like this: ^done,thread-ids={thread-id="3",thread-id="2",thread-id="1"}, The grammar says that {} is a tuple, but not that all fields in the tuple have the same name, so it can be only indexed by integer. While this is allowed by the grammar, it's pretty inconvenient. Essentially this will require me to add, in MI parser I use, special operation "treat this as list, even though it looks like a tuple", which is pretty nasty. Maybe, it's still possible to change this output to be: ^done,thread-ids=["3","2","1"] Or, if changing the existing output is deemed impossible even in this case, what about: ^done,threads=["3", "2", "1"], thread-ids={thread-id="3",thread-id="2",thread-id="1"}, ? - Volodya