From lojban-out@lojban.org Sat Jan 25 12:58:53 2003 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_0); 25 Jan 2003 20:58:53 -0000 Received: (qmail 87626 invoked from network); 25 Jan 2003 20:58:53 -0000 Received: from unknown (66.218.66.216) by m5.grp.scd.yahoo.com with QMQP; 25 Jan 2003 20:58:53 -0000 Received: from unknown (HELO digitalkingdom.org) (204.152.186.175) by mta1.grp.scd.yahoo.com with SMTP; 25 Jan 2003 20:58:53 -0000 Received: from lojban-out by digitalkingdom.org with local (Exim 4.05) id 18cXO8-0002TM-00 for lojban@yahoogroups.com; Sat, 25 Jan 2003 12:58:52 -0800 Received: from digitalkingdom.org ([204.152.186.175] helo=chain) by digitalkingdom.org with esmtp (Exim 4.05) id 18cXNx-0002Sz-00; Sat, 25 Jan 2003 12:58:41 -0800 Received: with ECARTIS (v1.0.0; list lojban-list); Sat, 25 Jan 2003 12:58:39 -0800 (PST) Received: from rlpowell by digitalkingdom.org with local (Exim 4.05) id 18cXNq-0002So-00 for lojban-list@lojban.org; Sat, 25 Jan 2003 12:58:34 -0800 Date: Sat, 25 Jan 2003 12:58:34 -0800 To: lojban-list@lojban.org Subject: [lojban] Minor YACC grammar change idea. Message-ID: <20030125205834.GC7230@digitalkingdom.org> Mail-Followup-To: lojban-list@lojban.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.3i X-archive-position: 3911 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: rlpowell@digitalkingdom.org Precedence: bulk X-list: lojban-list X-eGroups-From: Robin Lee Powell From: Robin Lee Powell Reply-To: rlpowell@digitalkingdom.org X-Yahoo-Group-Post: member; u=116389790 X-Yahoo-Profile: lojban_out X-Yahoo-Message-Num: 18376 Now, don't go all freaking out until you've read it. In the process of back-translating Nick's math page, I found that to say x_1 (x sub 1), you need to do xy. boi xi pa. xy. xi pa will not work. I can't imagine that any amibiguity would result from allowing this. I propose, having not tested it thorougly, that we add | XI_424 BOI_gap_461 to operand_C_385, because I *think* that will allow this without adding in anything unwarranted. But I don't know the YACC grammar as well as others, so I would like comments on whether that change would work. *PLEASE* do not comment on whether the change is a good idea or not; we all know the arguments against changing the grammar, and I'm on the side of not changing it by default myself, and that's a bpfk discussion anyways. Thank you. -Robin -- http://www.digitalkingdom.org/~rlpowell/ *** I'm a *male* Robin. .i le pamoi velru'e zo'u crepu le plibu taxfu .i le remoi velru'e zo'u mo .i le cimoi velru'e zo'u ba'e prali .uisai http://www.lojban.org/ *** to sa'a cu'u lei pibyta'u cridrnoma toi