From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <caml-list-owner@inria.fr>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by c5ff346549e7 (Postfix) with ESMTPS id DC7CB5D5
	for <caml-list@inbox.ocaml.org>; Tue, 20 Jul 2021 08:50:07 +0000 (UTC)
X-IronPort-AV: E=Sophos;i="5.84,254,1620684000"; 
   d="scan'208";a="520678738"
Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160])
  by mail2-relais-roc.national.inria.fr with ESMTP; 20 Jul 2021 10:49:58 +0200
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id DC37DE0017; Tue, 20 Jul 2021 10:49:58 +0200 (CEST)
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 0D28FE0015
	for <caml-list@sympa.inria.fr>; Tue, 20 Jul 2021 10:49:51 +0200 (CEST)
IronPort-HdrOrdr: =?us-ascii?q?A9a23=3A1tZmDa1CTYH420GqHU2QjwqjBIQkLtp133Aq?=
 =?us-ascii?q?2lEZdPUzSKClfqGV88jzsCWetN9/Yh8dcLy7WZVoOEmskqKdg7NhWItKLTOHhI?=
 =?us-ascii?q?LAFugLh+bfKgHbak7DH4VmpMNdmsZFeb/NJGk/ocHm4BSpV/YMqeP3iJxAXN2u?=
 =?us-ascii?q?qUuFmzsaEp1d0w=3D=3D?=
X-IronPort-AV: E=Sophos;i="5.84,254,1620684000"; 
   d="scan'208";a="388491503"
Received: from lfbn-dij-1-446-235.w86-235.abo.wanadoo.fr (HELO alcazar2) ([86.235.39.235])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 20 Jul 2021 10:49:50 +0200
Date: Tue, 20 Jul 2021 10:49:50 +0200
From: Maxence Guesdon <Maxence.Guesdon@inria.fr>
To: caml-list <caml-list@inria.fr>
Message-ID: <20210720104950.63a9e9d4@alcazar2>
X-Mailer: Claws Mail 3.16.0 (GTK+ 2.24.32; x86_64-pc-linux-gnu)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Subject: [Caml-list] information on calls in .cmt files
Reply-To: Maxence Guesdon <Maxence.Guesdon@inria.fr>
X-Loop: caml-list@inria.fr
X-Sequence: 18542
Errors-To: caml-list-owner@inria.fr
Precedence: list
Precedence: bulk
Sender: caml-list-request@inria.fr
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Help: <mailto:sympa_inria@inria.fr?subject=help>
List-Subscribe: <mailto:sympa_inria@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa_inria@inria.fr?subject=unsubscribe%20caml-list>
List-Post: <mailto:caml-list@inria.fr>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Archive: <http://sympa.inria.fr/sympa/arc/caml-list>
Archived-At: <http://sympa.inria.fr/sympa/arcsearch_id/caml-list/2021-07/20210720104950.63a9e9d4%40alcazar2>

Hello,

.annot files used to contain useful information regarding calls (tail
call, on stack or inline), which are not present in .cmt files.

This thread mentions this information:
  https://github.com/ocaml/ocaml/pull/2141

but it seems that this has not been put in .cmt files.

Are there plans to do so ?

The cmt2annot tool does not add this information either. In fact, the
constructor typing/Stypes.An_call seems never used to build values in
ocaml compiler code.

Regards,

- m