From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 3C133BC37 for ; Tue, 10 Nov 2009 17:48:03 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjgBABwo+UpDww/HmWdsb2JhbACEco0XgQCIegEBAQEBCAsKBxOxMiiBOYZAiGoBBgQBgS2COFQE X-IronPort-AV: E=Sophos;i="4.44,717,1249250400"; d="scan'208";a="39878607" Received: from web111512.mail.gq1.yahoo.com ([67.195.15.199]) by mail1-smtp-roc.national.inria.fr with SMTP; 10 Nov 2009 17:48:02 +0100 Received: (qmail 67141 invoked by uid 60001); 10 Nov 2009 16:48:01 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1257871681; bh=VLPLxiosCGiTd68SoiZnBI1g4eklj7jFcCzu2C76yPI=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=X9AmF3wiTM4d512gbZx4DQWL133AQQqe+w8dDK99623ozefdiDNcbmklzHG5IUGOvlXvfmdzs2OED757xJT4Iob0qCjzVcrcKymdRCfzfHcZP4LatPBlVQPNpqgMWds36AFKb6cU8nH7vPNaa7kpY5sv80LZT0wCUDnum+Kknps= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=GQBGDOUtTxxu/6AYtPfPugMYtrDkbUTgE/kB/BWzsWiPcgfIdH9V1DvG9mTGhYY5ypSAJnKLciDhx968tOmcrYCqwUr4ygB+1I7E5v6HCFuEUUkIo+N9QVGBCMNhDZcp5mnL8XXp6dxyAz8mAfvc3enMQMHF049ZpDv5DUvaIOU=; Message-ID: <415678.66831.qm@web111512.mail.gq1.yahoo.com> X-YMail-OSG: _Bb393sVM1nF2zcTs.qXNsDiKf9kKOshBKYgxXH2oX6tldZw8msV6xQ6VNBvxC31FD1j63OfY2BejuC6SYwHIx5dtc8.yPvosnbyWEr0ZEVPQ_4qcG7kyKGpK3DgTJSv8iH4M0zrnfIYuqfDOgFy9XjSGWULlb3BWXzoDiX5WI8xvip6vNJQ3CyNs0ho8XuMYXp02XO..2gJo6h8nM7zyTWiqq_sl5bbT2.8OktBYAswjPyiTKoL1p2jIo4CI3HDrwuwXUosgwti4NuuA5bbCWpDaraYNO800uQM6_sM5ht9Mhc6dH9JSeyPkg8jhQAXe.kRs39V Received: from [213.205.71.57] by web111512.mail.gq1.yahoo.com via HTTP; Tue, 10 Nov 2009 08:48:00 PST X-Mailer: YahooMailClassic/8.1.6 YahooMailWebService/0.7.361.4 Date: Tue, 10 Nov 2009 08:48:00 -0800 (PST) From: Dario Teixeira Subject: Re: [Caml-list] Re: The lexer hack To: Francois.Pottier@inria.fr Cc: caml-list@inria.fr, Jeff Shaw In-Reply-To: <20091110163333.GD19182@yquem.inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; lexer:01 parser:01 lexer:01 tokens:01 cheers:01 token:01 token:01 verb:01 verb:01 caml-list:01 semantic:02 slightly:03 hack:04 hack:04 reads:08 Hi,=0A=0A> Interesting. Have you confirmed that this works? I am slightly= =0A> worried by the fact that an LR parser reads one token ahead,=0A> i.e. = one token past BEGIN_VERB might already have been read=0A> before the enter= _verb semantic action is executed. If that is=0A> so, then this token would= be read while the lexer is still in=0A> the wrong mode.=0A=0AYes, I was ju= st thinking about that as well... :-)=0AI think I can pile another hack on = top of the dummy action:=0Adummy tokens to take care of the readahead issue= . Though=0Athis has the potential to get comically silly pretty quickly!= =0A=0AI'll report later...=0A=0Acheers,=0ADario Teixeira=0A=0A=0A=0A