From lojban+bncCLr6ktCfBBD5nJfpBBoE0ZI3IQ@googlegroups.com Thu Jan 06 06:15:36 2011 Received: from mail-pz0-f61.google.com ([209.85.210.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1Paqcl-0005DV-EF; Thu, 06 Jan 2011 06:15:36 -0800 Received: by pzk9 with SMTP id 9sf4417472pzk.16 for ; Thu, 06 Jan 2011 06:15:25 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:x-beenthere:received:received:received :received:received-spf:received:received:received:date:from:to :subject:message-id:mail-followup-to:mime-version:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type:content-disposition; bh=uovujyQFemskCi14dM7y0fmcgbwNfb5PqZqbkEN5Hm0=; b=UX681R1PuKBTHFBn0HA4OTRuF9y3ZABW2/HIqte084itelD5NfGnsaSfEPPUg/uF1s kqz2RW6rvK1UfJjUp+Q7VdmQinqgFhNY/fA55K5OPpIipOPjKzCVaQRiOqKlkkHBt9Sr cQG4j98UREiylUqySY8qkSqAJOId6Rlt38lKw= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:date:from:to:subject:message-id :mail-followup-to:mime-version:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type:content-disposition; b=p6am6DeJOJHbs+ebjJCdgonrlEJxEq3jRtkNVSZ1jjKFQxM3Nt+JiAjwSnkhLKIRVk njB5Lm6l67P4UCn+TbJBlv+GZlC62r55kB8QXVNuc5GkqR2M7AUwfpSg6xnfx1gD5Af9 7CxhCZ4oZDWdM5RUL466VFwQSMFiJiVzs/OyE= Received: by 10.142.65.9 with SMTP id n9mr54353wfa.49.1294323321906; Thu, 06 Jan 2011 06:15:21 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.142.2.41 with SMTP id 41ls25939078wfb.0.p; Thu, 06 Jan 2011 06:15:21 -0800 (PST) Received: by 10.142.134.20 with SMTP id h20mr798970wfd.34.1294323321020; Thu, 06 Jan 2011 06:15:21 -0800 (PST) Received: by 10.142.134.20 with SMTP id h20mr798969wfd.34.1294323320994; Thu, 06 Jan 2011 06:15:20 -0800 (PST) Received: from mail-pw0-f45.google.com (mail-pw0-f45.google.com [209.85.160.45]) by gmr-mx.google.com with ESMTP id w13si1019004wfh.7.2011.01.06.06.15.20; Thu, 06 Jan 2011 06:15:20 -0800 (PST) Received-SPF: neutral (google.com: 209.85.160.45 is neither permitted nor denied by best guess record for domain of alanpost@sunflowerriver.org) client-ip=209.85.160.45; Received: by pwj6 with SMTP id 6so2819031pwj.4 for ; Thu, 06 Jan 2011 06:15:20 -0800 (PST) Received: by 10.142.144.15 with SMTP id r15mr782710wfd.231.1294323320554; Thu, 06 Jan 2011 06:15:20 -0800 (PST) Received: from sunflowerriver.org (134.sub-75-208-112.myvzw.com [75.208.112.134]) by mx.google.com with ESMTPS id x18sm1176955wfa.11.2011.01.06.06.15.15 (version=TLSv1/SSLv3 cipher=RC4-MD5); Thu, 06 Jan 2011 06:15:19 -0800 (PST) Date: Thu, 6 Jan 2011 07:15:06 -0700 From: ".alyn.post." To: Lojban List Subject: [lojban] *-no-SA-handling in PEG grammar Message-ID: <20110106141506.GA27424@134.sub-75-208-112.myvzw.com> Mail-Followup-To: Lojban List Mime-Version: 1.0 X-Original-Sender: alyn.post@lodockikumazvati.org X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: 209.85.160.45 is neither permitted nor denied by best guess record for domain of alanpost@sunflowerriver.org) smtp.mail=alanpost@sunflowerriver.org Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Disposition: inline There are several productions of the form *-no-SA-handling, (BAI-no-SA-handling, BAhE-no-SA-handling, &c) in the Lojban PEG grammar. I can't see that any of these productions are referenced by other productions in the grammar. What are these rules? It seems that removing them would have no effect on the parser. Similarly, I can't see that CMAVO-clause is referenced anywhere. -Alan -- .i ko djuno fi le do sevzi -- You received this message because you are subscribed to the Google Groups "lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en.