From lojban-out@lojban.org Fri Aug 18 06:51:58 2006 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 10561 invoked from network); 18 Aug 2006 13:50:34 -0000 Received: from unknown (66.218.66.217) by m38.grp.scd.yahoo.com with QMQP; 18 Aug 2006 13:50:34 -0000 Received: from unknown (HELO chain.digitalkingdom.org) (64.81.49.134) by mta2.grp.scd.yahoo.com with SMTP; 18 Aug 2006 13:50:34 -0000 Received: from lojban-out by chain.digitalkingdom.org with local (Exim 4.62) (envelope-from ) id 1GE4Mp-000710-Uk for lojban@yahoogroups.com; Fri, 18 Aug 2006 06:26:32 -0700 Received: from chain.digitalkingdom.org ([64.81.49.134]) by chain.digitalkingdom.org with esmtp (Exim 4.62) (envelope-from ) id 1GE4KQ-0006HM-BA; Fri, 18 Aug 2006 06:24:05 -0700 Received: with ECARTIS (v1.0.0; list lojban-list); Fri, 18 Aug 2006 06:23:49 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.62) (envelope-from ) id 1GE4Jh-0006CQ-Lj for lojban-list-real@lojban.org; Fri, 18 Aug 2006 06:23:19 -0700 Received: from py-out-1112.google.com ([64.233.166.177]) by chain.digitalkingdom.org with esmtp (Exim 4.62) (envelope-from ) id 1GE4JV-00069C-CS for lojban-list@lojban.org; Fri, 18 Aug 2006 06:23:15 -0700 Received: by py-out-1112.google.com with SMTP id i49so965531pyi for ; Fri, 18 Aug 2006 06:23:00 -0700 (PDT) Received: by 10.35.37.18 with SMTP id p18mr5863265pyj; Fri, 18 Aug 2006 06:23:00 -0700 (PDT) Received: by 10.35.22.14 with HTTP; Fri, 18 Aug 2006 06:23:00 -0700 (PDT) Message-ID: <925d17560608180623w13bcbf88id938b48a4253981e@mail.gmail.com> Date: Fri, 18 Aug 2006 10:23:00 -0300 In-Reply-To: <737b61f30608171500qc0ea1f9y407817563302ebb7@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <737b61f30608151434h6ed71ec2k123f043c1ad59838@mail.gmail.com> <20060817211332.GH17767@chain.digitalkingdom.org> <737b61f30608171437l78935d36s1b1e71b299cf8f91@mail.gmail.com> <737b61f30608171500qc0ea1f9y407817563302ebb7@mail.gmail.com> X-Spam-Score: -2.4 (--) X-archive-position: 12492 X-ecartis-version: Ecartis v1.0.0 Errors-to: lojban-list-bounce@lojban.org X-original-sender: jjllambias@gmail.com X-list: lojban-list X-Spam-Score: -2.4 (--) To: lojban@yahoogroups.com X-Originating-IP: 64.81.49.134 X-eGroups-Msg-Info: 2:3:4:0 X-eGroups-From: "=?ISO-8859-1?Q?Jorge_Llamb=EDas?=" From: "=?ISO-8859-1?Q?Jorge_Llamb=EDas?=" Reply-To: jjllambias@gmail.com Subject: [lojban] Re: parsing with error detection and recovery X-Yahoo-Group-Post: member; u=116389790; y=sy_QSWtgNnxqO-kv8MfYs7N57DEdGIWTcZn_2ZIRz_Icc1Yw0w X-Yahoo-Profile: lojban_out X-Yahoo-Message-Num: 26922 On 8/17/06, Chris Capel wrote: > For instance, wherever > you have > > x <- y !z > > you should be able to add > > x <- y !z / x-err > ERR x-err <- y > > without ever changing the result on valid input. I don't think that will work in general. Consider this: a <- x / b x <- y !z b <- y !c If you change x as you propose, you might mark something which is not an error as an error. You will read something as an erroneous x instead of as a correct b. mu'o mi'e xorxes To unsubscribe from this list, send mail to lojban-list-request@lojban.org with the subject unsubscribe, or go to http://www.lojban.org/lsg2/, or if you're really stuck, send mail to secretary@lojban.org for help.