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 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 12AD7BBAF for ; Fri, 19 Sep 2008 20:20:39 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al8BAC+K00jRVcbilGdsb2JhbACSbj4BAQEBCQMKBxEDnnOHFgECg3g X-IronPort-AV: E=Sophos;i="4.32,432,1217800800"; d="scan'208";a="15147763" Received: from rv-out-0506.google.com ([209.85.198.226]) by mail2-smtp-roc.national.inria.fr with ESMTP; 19 Sep 2008 20:20:38 +0200 Received: by rv-out-0506.google.com with SMTP id f6so494862rvb.3 for ; Fri, 19 Sep 2008 11:20:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:cc:mime-version:content-type:content-transfer-encoding :content-disposition; bh=zDidCXvfxb7235TzoZ/Hw+5bikbmNfOR4Zop3wjb5EY=; b=GLuZE12Di9PnvAduduIBaxmlE20iyAACPidJQ0VwbKPVFs6ofu8b2e8dcL47yvBK2K wFzK/TEFJVyGj5IBmShqmSM3PknfOkjWy982ofwNqp32L3IxxY8Q8euqu1zOlsYqhtql 6lG76faet2fJvoEfTJdYWW9G9TmTJtiI2IxJs= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:mime-version:content-type :content-transfer-encoding:content-disposition; b=vealyLTxXyHoP4sjO291KP9dq0eN2wsHAMC0Ek7fSVYN/jk2n5Nit9xpaLoUMuKbW2 esFV3ri2kSZUyr/lndj6q0KJYM/ChWks4ev8R7XGW+J4+tOue8arspnmNYjuRTmqrtJQ pNn0cPTg3TZ/0FFvezpQSjpsn7DB7UO/HA+U4= Received: by 10.141.161.6 with SMTP id n6mr242206rvo.155.1221848436791; Fri, 19 Sep 2008 11:20:36 -0700 (PDT) Received: by 10.141.5.12 with HTTP; Fri, 19 Sep 2008 11:20:36 -0700 (PDT) Message-ID: Date: Fri, 19 Sep 2008 11:20:36 -0700 From: "Nathaniel Gray" To: "Xavier Leroy" Subject: Extending .annot files Cc: "Jun Furuse" , caml-list@yquem.inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline X-Spam: no; 0.00; ocaml:01 bugfix:01 compiler:01 cheers:01 wrote:01 data:02 inferred:02 referenced:02 defined:02 defined:02 module:03 module:03 scope:04 identifier:04 inclusion:04 On Thu, Sep 18, 2008 at 10:02 AM, Xavier Leroy wrote: > > 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. 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). For any identifier it would be good to know: 1. Its inferred type 2. Its fully-qualified module "path" 3. Where it was defined, if it was defined in the current file. 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) 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. Finally, it may be worth putting a little work into reducing the size of .annot files. One could certainly do much better with very little effort. Cheers, -n8 -- >>>-- Nathaniel Gray -- Caltech Computer Science ------> >>>-- Mojave Project -- http://mojave.cs.caltech.edu -->