From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.3 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id D4622BB84 for ; Mon, 22 Sep 2008 08:08:28 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuYEAJbT1khQDPIwWmdsb2JhbACBXZE2ARYKCQYSBaEDX4EH X-IronPort-AV: E=Sophos;i="4.32,444,1217800800"; d="scan'208";a="15204669" Received: from smtp21.orange.fr ([80.12.242.48]) by mail2-smtp-roc.national.inria.fr with ESMTP; 22 Sep 2008 08:08:28 +0200 Received: from alcazar.inria.fr (ADijon-158-1-61-163.w92-130.abo.wanadoo.fr [92.130.156.163]) by mwinf2118.orange.fr (SMTP Server) with ESMTP id C61FD1C0008F; Mon, 22 Sep 2008 08:08:27 +0200 (CEST) X-ME-UUID: 20080922060827811.C61FD1C0008F@mwinf2118.orange.fr Date: Mon, 22 Sep 2008 08:08:24 +0200 From: Maxence Guesdon To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Extending .annot files Message-ID: <20080922080824.38b9cc59@alcazar.inria.fr> In-Reply-To: References: X-Mailer: Claws Mail 3.5.0 (GTK+ 2.12.11; i486-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-15 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; maxence:01 guesdon:01 maxence:01 guesdon:01 ocaml:01 bugfix:01 compiler:01 rocquencourt:01 wrote:01 wrote:01 caml-list:01 functions:01 data:02 inferred:02 referenced:02 On Fri, 19 Sep 2008 11:20:36 -0700 "Nathaniel Gray" wrote: > On Thu, Sep 18, 2008 at 10:02 AM, Xavier Leroy wr= ote: > > > > From what I've heard, there's also an OCaml summer of code project > > that enriched the info found in .annot files. So, it's certainly time > > to discuss extensions to .annot files, but let's do that globally, not > > one at a time. It is probably too late for inclusion in 3.11, but as > > long as these extensions are backward compatible, inclusion in bugfix > > releases can be considered. >=20 > I'm really happy to hear that you're open to including some of this > stuff. I think there are actually only a few data that one wants to > have in .annot files (and that the compiler can reasonably provide). >=20 > For any identifier it would be good to know: > 1. Its inferred type > 2. Its fully-qualified module "path" All identifiers have not a fully qualified path (think of y in let x =3D let y =3D ... in ...) and two identifiers may have the same fully-qualified path. (e.g.: let x =3D 1;; let x =3D 2;;) > 3. Where it was defined, if it was defined in the current file. Would it be possible to have the location of the definition of all identifiers, including the ones defined in another module (if there is a .annot file for this module, of course) ? > In addition, for each module referenced in the file it would be good > to know what file the module was read from. (This will allow some > hope of tracking down definitions in other files) >=20 > It's hard for me to think of anything else that belongs in .annot > files. If I stretch a bit I suppose annotating variable definitions > with their range of scope might be cute. Maybe other people can think > of more original ideas. A module containing the functions to read .annot files, so that all developers using these files do not develop their own module. Regards, --=20 Maxence Guesdon http://yquem.inria.fr/~guesdon/ Service Exp=E9rimentation et D=E9veloppements https://devel.inria.fr/rocq/ INRIA Paris-Rocquencourt http://www.inria.fr/rocquencourt/