From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: **** X-Spam-Status: No, score=4.5 required=5.0 tests=DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_POST,DNS_FROM_SECURITYSAGE,HTML_MESSAGE,NO_REAL_NAME autolearn=disabled version=3.1.3 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 B714EBB84 for ; Sat, 15 Nov 2008 13:12:04 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AncAAC1LHknZkrZ+kWdsb2JhbACCPjGPVoETAQEBAQkLCgcRA68ICIsxBYRD X-IronPort-AV: E=Sophos;i="4.33,610,1220220000"; d="scan'208";a="19987237" Received: from web28106.mail.ukl.yahoo.com ([217.146.182.126]) by mail1-smtp-roc.national.inria.fr with SMTP; 15 Nov 2008 13:12:04 +0100 Received: (qmail 71358 invoked by uid 60001); 15 Nov 2008 12:12:03 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.fr; h=X-YMail-OSG:Received:X-Mailer:Date:From:Reply-To:Subject:To:In-Reply-To:MIME-Version:Content-Type:Message-ID; b=s7umH+NQ2zVHcIGT1rjnmrrG1UMGtMminMzB65fFXMG7lpIRkTfJAAUQSk3HTU3xaO3racuokjzR5z7qEKwQpLoqJJedTDqUqkgbnW8dOLJNeTqPI12QCOHc5AI5HE9fdwRDfOUzIlU+qOZPy8n3R9DkvWO4VGEo4CPNeTPoT2Q=; X-YMail-OSG: kj7mK_QVM1mch.lVySi1s1YvtFpvRPq0dQ09wWpHNZ7AgsGLptxuDE4Kb0mdsBfB3HTUePwV6RICwSEnu1yLQMX3A1qYNW_e.nwEk3ySvyWg9mmteIz8w6pGFEzYqMrINqwpGDHt3Yupb7orUtBj.hytJr5WNlKTB.D.DhZDs7xv62y0InJ5umRkBaLgIe_k73uqmOx5yagSZSY- Received: from [129.175.212.5] by web28106.mail.ukl.yahoo.com via HTTP; Sat, 15 Nov 2008 12:12:03 GMT X-Mailer: YahooMailWebService/0.7.260.1 Date: Sat, 15 Nov 2008 12:12:03 +0000 (GMT) From: iguern-a@yahoo.fr Reply-To: iguern-a@yahoo.fr Subject: Re : Caml-list Digest, Vol 41, Issue 26 To: caml-list@yquem.inria.fr In-Reply-To: <20081115110003.AD426BBB7@yquem.inria.fr> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="0-1483423922-1226751123=:70928" Message-ID: <874841.70928.qm@web28106.mail.ukl.yahoo.com> X-Spam: no; 0.00; patched:01 ocaml:01 parser:01 recovers:01 ambiguities:01 lri:01 patched:01 ocaml:01 parser:01 recovers:01 ambiguities:01 lri:01 token:01 token:01 caml-list:01 X-Attachments: cset="utf-8" cset="utf-8" --0-1483423922-1226751123=:70928 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable > - GLR instead of LR(1) : this gives much more elegant description of the= =20 > grammar (and the possibiliy of ambigous grammar) and there > is never a conflict. These are replaced by multiple parse trees (you can= =20 > choose a merge function that will report that as an error, if you think > your grammar should not be ambiguous). Great ! In Ocamlwizard, we've patched an ocaml parser (3.10.2) which recove= rs on errors located at the end of =0Cfile (using the EOF token). We've also c= onsider using the error token but it's more difficult (because of ambiguiti= es).=20 Since dypgen generates multiple parse trees, It could be easier to implemen= t this feature. I hope I'll have time to try it. Regards. Mohamed Iguernelala http://ocamlwizard.lri.fr/ =0A=0A=0A --0-1483423922-1226751123=:70928 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable
> - GLR instead of LR(1) : this gives much= more elegant description of the
> grammar (and the possibiliy of am= bigous grammar) and there
> is never a conflict. These are replaced b= y multiple parse trees (you can
> choose a merge function that will = report that as an error, if you think
> your grammar should not be am= biguous).

Great ! In Ocamlwizard, we've patched an ocaml parser (3.1= 0.2) which recovers
on errors located at the end of =0Cfile (using the E= OF token). We've also consider using the error token but it's more difficul= t (because of ambiguities).

Since dypgen generates multiple parse t= rees, It could be easier to implement this feature. I hope I'll have time t= o try it.

Regards.
Mohamed Iguernelala
http://ocamlwizard.lri.fr/

=0A=0A=0A=0A --0-1483423922-1226751123=:70928--