From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 17988 invoked by alias); 27 Aug 2004 10:14:01 -0000 Mailing-List: contact gdb-help@sources.redhat.com; run by ezmlm Precedence: bulk List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-owner@sources.redhat.com Received: (qmail 17975 invoked from network); 27 Aug 2004 10:13:59 -0000 Received: from unknown (HELO legolas.inter.net.il) (192.114.186.24) by sourceware.org with SMTP; 27 Aug 2004 10:13:59 -0000 Received: from zaretski (pns03-197-239.inter.net.il [80.230.197.239]) by legolas.inter.net.il (MOS 3.5.3-GR) with ESMTP id CKC22377 (AUTH halo1); Fri, 27 Aug 2004 13:13:47 +0300 (IDT) Date: Fri, 27 Aug 2004 10:14:00 -0000 From: "Eli Zaretskii" To: Michael Chastain Message-ID: <01c48c1d$Blat.v2.2.2$fbc2bbc0@zahav.net.il> Content-Transfer-Encoding: 7BIT Content-Type: text/plain; charset=ISO-8859-1 CC: cagney@gnu.org, bob@brasko.net, gdb@sources.redhat.com In-reply-to: <412E683C.nail8HL2532EK@mindspring.com> (message from Michael Chastain on Thu, 26 Aug 2004 18:46:20 -0400) Subject: Re: GDB/MI Output Syntax Reply-to: Eli Zaretskii References: <20040825154348.GA19533@white> <412E5221.8010601@gnu.org> <20040826212516.GA21451@white> <412E683C.nail8HL2532EK@mindspring.com> X-SW-Source: 2004-08/txt/msg00413.txt.bz2 > Date: Thu, 26 Aug 2004 18:46:20 -0400 > From: Michael Chastain > Cc: gdb@sources.redhat.com > > Again I say, I want the printed grammar in gdb.texinfo to be as close as > possible to something that a front-end writer can stick into bison and > *use*. The grammar should be indeed in the manual, abut there's nothing wrong to have there several grammars (e.g., LALR(1) and LL(1)). If that gets too long, we can always make an appendix and put them there. Note that the current ``grammar'' in the MI documentation, at least as far as I'm concerned, is meant to be an informal introduction of the MI syntax, not a rigurous grammar description.