From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id GAA30686; Fri, 22 Oct 2004 06:17:56 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id GAA30911 for ; Fri, 22 Oct 2004 06:17:54 +0200 (MET DST) Received: from nexus.stwing.upenn.edu (NEXUS.STWING.UPENN.EDU [165.123.132.61]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i9M4HrFd008099 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Fri, 22 Oct 2004 06:17:54 +0200 Received: from force.stwing.upenn.edu (force.stwing.upenn.edu [165.123.132.65]) by nexus.stwing.upenn.edu (8.12.10/8.12.9) with ESMTP id i9M4HpHA000305 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Fri, 22 Oct 2004 00:17:52 -0400 (EDT) Received: from force.stwing.upenn.edu (localhost [127.0.0.1]) by force.stwing.upenn.edu (8.12.10/8.12.9) with ESMTP id i9M4Hkh4022631 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Fri, 22 Oct 2004 00:17:46 -0400 (EDT) Received: (from wlovas@localhost) by force.stwing.upenn.edu (8.12.10/8.12.9/Submit) id i9M4HdGc022119 for caml-list@inria.fr; Fri, 22 Oct 2004 00:17:39 -0400 (EDT) Date: Fri, 22 Oct 2004 00:17:38 -0400 From: William Lovas To: caml-list Subject: Re: [Caml-list] Polymorphism and the "for" loop Message-ID: <20041022041735.GB8609@force.stwing.upenn.edu> Mail-Followup-To: caml-list References: <200410211950.43396.jon@jdh30.plus.com> <20041021191156.GA17933@old.davidb.org> <1098407993.7584.6.camel@pelican.wigram> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1098407993.7584.6.camel@pelican.wigram> User-Agent: Mutt/1.5.4i X-Miltered: at nez-perce with ID 417889F1.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; lovas:01 wlovas:01 stwing:01 caml-list:01 2004:99 2004:99 argued:01 inferred:01 inference:01 argued:01 unit:03 unit:03 wrote:03 wrote:03 oct:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Fri, Oct 22, 2004 at 11:19:53AM +1000, skaller wrote: > On Fri, 2004-10-22 at 05:11, David Brown wrote: > > On Thu, Oct 21, 2004 at 07:50:43PM +0100, Jon Harrop wrote: > > > Because its only a warning, not an error. g is allowed to return any type. > > It could be argued that the loop expression must be of type unit, then this > > could also be inferred by type inference. > > It can also be argued chosing unit for non-returning function > is the wrong choice and that correct choice is void. Certainly. But whoever mentioned non-returning functions? William ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners