From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Maxence.Guesdon@inria.fr>
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

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