From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p04GgjBJ010937 for ; Tue, 4 Jan 2011 17:42:45 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApQAAB/dIk3RVdI2kGdsb2JhbACDd6A9CBUBAQEBCQkMBxEEIKREiTuCVIUUhnwBAQMFgRuDNnQEiweJQYFx X-IronPort-AV: E=Sophos;i="4.60,273,1291590000"; d="scan'208";a="71789783" Received: from mail-pz0-f54.google.com ([209.85.210.54]) by mail3-smtp-sop.national.inria.fr with ESMTP; 04 Jan 2011 17:42:39 +0100 Received: by pzk32 with SMTP id 32so3444973pzk.27 for ; Tue, 04 Jan 2011 08:42:38 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:sender:received :in-reply-to:references:date:x-google-sender-auth:message-id:subject :from:to:cc:content-type; bh=jgtKiOeyYymMUi/RWWoZN5+8Q1VZE8pC5XKtWLFCQ0k=; b=lcOpyF3kENVCN2OZC1ciniLQXHphR6/jVxXachCmf4uf2j5vKGnuCIUs+IZpOd314e m/kVR42WKtHcmHq8+R95TpWu5BczX8hN4NcAFJSR/CtAhgP5llRYFOhUIKnGuURbMmoE IMFKsSXKT+HkygUJLlfJKg6VS2C7k8YJIjIwU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; b=Xbq+52mf27h0ukX+UuoR9hZlGvO2CM/nEpg4VMAH4S5LHa70Nu4aJI+v6aCdQfo1EJ sCU/nk8cNA1AAJlaGZtn+UxaMer2jlWMMLUPoxjZpXFEDHZp7zKU4jTHFTeDnGQjjsjt Ee+iHduUI/MnUdGd5xPzn+x8QJp7RzqDVGcKM= MIME-Version: 1.0 Received: by 10.142.200.17 with SMTP id x17mr6987040wff.51.1294159358861; Tue, 04 Jan 2011 08:42:38 -0800 (PST) Sender: daniel.c.buenzli@gmail.com Received: by 10.142.89.17 with HTTP; Tue, 4 Jan 2011 08:42:38 -0800 (PST) In-Reply-To: References: <4D23353C.8020803@gmail.com> Date: Tue, 4 Jan 2011 17:42:38 +0100 X-Google-Sender-Auth: TgebmCqIECFoFEIAIw-Lv1llmEM Message-ID: From: =?UTF-8?Q?Daniel_B=C3=BCnzli?= To: Yitzhak Mandelbaum Cc: Jean Krivine , caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Array.make exception and parser > A short answer (among many) to your particular question: it often requires a lot off effort just to discover whether " a recursive descent parser with some > combinators fits perfectly," Well I don't know what "a lot of effort" means to you. But IIRC my compiler course it's a matter of taking your EBNF grammar, eliminating left recursion and left factoring the grammar. If you can't do that with your grammar then you cannot parse it with LL(k). Best, Daniel