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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 4F807BBB7 for ; Fri, 28 Jul 2006 15:39:18 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k6SDdHeR012324 for ; Fri, 28 Jul 2006 15:39:18 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA27682 for ; Fri, 28 Jul 2006 15:39:17 +0200 (MET DST) Received: from smtp.irisa.fr (smtp.irisa.fr [131.254.254.26]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k6SDdG3C027275 for ; Fri, 28 Jul 2006 15:39:17 +0200 Received: from localhost (localhost.localdomain [127.0.0.1]) by localhost.irisa.fr (Postfix) with ESMTP id D4CE3FAC2 for ; Fri, 28 Jul 2006 15:39:16 +0200 (CEST) Received: from smtp.irisa.fr ([131.254.254.26]) by localhost (meli.irisa.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 26414-04 for ; Fri, 28 Jul 2006 15:39:14 +0200 (CEST) Received: from [131.254.10.144] (polaris.irisa.fr [131.254.10.144]) by smtp.irisa.fr (Postfix) with ESMTP id 0B3E1FAAF for ; Fri, 28 Jul 2006 15:39:14 +0200 (CEST) Message-ID: <44CA1381.8020606@irisa.fr> Date: Fri, 28 Jul 2006 15:39:13 +0200 From: Sebastien Ferre Organization: IRISA User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.2) Gecko/20040803 X-Accept-Language: en-us, en MIME-Version: 1.0 To: ocaml Subject: Re: [Caml-list] Partial parsing References: <44C944F5.6050006@acm.org> In-Reply-To: <44C944F5.6050006@acm.org> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Virus-Scanned: by amavisd-new at irisa.fr X-Miltered: at concorde with ID 44CA1385.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 44CA1384.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; irisa:01 parsing:01 reig:01 parsing:01 parser:01 combinator:01 haskell:01 ocaml:01 wrote:01 caml-list:01 partial:01 pair:01 caml:02 parse:02 string:02 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Hi, Fermin Reig wrote: > This sounds like a parsing problem suitable for the parser combinator > approach. There, the result of a parse is a pair where one of the two > components is the remaining of the input string. > > Many of the papers and implementations are from the Haskell folk, but I > think there are some in Ocaml as well. Indeed. Look at the library Ostaps in the Caml hump. HTH, Sebastien