From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <kattlachan@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=1.9 required=5.0 tests=DNS_FROM_RFC_ABUSE,
	HTML_MESSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38])
	by yquem.inria.fr (Postfix) with ESMTP id 76E2DBC50
	for <caml-list@yquem.inria.fr>; Fri,  6 Oct 2006 22:20:25 +0200 (CEST)
Received: from nf-out-0910.google.com (nf-out-0910.google.com [64.233.182.190])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id k96KKO3H007220
	for <caml-list@inria.fr>; Fri, 6 Oct 2006 22:20:25 +0200
Received: by nf-out-0910.google.com with SMTP id y38so1259088nfb
        for <caml-list@inria.fr>; Fri, 06 Oct 2006 13:20:22 -0700 (PDT)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
        s=beta; d=gmail.com;
        h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:references;
        b=c/8eB3c4XuBNXZZP4mXkBvlOeYy5qrRHj67azSNKeAXhpdJRwkBsVmdekAtoq+n11mPcFhnRAtu2Fdh9UnAyJaaUpir1BFUtrHWrGe/EvG8euUy51YnoFE1LTNm2S1fjBF8a3cJ84LLrJG24A5Ry9rhJ+1sNTXbMDomuoQrUdRg=
Received: by 10.82.106.14 with SMTP id e14mr240164buc;
        Fri, 06 Oct 2006 13:20:22 -0700 (PDT)
Received: by 10.82.114.12 with HTTP; Fri, 6 Oct 2006 13:20:22 -0700 (PDT)
Message-ID: <6ebe51ce0610061320s1ef4402al54de5bab22071f0f@mail.gmail.com>
Date: Fri, 6 Oct 2006 22:20:22 +0200
From: "ketty ." <kattlachan@gmail.com>
To: caml-list@inria.fr
Subject: Re: [Caml-list] Type inference inside exceptions ?
In-Reply-To: <20061006201647.1a88vj0tkockc4k8@webmail.etu.upmc.fr>
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_38735_8430411.1160166022540"
References: <20061006201647.1a88vj0tkockc4k8@webmail.etu.upmc.fr>
X-j-chkmail-Score: MSGID : 4526BA89.000 on discorde : j-chkmail score : X : 0/20 1
X-Miltered: at discorde with ID 4526BA89.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; inference:01 pons:01 pons:01 type-checker:01 type-checker:01 ketty:98 wrote:01 wrote:01 caml-list:01 exceptions:01 exceptions:01 types:03 types:03 guess:04 i'd:05 

------=_Part_38735_8430411.1160166022540
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

On 10/6/06, Diego Olivier FERNANDEZ PONS <diego.fernandez_pons@etu.upmc.fr>
wrote:

> I would like the type-checker to infer the type inside exceptions (or
> at least to help me in the "guess a type and test" loop).



I'd like it to infer the types of record-fields as well :)

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

<br><br><div><span class="gmail_quote">On 10/6/06, <b class="gmail_sendername">Diego Olivier FERNANDEZ PONS</b> &lt;<a href="mailto:diego.fernandez_pons@etu.upmc.fr">diego.fernandez_pons@etu.upmc.fr</a>&gt; wrote:</span><br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">I would like the type-checker to infer the type inside exceptions (or<br>at least to help me in the &quot;guess a type and test&quot; loop).
</blockquote><div><br><br>I'd like it to infer the types of record-fields as well :)<br></div><br></div><br>

------=_Part_38735_8430411.1160166022540--