From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 8164881792 for ; Tue, 25 Jun 2013 03:11:54 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of marco-oweber@gmx.de) identity=pra; client-ip=212.227.17.22; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="marco-oweber@gmx.de"; x-sender="marco-oweber@gmx.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of marco-oweber@gmx.de designates 212.227.17.22 as permitted sender) identity=mailfrom; client-ip=212.227.17.22; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="marco-oweber@gmx.de"; x-sender="marco-oweber@gmx.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.gmx.net) identity=helo; client-ip=212.227.17.22; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="marco-oweber@gmx.de"; x-sender="postmaster@mout.gmx.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlsBAFXtyFHU4xEWm2dsb2JhbABagzqDTqtpkEiBCxYOAQEBAQEGCwsJFCiCJAEFIw8BVgsaAhgBDQICEEcGiA4BFp4Ci0OIFQGJKYEmjjCCT4EUA5hshQeOJg X-IPAS-Result: AlsBAFXtyFHU4xEWm2dsb2JhbABagzqDTqtpkEiBCxYOAQEBAQEGCwsJFCiCJAEFIw8BVgsaAhgBDQICEEcGiA4BFp4Ci0OIFQGJKYEmjjCCT4EUA5hshQeOJg X-IronPort-AV: E=Sophos;i="4.87,932,1363129200"; d="scan'208";a="23181264" Received: from mout.gmx.net ([212.227.17.22]) by mail2-smtp-roc.national.inria.fr with ESMTP; 25 Jun 2013 03:11:54 +0200 Received: from mailout-de.gmx.net ([10.1.76.16]) by mrigmx.server.lan (mrigmx001) with ESMTP (Nemesis) id 0Lobhc-1UKhvf16hW-00gXKa for ; Tue, 25 Jun 2013 03:11:53 +0200 Received: (qmail invoked by alias); 25 Jun 2013 01:11:52 -0000 Received: from p5DD8C4BF.dip0.t-ipconnect.de (EHLO mail.gmx.net) [93.216.196.191] by mail.gmx.net (mp016) with SMTP; 25 Jun 2013 03:11:52 +0200 X-Authenticated: #9006135 X-Provags-ID: V01U2FsdGVkX18VWskzF0wVapVphgYLNCXpYhI+b5zRC9BQoHlUp7 5RGuo38z9Xq6Ml Received: by mail.gmx.net (sSMTP sendmail emulation); Tue, 25 Jun 2013 01:12:19 +0000 Content-Type: text/plain; charset=UTF-8 From: Marc Weber To: caml-list In-reply-to: <1372089559-sup-2177@nixos> References: <1372089559-sup-2177@nixos> Date: Tue, 25 Jun 2013 03:12:19 +0200 Message-Id: <1372121389-sup-800@nixos> User-Agent: Sup/git Content-Transfer-Encoding: 8bit X-Y-GMX-Trusted: 0 Subject: [Caml-list] Re: ocamlopt vs camlc, different behaviour - how to track down? Adopting the code at Camlp4Profiler (which ships with ocaml) seems to do what I want. trace: trace.ml ocamlc -dtypes -pp 'camlp4r -I +camlp4 -parser Camlp4QuotationCommon -parser Camlp4QuotationExpander' -I +camlp4 -o $@ -c $< Marc Weber