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=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 608C8BC57 for ; Wed, 2 Jul 2008 09:38:22 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtIAACOlakjY7zq+eGdsb2JhbACRbUMBDAMEBgcRA5k7hg0 X-IronPort-AV: E=Sophos;i="4.27,735,1204498800"; d="scan'208";a="26929541" Received: from gv-out-0910.google.com ([216.239.58.190]) by mail4-smtp-sop.national.inria.fr with ESMTP; 02 Jul 2008 06:49:14 +0200 Received: by gv-out-0910.google.com with SMTP id u5so34188gve.4 for ; Tue, 01 Jul 2008 21:49:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from :user-agent:mime-version:to:cc:subject:references:in-reply-to :content-type:content-transfer-encoding:sender; bh=V1o1Xx72aZ9s9a5JOoddor2Zfsozt2Df/TPgAWJoIFQ=; b=bkveEVjL+dgYg13lVJjuwGy9dTYdlgC/Lj/Ro6rAIDDRTM6bh2qs+P3KriI6s7bo3z B38dDURYanHEwwNIGnJmptTAWI/V7yXj0jS7x583aGJ83r8velP+UY5v5o2le5KC0FVp mFAoFKaW5TPbUKhUIPzHcaqISpE1efcp6qF8I= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:cc:subject :references:in-reply-to:content-type:content-transfer-encoding :sender; b=o14ZGRYzNiE8v1eVNMSzhjVapUH1KC0XKl3wTkEojDZ8Q8YhpgxqsZNiEdYzmu8jrm zxh0G5CNYw/g5Tu49TPePFfh6vjTUyaGU+LgwSaSmdUS1m8tiwUSh00iwO6mOAMQqhKT 0vIl5pzTRwVrzB8C/2t3rOYFcpsM5w8XXB8ZU= Received: by 10.103.186.14 with SMTP id n14mr3343167mup.40.1214974153518; Tue, 01 Jul 2008 21:49:13 -0700 (PDT) Received: from mm.mauny.lan ( [88.175.52.199]) by mx.google.com with ESMTPS id y37sm9846474mug.9.2008.07.01.21.49.11 (version=TLSv1/SSLv3 cipher=RC4-MD5); Tue, 01 Jul 2008 21:49:12 -0700 (PDT) Message-ID: <486B08AA.5010303@inria.fr> Date: Wed, 02 Jul 2008 06:48:42 +0200 From: Michel Mauny User-Agent: Mozilla/5.0 (X11; U; Linux i686; fr; rv:1.8.1.6) Gecko/20070728 Thunderbird/2.0.0.6 Mnenhy/0.7.5.0 MIME-Version: 1.0 To: Christophe Raffalli Cc: Caml Mailing List Subject: Re: [Caml-list] ocaml parser References: <486A5C84.3080005@univ-savoie.fr> In-Reply-To: <486A5C84.3080005@univ-savoie.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable Sender: Michel Mauny X-Spam: no; 0.00; mauny:01 mauny:01 ocaml:01 parser:01 christophe:01 raffalli:01 bug:01 ocaml:01 parser:01 -pp:01 camlp:01 ocamlc:01 ocamlc:01 -pp:01 camlp:01 Christophe Raffalli =E9crit/writes [07/01/2008 06:34 PM] : > Is it a bug to have any difference between both ocaml parser (with "-pp= =20 > camlp4o" or without) ? In some situations yes, in others no. > I expected that everything that compiles with ocamlc should compile wit= h=20 > ocamlc -pp camlp4o > (the opposite is not true and does not need to be true) which is not th= e=20 > case. Camlp4o is supposed to parse all OCaml plus things such as stream parsers. Since adding keywords ("parser", for instance) may break legal OCaml programs, Camlp4o is supposed to parse OCaml programs that don't conflict with such extensions. Camlp4o cannot therefore parse _all_ OCaml programs. > And a secondary question : why to have two parsers (except maybe for=20 > bootstraping) ? I'm not sure I understand your question, but the OCaml and Camlp4o parsers use a different technology. The latter is extensible while the former is not. -- Michel