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 q21MPlca028476 for ; Thu, 1 Mar 2012 23:25:47 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AusBACX3T0/RVdS2kGdsb2JhbABDgxOwfAgiAQEBAQkJDQcUBCOBfQEBAQMBDAYCLAEbHQEDAQsGBQs7IxEBBQEcBjWHXwUEohoKi3KCcYUHP4EMAQULjSYCCAIKAQIECwICBAcMEwEDAwECAoUIAgIGMwiCfGMElTuFX4E6hxk9hAQ X-IronPort-AV: E=Sophos;i="4.73,513,1325458800"; d="scan'208";a="147052768" 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:25:29 +0100 Received: by wibhn6 with SMTP id hn6so466469wib.27 for ; Thu, 01 Mar 2012 14:25:28 -0800 (PST) Received-SPF: pass (google.com: domain of thomas.gazagnaire@gmail.com designates 10.216.134.39 as permitted sender) client-ip=10.216.134.39; Authentication-Results: mr.google.com; spf=pass (google.com: domain of thomas.gazagnaire@gmail.com designates 10.216.134.39 as permitted sender) smtp.mail=thomas.gazagnaire@gmail.com; dkim=pass header.i=thomas.gazagnaire@gmail.com Received: from mr.google.com ([10.216.134.39]) by 10.216.134.39 with SMTP id r39mr3703200wei.26.1330640728827 (num_hops = 1); Thu, 01 Mar 2012 14:25:28 -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=PrMSgfT74SCwulc1mSm59tQkxsW+3GLBh3vMndvzoaU=; b=EKex+JIG6eVEX1ksUGKjLGlc5Vlasfb0zW3Rd62zuhE919CDUZTrCnBbibBmUBE1Fn aSazt8x4wqWXW6Nl+Mvg5Gbya1iNSXOvHrY8v3b262n1K1Kz6041wg0yfVXvQbxotFQF xfvwYw3nQTDv78b3VbRy2F5MPa9+g6pEFFmGEijXAwaBWyibkzEhqaKQGi3Jx9s9oIdM mLeyas1WdJ7A7P/F+f+hFz5Vf4jwVufMIKo79WZ4QuQU69n4iKyhgAZaYYTGEKm7oc9w gcbhN9zUz0T5ljNgMg/a4Cyo0xFMNvrf2iQpOZXO+SeJcbugs8RTQSrqYYRtayGQN3Bx H0Eg== Received: by 10.216.134.39 with SMTP id r39mr2977243wei.26.1330640728779; Thu, 01 Mar 2012 14:25:28 -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 dw7sm44650192wib.4.2012.03.01.14.25.27 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 01 Mar 2012 14:25:28 -0800 (PST) Mime-Version: 1.0 (Apple Message framework v1084) Content-Type: text/plain; charset=iso-8859-1 From: Thomas Gazagnaire In-Reply-To: <20120301225258.3cb2618b@locris.home> Date: Thu, 1 Mar 2012 23:25:25 +0100 Cc: caml-list@inria.fr Message-Id: References: <066176AC-436B-496D-A472-37973A2791E9@gmail.com> <20120301225258.3cb2618b@locris.home> To: =?iso-8859-1?Q?J=E9r=E9mie_Dimino?= X-Mailer: Apple Mail (2.1084) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q21MPlca028476 Subject: Re: [Caml-list] compiling static preprocessors > Camlp4Bin.cmo must be the last file on the command line. Thanks Jérémie, this indeed fixes part of the problem. Now, I get a new error message: Fatal error: exception Not_found Raised at file "camlp4/Camlp4/Struct/Grammar/Delete.ml", line 131, characters 16-25 Called from file "camlp4/Camlp4/Struct/Grammar/Delete.ml", line 146, characters 17-56 Called from file "lib/pa_type_conv.ml", line 421, characters 12-62 where pa_type_conv.ml:421 is: DELETE_RULE Gram str_item: "module"; a_UIDENT; module_binding0 END; 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? -- Thomas