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 VAA09746; Thu, 25 Mar 2004 21:00:45 +0100 (MET) 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 VAA09016 for ; Thu, 25 Mar 2004 21:00:43 +0100 (MET) Received: from calmail-cl.berkeley.edu (mailfarm.Berkeley.EDU [128.32.61.106]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i2PK1JKW025857 for ; Thu, 25 Mar 2004 21:01:20 +0100 Received: from [64.162.212.212] (HELO tallman.kefka.frap.net) by calmail-cl.berkeley.edu (CommuniGate Pro SMTP 4.1.8) with SMTP id 9559084 for caml-list@inria.fr; Thu, 25 Mar 2004 12:00:41 -0800 Received: by tallman.kefka.frap.net (sSMTP sendmail emulation); Thu, 25 Mar 2004 12:00:37 -0800 Date: Thu, 25 Mar 2004 12:00:37 -0800 From: Kenneth Knowles To: caml-list@inria.fr Subject: Re: [Caml-list] type annotations for function values Message-ID: <20040325200037.GA19143@tallman.kefka.frap.net> References: <16483.13886.930859.583419@gargle.gargle.HOWL> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <16483.13886.930859.583419@gargle.gargle.HOWL> User-Agent: Mutt/1.5.6i X-Miltered: at nez-perce by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; knowles:99 caml-list:01 annotations:01 2004:99 int:01 int:01 syntax:02 float:02 float:02 wrote:03 let:04 let:04 type:07 0100,:08 thu:08 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Keywords: X-UID: 363 The syntax for what you want is: # let f (x : float) (y : float) : int = 3 in 4;; You almost had it: On Thu, Mar 25, 2004 at 08:42:54PM +0100, fis@wiwi.hu-berlin.de wrote: > let ((f (x : float) (y : float)) : int) = 3 in 4;; Kenn ------------------- 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