Re: [lojban] *-no-SA-handling in PEG grammar

[Robin Lee Powell <rlpowell@digitalkingdom.org>]

On Thu, Jan 06, 2011 at 08:40:13AM -0700, .alyn.post. wrote:
> On Thu, Jan 06, 2011 at 06:51:08AM -0800, Robin Lee Powell wrote:
> > On Thu, Jan 06, 2011 at 07:15:06AM -0700, .alyn.post. wrote:
> > > 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.
> > 
> > These appear to be a side effect of how SA handling used to work;
> > diffs back to the version in question attached.  I've updated the
> > source to remove them.
> > 
> 
> After doing the same against my tree, I have discovered that the
> following rules are in the same class (unreferenced productions),
> but don't match the pattern '*-no-SA-handling':

Took me a while to figure this out because it's cascading.

>   pre-zei-bu-no-SA
>   bu-clause-no-SA
>   BU-clause-no-SA
>   BU-pre-no-SA
>   LEhU-clause-no-SA
>   LEhU-pre-no-SA
>   zei-clause-no-SA
>   ZEI-clause-no-SA
>   ZEI-pre-no-SA
> 
> I believe they can be removed too.

I agree.

I made a small script to check for others after those were gone; I
didn't find any.

-Robin

-- 
http://singinst.org/ :  Our last, best hope for a fantastic future.
Lojban (http://www.lojban.org/): The language in which "this parrot
is dead" is "ti poi spitaki cu morsi", but "this sentence is false"
is "na nei".   My personal page: http://www.digitalkingdom.org/rlp/

-- 
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.