From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p0R03uKd025994 for ; Thu, 27 Jan 2011 01:03:56 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjAEAMdEQE1V2gB5h2dsb2JhbAClEAEBCwsIGiS8UQ2FQgSQCg X-IronPort-AV: E=Sophos;i="4.60,382,1291590000"; d="scan'208";a="88423731" Received: from emailfrontal2.citycable.ch ([85.218.0.121]) by mail2-smtp-roc.national.inria.fr with SMTP; 27 Jan 2011 01:03:50 +0100 X-Alinto-smtpauth-localdomain: Yes Received: from seldon (unknown [85.218.92.99]) (Authenticated sender: guillaume.yziquel@citycable.ch) by emailfrontal2.citycable.ch (Postfix) with ESMTPA id 747C283468F; Thu, 27 Jan 2011 01:03:49 +0100 (CET) Received: from yziquel by seldon with local (Exim 4.72) (envelope-from ) id 1PiFJA-000838-1y; Thu, 27 Jan 2011 01:02:20 +0100 Date: Thu, 27 Jan 2011 01:01:51 +0100 From: Guillaume Yziquel To: Raoul Duke Cc: OCaml Message-ID: <20110127000058.GN4195@localhost> References: MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p0R03uKd025994 Subject: Re: [Caml-list] return type annotation syntax? Le Wednesday 26 Jan 2011 à 15:54:48 (-0800), Raoul Duke a écrit : > hi, > > how do i annotate/specify the return type of a function i'm writing? i > see how to specify the type of the input arguments, but i didn't > figure out how to say what the return type is. > > thanks. let f (x : input_typ) : return_type = ... -- Guillaume Yziquel