From jcowan@reutershealth.com Fri Feb 13 14:32:18 2004 Received: with ECARTIS (v1.0.0; list lojban-list); Fri, 13 Feb 2004 14:32:18 -0800 (PST) Received: from [65.246.141.36] (helo=mail.reutershealth.com) by chain.digitalkingdom.org with esmtp (Exim 4.30) id 1Arlr3-0000Cj-Ex for lojban-list@lojban.org; Fri, 13 Feb 2004 14:32:13 -0800 Received: from skunk.reutershealth.com (mail [65.246.141.36]) by mail.reutershealth.com (Pro-8.9.3/Pro-8.9.3) with SMTP id RAA02242 for ; Fri, 13 Feb 2004 17:26:26 -0500 (EST) Received: by skunk.reutershealth.com (sSMTP sendmail emulation); Fri, 13 Feb 2004 17:32:10 -0500 Date: Fri, 13 Feb 2004 17:32:10 -0500 From: jcowan@reutershealth.com To: lojban-list@lojban.org Subject: [lojban] Re: Official parser wierdness. Message-ID: <20040213223210.GB2538@skunk.reutershealth.com> References: <20040213215842.GC15798@digitalkingdom.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20040213215842.GC15798@digitalkingdom.org> User-Agent: Mutt/1.4.1i X-archive-position: 7102 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: jcowan@reutershealth.com Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list Robin Lee Powell scripsit: > The official parser accepts this sentence: > > >>> zoi me se ba ve'o nu'i mo'o me to'i ba'e > ({ } VAU) > > What's interesting to note is that it never seems to see the ba'e, > which is what should result in the bad parse. Yes. Sometimes the official parser just gives up and doesn't look at any more incoming tokens. I have no idea why -- it's a very long-standing bug. It probably has something to do with yacc error recovery. -- John Cowan jcowan@reutershealth.com www.ccil.org/~cowan www.reutershealth.com "If I have seen farther than others, it is because I am surrounded by dwarves." --Murray Gell-Mann