From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <nicolas.bros@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL 
	autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38])
	by yquem.inria.fr (Postfix) with ESMTP id 030EEBC6B
	for <caml-list@yquem.inria.fr>; Wed, 25 Jul 2007 17:32:30 +0200 (CEST)
Received: from wx-out-0506.google.com (wx-out-0506.google.com [66.249.82.227])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6PFWSTA018623
	for <caml-list@inria.fr>; Wed, 25 Jul 2007 17:32:29 +0200
Received: by wx-out-0506.google.com with SMTP id h28so204279wxd
        for <caml-list@inria.fr>; Wed, 25 Jul 2007 08:32:28 -0700 (PDT)
DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed;
        d=gmail.com; s=beta;
        h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=EIdUXVwk1JeYyjX8B0eR9kbc8ufe0DI2mJARY8cvzZiMjdS7JClmeRFVxXYHyPWXECcrE9TxXMxSwMWWhqH6HYGbebZIFP1ylUCUsrpafuq+KjnUux/4eJjvtJE7X2D8xOk/PQINGq4RlNByR66Hl4+XUDKMJhjXyYAcy3ezg4k=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=beta;
        h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=CEBXamZ4j43IyCjGNjLqIQF3Px35k3m0p3J2jN8imNW5pn3El/WZQteX0fujhn51tj/fu80EGHVUaYbQDxlMJFjD2j6LgsI+fHjJFYDGGEjHDajVYDT1sumr/14wqEv7FUKgEgDX2ukCBNpkx4/yMlKEv3uUVzYIDujxq+NH82M=
Received: by 10.70.113.16 with SMTP id l16mr1300198wxc.1185377548195;
        Wed, 25 Jul 2007 08:32:28 -0700 (PDT)
Received: by 10.70.45.4 with HTTP; Wed, 25 Jul 2007 08:32:28 -0700 (PDT)
Message-ID: <4fbf351c0707250832s38e61586ye4f185743b9e39fc@mail.gmail.com>
Date: Wed, 25 Jul 2007 17:32:28 +0200
From: "Nicolas Bros" <nicolas.bros@gmail.com>
To: "Alain Frisch" <alain@frisch.fr>
Subject: Re: [Caml-list] OCalDE
Cc: caml-list@inria.fr
In-Reply-To: <46A716CD.6070307@frisch.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <46A4D58C.2060108@univ-savoie.fr>
	 <4fbf351c0707250027t33c80ef1gc57f686ef9cfb376@mail.gmail.com>
	 <46A716CD.6070307@frisch.fr>
X-j-chkmail-Score: MSGID : 46A76D0C.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at discorde with ID 46A76D0C.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; camlp:01 marshaled:01 camlp:01 caml-list:01 caml:02 ast:02 binary:02 parse:02 problem:05 nicolas:08 nicolas:08 idea:13 version:13 difficult:13 should:13 

> Camlp4 makes this information available when it dumps a binary version
> of the Caml AST. If the problem is to read this marshaled value, it
> should not be too difficult to write another printer for Camlp4 (e.g.
> xml-ish, json-ish or lisp-ish, dependening on what is easier to parse in
> OcaIDE).

That is a good idea, but how do you write a camlp4 printer? I have
never used camlp4, and I couldn't find documentation on this point.