From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q21Mi1WO029071
	for <caml-list@sympa-roc.inria.fr>; Thu, 1 Mar 2012 23:44:01 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AusBAJT6T0/RVdS2kGdsb2JhbABDgxOwfQgiAQEBAQkJDQcUBCOBfQEBAQMBDAYCExkBGx0BAwwGBQs7IxEBBQEcBjWHXwUEohoKi3KCcYUGP4EMAQULjSYCCAIKAQIECwICBAcMEwEDAQIBAgKFCAICBjuCfGMElTuFX4E6hxk9hAQ
X-IronPort-AV: E=Sophos;i="4.73,513,1325458800"; 
   d="scan'208";a="147054660"
Received: from mail-wi0-f182.google.com ([209.85.212.182])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 01 Mar 2012 23:43:55 +0100
Received: by wibhn6 with SMTP id hn6so479608wib.27
        for <caml-list@inria.fr>; Thu, 01 Mar 2012 14:43:55 -0800 (PST)
Received-SPF: pass (google.com: domain of thomas.gazagnaire@gmail.com designates 10.180.14.37 as permitted sender) client-ip=10.180.14.37;
Authentication-Results: mr.google.com; spf=pass (google.com: domain of thomas.gazagnaire@gmail.com designates 10.180.14.37 as permitted sender) smtp.mail=thomas.gazagnaire@gmail.com; dkim=pass header.i=thomas.gazagnaire@gmail.com
Received: from mr.google.com ([10.180.14.37])
        by 10.180.14.37 with SMTP id m5mr14761034wic.19.1330641835879 (num_hops = 1);
        Thu, 01 Mar 2012 14:43:55 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=subject:mime-version:content-type:from:in-reply-to:date:cc
         :content-transfer-encoding:message-id:references:to:x-mailer;
        bh=yLHSy3+tiSEs0sS8pBMt35n55LimmQq/yON1cXak1cw=;
        b=k3ruBN8cvdj2kWK6/skwH604iB//kz6yGJnlbQbMk51wJLUU34IT9QrwdLckOd80ag
         Nw5fgzbsP+KDWIsdNwvaooyrBWdYHG4aw/jJ8R1OROv4gHFzbjPtCjAmIFxMJek1zr4R
         A+0fl7AJDsCwK2JdVfFcljXMMRqM2CCaHrSXKieAwX559+SkOw03Is8anUT8x9l85djf
         XKv5pkuNI2smF41fubkwcYOcByAWELiVHefov5pck3t6B4iDNrH98VSyXBCCStuFmCo9
         HZyAAzSFcoK1I6TYrrT0Dkfk10MIz9AvG5Ad8bXXn7gKALOVyU3zNHWE/qHbSCsDnAR1
         l4zw==
Received: by 10.180.14.37 with SMTP id m5mr11851100wic.19.1330641835765;
        Thu, 01 Mar 2012 14:43:55 -0800 (PST)
Received: from [192.168.0.14] (gou06-3-88-170-165-56.fbx.proxad.net. [88.170.165.56])
        by mx.google.com with ESMTPS id gf3sm44722077wib.6.2012.03.01.14.43.54
        (version=TLSv1/SSLv3 cipher=OTHER);
        Thu, 01 Mar 2012 14:43:55 -0800 (PST)
Mime-Version: 1.0 (Apple Message framework v1084)
Content-Type: text/plain; charset=iso-8859-1
From: Thomas Gazagnaire <thomas.gazagnaire@gmail.com>
In-Reply-To: <20120301233219.76dc0b32@locris.home>
Date: Thu, 1 Mar 2012 23:43:52 +0100
Cc: caml-list@inria.fr
Message-Id: <1B894395-BB2D-4A72-A94E-DA19EA508D49@gmail.com>
References: <066176AC-436B-496D-A472-37973A2791E9@gmail.com> <20120301225258.3cb2618b@locris.home> <D0364741-7C37-4E9A-B33D-056DD1883B3B@gmail.com> <20120301233219.76dc0b32@locris.home>
To: =?iso-8859-1?Q?J=E9r=E9mie_Dimino?= <jeremie@dimino.org>
X-Mailer: Apple Mail (2.1084)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q21Mi1WO029071
Subject: Re: [Caml-list] compiling static preprocessors

>> So I suppose the OCaml grammar is not yet registered when type-conv
>> tries to remove the rule. Oh dear... Any thoughts on this one?
> 
> Ah yes, camlp4 modules initialization may be delayed, try to link
> this code after camlp4 modules and before type-conv ones:
> 
>  Camlp4.Register.iter_and_take_callbacks
>    (fun (name, callback)-> callback ())

Awesome, this is now working correctly!  Many thanks Jérémie!

Cheers,
Thomas