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=3.3 required=5.0 tests=AWL,DNS_FROM_RFC_POST, DNS_FROM_SECURITYSAGE,MAILTO_TO_SPAM_ADDR,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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 001EEBB84 for ; Sat, 1 Nov 2008 14:31:01 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjcDAHv2C0nAXQIngWdsb2JhbACTUz4BARYiqXt/ij8BAwEDg04 X-IronPort-AV: E=Sophos;i="4.33,527,1220220000"; d="scan'208";a="16748615" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 01 Nov 2008 14:31:01 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id mA1DV17c027721 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sat, 1 Nov 2008 14:31:01 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhUBAPL2C0lKfSwekGdsb2JhbACTUz4BAQEBCQkMBxEDqXl/ij8BAwEDg04 X-IronPort-AV: E=Sophos;i="4.33,527,1220220000"; d="scan'208";a="31008407" Received: from yx-out-2324.google.com ([74.125.44.30]) by mail4-smtp-sop.national.inria.fr with ESMTP; 01 Nov 2008 14:31:00 +0100 Received: by yx-out-2324.google.com with SMTP id 8so959068yxg.27 for ; Sat, 01 Nov 2008 06:30:59 -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 :user-agent:mime-version:to:cc:subject:references:in-reply-to :content-type:content-transfer-encoding; bh=OZ4oP75CBMoU9ysEABhFYrEIBIProR9T9Lnb3GSCH/0=; b=vJpkXQB41h8yCsUTY0hCz9s/CTyS/QRTT6urdS5xaZc6LiIriF6N0s+uRHgVwEZ/af tI0kuww7hYHroeLNkLixjIiDMe4TP7YsTrAQG8bDCCiZBIErUIG0CMbAdNajeWazNjuw iOE6UWISN6tt89OiDJXQDcjTPkCVC079mubdo= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:cc:subject :references:in-reply-to:content-type:content-transfer-encoding; b=dE/9bodM0T+KXPih2kpOyygRizue4kjErsIZrvBt10GItQ6IuAXDWD6gJXJ0uOpVpZ wbU0Lb2RI7xp7UKtzI4EVK4P3Y4ipx8bfiKwlHTEXn4432nuKGrtu7yVPv53bneHBibe g85vqXpUUBlNVQkk3+tditvNmb5Krm8sN+qK8= Received: by 10.65.212.18 with SMTP id o18mr14920652qbq.0.1225546259455; Sat, 01 Nov 2008 06:30:59 -0700 (PDT) Received: from ?192.168.0.11? (ppp-70-242-67-240.dsl.stlsmo.swbell.net [70.242.67.240]) by mx.google.com with ESMTPS id k30sm10441443qba.4.2008.11.01.06.30.58 (version=TLSv1/SSLv3 cipher=RC4-MD5); Sat, 01 Nov 2008 06:30:58 -0700 (PDT) Message-ID: <490C5A10.1030007@gmail.com> Date: Sat, 01 Nov 2008 08:30:56 -0500 From: Edgar Friendly User-Agent: Thunderbird 2.0.0.17 (X11/20080925) MIME-Version: 1.0 To: =?UTF-8?B?UsOpbWkgVmFuaWNhdA==?= Cc: caml-list@inria.fr Subject: Re: [Caml-list] Re: Private types References: <340C8DB35D244173AE527238DB359A19@countertenor> <04092D60-3BB6-49A6-8A04-0BFE3A2081BD@erratique.ch> <5687D906367C49F981398A97A5966E09@countertenor> <20081031.090842.254669920.garrigue@math.nagoya-u.ac.jp> <490BB657.5050301@gmail.com> <87ljw3iorm.dlv@maison.homelinux.org> In-Reply-To: <87ljw3iorm.dlv@maison.homelinux.org> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Miltered: at concorde with ID 490C5A15.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; compiler:01 edgar:98 edgar:98 vacuum:98 wrote:01 caml-list:01 writes:01 vanicat:01 let:03 explicit:04 types:05 types:05 infer:07 function:08 function:08 Rémi Vanicat wrote: > Edgar Friendly writes: > >> Does the compiler really get any information from an explicit cast that >> it can't figure out already? I can't come up with any example. > > you mean as in the following function ? > let f x = (x : t :> t') > Well, yes and no. That function in a vacuum doesn't have enough information to infer types t and t', but within a larger program, if it gets used in a manner other than ('a -> 'a), the cast should be obvious, no? E.