Re: [lojban] inconsistency between PEG grammar and CLL 17.4

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

On Wed, Jan 12, 2011 at 06:25:24PM -0700, .alyn.post. wrote:
> [This fell out of my researching SA.  tl;dr: I've found two bugs
> in BU handling in the PEG grammar.]

The CLL *repeatedly* contradicts itself, including in the YACC
instructions, on how to handle the various Magic Words.  This is why
http://www.lojban.org/tiki/tiki-index.php?page=Magic+Words exists.
The email threads leading to that were ... extensive.

I do not consider the CLL, YACC, or EBNF relevant or authoritative
on this issue, since they all contradict each other; all current
explorations should be relative to that page.  If you want to use
one of those sources for evidence that that page is wrong, be my
guest, but we've probably been there already.

> -> si bu
>    [ shouldn't and doesn't parse ]
> 
> -> sa bu
>    [ shouldn't and doesn't parse ]
> 
> -> su bu
>    text
>       buClauseNoPre
>       |- CMAVO
>       |     SU: su
>       |- CMAVO
>             BU: bu
> 
> Now wait just a minute here.  The rule above *explicitily forbids*
> SU.  How is it that it is matching?

I *think* this is the only case you found where the PEG contradicts
the Magic Words page.  Yep, that's a bug; I'd love it if you'd
suggest a fix/patch.

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