From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <kirillkh@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.2 required=5.0 tests=AWL,HTML_MESSAGE 
	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 D62F9BB84
	for <caml-list@yquem.inria.fr>; Wed, 27 Aug 2008 22:24:40 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AlkBAERVtUhA6aa3lGdsb2JhbACCNS+PGT4BAQEBCQMKBxEDoAGHWgEC
X-IronPort-AV: E=Sophos;i="4.32,281,1217800800"; 
   d="scan'208";a="14322872"
Received: from py-out-1112.google.com ([64.233.166.183])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 27 Aug 2008 22:24:40 +0200
Received: by py-out-1112.google.com with SMTP id a77so21402pyh.33
        for <caml-list@yquem.inria.fr>; Wed, 27 Aug 2008 13:24:39 -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:in-reply-to:mime-version:content-type:references;
        bh=VQroCUajqy2fMYyc7pkqakIbVnowRlLY6JLCVWcqow4=;
        b=hs035SAO2z31iTpkkI5rxzflYuwf1tWoighf1Ley734zc+3aVXTPn5THxMbj23pKVR
         1EJ3Rry7Fof8TEgjbavcu9yc1WcuCazfAlDZjCm1ZGqlhZ8e2KAgFZROLau4jmnvPKJE
         BTjiuIeD6ervHh8/vg+O0zuwGGxIkjxlZsQTA=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:to:subject:cc:in-reply-to:mime-version
         :content-type:references;
        b=A3J4YCDdWEhX5N381gr3nEVEWJU66KgGqQ/FsdEaKmtZLdF19e40FTx7jWKd+IJMZQ
         tZnW3RCbG734t5Q1qQhUXf51YmILMR3pz4fc3fzC5FlhG+IydBXidAnTB8EDBmNWw+Yu
         zMTJjORMJX0kI+9ddbmwSWW+pvV/rYb9xKQl0=
Received: by 10.65.44.11 with SMTP id w11mr636907qbj.92.1219868679071;
        Wed, 27 Aug 2008 13:24:39 -0700 (PDT)
Received: by 10.65.224.2 with HTTP; Wed, 27 Aug 2008 13:24:38 -0700 (PDT)
Message-ID: <e2d02be30808271324p2bece952ic0af86df55ad85da@mail.gmail.com>
Date: Wed, 27 Aug 2008 23:24:38 +0300
From: kirillkh <kirillkh@gmail.com>
To: "Maxence Guesdon" <maxence.guesdon@inria.fr>
Subject: Re: [Caml-list] New Ocaml Plug-in for NetBeans
Cc: hmf@inescporto.pt, caml-list@yquem.inria.fr
In-Reply-To: <20080820082921.5100632e@alcazar.inria.fr>
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_11261_26918276.1219868679012"
References: <1217061979.488ae45b452b9@webmail.inescporto.pt>
	 <20080820082921.5100632e@alcazar.inria.fr>
X-Spam: no; 0.00; ocaml:01 plug-in:98 caml-list:01 arbitrary:02 arbitrary:02 expression:02 expression:02 incomplete:03 incomplete:03 erroneous:04 erroneous:04 types:05 types:05 infer:07 infer:07 

------=_Part_11261_26918276.1219868679012
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

Hi,

Sorry for a late reply. This line caught my attention:

- Chamo uses .annot files to display type information (Alt-t),
>

- Can Chamo infer and display type of an arbitrary expression in the source
code?
- Does it work for user-created types (which, supposedly, don't have .annot
files)?
- Is it tolerant to erroneous/incomplete code?

Thanks,
-Kirill

------=_Part_11261_26918276.1219868679012
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

<div dir="ltr">Hi,<br><br>Sorry for a late reply. This line caught my attention:<br><div class="gmail_quote"><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
- Chamo uses .annot files to display type information (Alt-t),<br>
</blockquote></div><br>- Can Chamo infer and display type of an arbitrary expression in the source code?<br>- Does it work for user-created types (which, supposedly, don&#39;t have .annot files)?<br>- Is it tolerant to erroneous/incomplete code?<br>
<br>Thanks,<br>-Kirill<br></div>

------=_Part_11261_26918276.1219868679012--