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=1.5 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_POST autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 12E0FBBC4 for ; Sun, 8 Mar 2009 01:37:07 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkMCAIOhsknZkrEBmWdsb2JhbACVIgEBAQEBCAsKBxGtV4EHjwgBBIQF X-IronPort-AV: E=Sophos;i="4.38,321,1233529200"; d="scan'208";a="22204687" Received: from web27001.mail.ukl.yahoo.com ([217.146.177.1]) by mail2-smtp-roc.national.inria.fr with SMTP; 08 Mar 2009 01:37:06 +0100 Received: (qmail 13825 invoked by uid 60001); 8 Mar 2009 00:37:06 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.fr; s=s1024; t=1236472626; bh=1DHwqJZOWPe51SVuKt+2H6nsqhAlyYCPo95XjC4QDoY=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:References:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=t+6pL740fhOgJlHfq+Kd6JsK/sd6S9fWyVh63MKrrrp2g9oIEDNE9pCLrQtMUF62GG1ISaFmcjQikLiRcBmPz/aXfLeCWSb1itUSwXSV40+YBYlnPhuBYuldgJbd5SzobPjPRN2GJxoJXizRvSYtDyir0UWWVHHeZeDVYluvB4o= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.fr; h=Message-ID:X-YMail-OSG:Received:X-Mailer:References:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=IQ66KhVaCxtEz7FkXeMnJ0oBao9J0yuoc/aJVFgQKNXriCuUZf3+f79TCrX7K78RiHWyScgpxQXF3mOiSu/Xqm/Wnz2T/PvhqhNctv9ngOOE+wHQJw43zHU4ddc2SLzMFZxBxZSx0WbWMbMpsKC2R0RRhcnPn+tNpI27sLzGm5A=; Message-ID: <260985.9976.qm@web27001.mail.ukl.yahoo.com> X-YMail-OSG: uCb1mWAVM1lp.cxji0VNW9Xqx2AZGy7Oov8zY9ow.sQV1N2WBXIdmtTDwfhSUD0lVttwnN32AkpgTEJQNECNTWqrWp3a9OMP5VW6cZnCZBMs9KuYgdtc8naNa3w8j41yDSOlfUgOPwjvFMD_dsyTwziT240jR818SURi085fHjdSHa2wLkjcQmOunJfa_w-- Received: from [82.242.132.106] by web27001.mail.ukl.yahoo.com via HTTP; Sun, 08 Mar 2009 00:37:06 GMT X-Mailer: YahooMailRC/1155.45 YahooMailWebService/0.7.289.1 References: <200903072352.18127.jon@ffconsultancy.com> <200903080012.10433.jon@ffconsultancy.com> <597512.92153.qm@web27007.mail.ukl.yahoo.com> Date: Sun, 8 Mar 2009 00:37:06 +0000 (GMT) From: Matthieu Wipliez Subject: Re : Re : [Caml-list] camlp4 stream parser syntax To: caml-list@yquem.inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; matthieu:01 camlp:01 parser:01 syntax:01 camlp:01 parser:01 subset:01 printf:01 cheers:01 matthieu:01 invoke:01 invoke:01 caml-list:01 functions:01 grammar:02 > While we are on this subject... How do you troubleshoot camlp4 rules?=0A= =0ANot sure what you mean :(=0A=0A> With a stream parser you can invoke ind= ividual functions since each is a =0A> full-blown parser. Can the same be d= one with camlp4, e.g. individual rules =0A> invoked?=0A=0AWell when you inv= oke the parser with Gram.parse, you give it the entry point. So you may par= se only a subset of your language if the grammar allows it.=0A=0A> Can rule= s be traced to see which ones are being taken?=0A=0AErm, I don't really kno= w... You can always printf when a rule is taken, but I'm not aware of a bui= lt-in construct that allows you to monitor the rules that are taken.=0A=0AC= heers,=0AMatthieu=0A=0A=0A=0A