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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id B9A9E7ED34 for ; Tue, 10 Jul 2012 12:50:30 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of s.dash@herts.ac.uk) identity=pra; client-ip=147.197.215.112; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="s.dash@herts.ac.uk"; x-sender="s.dash@herts.ac.uk"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of s.dash@herts.ac.uk designates 147.197.215.112 as permitted sender) identity=mailfrom; client-ip=147.197.215.112; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="s.dash@herts.ac.uk"; x-sender="s.dash@herts.ac.uk"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of postmaster@corvus.herts.ac.uk designates 147.197.215.112 as permitted sender) identity=helo; client-ip=147.197.215.112; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="s.dash@herts.ac.uk"; x-sender="postmaster@corvus.herts.ac.uk"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsMBALsI/E+TxddwmWdsb2JhbABFt30iAQEBAQEICwsHFCeCJzpRAT5CHwcBBIggmw2YY4kEkQJgA5U2gRKERI0P X-IronPort-AV: E=Sophos;i="4.77,559,1336341600"; d="scan'208";a="166263024" Received: from corvus.herts.ac.uk ([147.197.215.112]) by mail1-smtp-roc.national.inria.fr with ESMTP; 10 Jul 2012 12:50:30 +0200 Received: from [147.197.247.230] (helo=cl-mail1.herts.ac.uk) by corvus.herts.ac.uk with esmtp (Exim 4.40) id 1SoY1S-0004my-E2 for caml-list@inria.fr; Tue, 10 Jul 2012 11:50:26 +0100 Received: from UH-MAILSTOR.herts.ac.uk ([147.197.247.207]) by cl-mail1.herts.ac.uk ([147.197.247.229]) with mapi; Tue, 10 Jul 2012 11:50:48 +0100 From: "Dash, Santanu" To: "caml-list@inria.fr" Date: Tue, 10 Jul 2012 11:50:24 +0100 Thread-Topic: file specific outputting Thread-Index: Ac1eid1Y3+9PmqBeR5eR7+VVBfwCdA== Message-ID: Accept-Language: en-US, en-GB Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US, en-GB Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-C-UH-MailScanner-Information: Please contact the administrator for more information X-C-UH-MailScanner: No Virus detected X-C-UH-MailScanner-From: s.dash@herts.ac.uk X-Validation-by: s.dash@herts.ac.uk Subject: [Caml-list] file specific outputting Hello all, I work in the area of program analysis. I am currently trying to analyse Oc= aml programs and wish to output file-specific information with the aid of t= he Ocaml compiler. For example, if I compile a file called foo.ml, i want to output a file cal= led foo.info based on an analysis of alpha.ml. I have already integrated th= e analysis module with the Ocaml compiler. Can someone direct me on the best way to go about this? Is there a variable= in the compiler that stores the filename of the file currently being compi= led? Kind regards, Santanu=