From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p0R0DevR026312
	for <caml-list@sympa-roc.inria.fr>; Thu, 27 Jan 2011 01:13:41 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhUBANNHQE3RVaE2kGdsb2JhbACkcwgVAQECCQkMBxEEIKIcigCCF4ULLohZAQEDBYVKBIUXhxI
X-IronPort-AV: E=Sophos;i="4.60,383,1291590000"; 
   d="scan'208";a="74290806"
Received: from mail-fx0-f54.google.com ([209.85.161.54])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-MD5; 27 Jan 2011 01:13:02 +0100
Received: by fxm16 with SMTP id 16so1647344fxm.27
        for <caml-list@inria.fr>; Wed, 26 Jan 2011 16:13:02 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:in-reply-to:references:from:date
         :message-id:subject:to:content-type;
        bh=OLF+RBeO/fpkajivScohuvfIokkuzteFLmpxmS7wC3c=;
        b=knUtMMPfgyu9S66X7so4I8AfAc5HC/iGJertWUXCZUxOPj+CljHA02+IxFNpW0NQld
         45orTNvHF918bQTcHGawRrxePA4Ll+C3xX7xuPLUVYkoiucmOXpZo1UwW+Zfk/nZW5m2
         B0108AWXqsux5dn8Ny+qkblhrUu1VFXogJBBI=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to
         :content-type;
        b=dDdfpRVQsy0iQy4B0TNymMezo6t/WOFoieOKhO/43AZAhU0i4k8tG3jdTffeMHam6j
         XyGqZlOQnyL8fPPH+howfo/LiZ/bP+qkAaRMyu3mm90hh18+mjqURUWs0rWnJjmtZy6D
         tM+XiVnoQS2NtE69qLdclqG2GCUGypXVJfLQo=
Received: by 10.223.72.9 with SMTP id k9mr171182faj.93.1296087181702; Wed, 26
 Jan 2011 16:13:01 -0800 (PST)
MIME-Version: 1.0
Received: by 10.223.78.143 with HTTP; Wed, 26 Jan 2011 16:12:40 -0800 (PST)
In-Reply-To: <20110127000058.GN4195@localhost>
References: <AANLkTimweZ0DyarqqCYurY=_rYEBVkcO6e5HPDs2Q811@mail.gmail.com> <20110127000058.GN4195@localhost>
From: Raoul Duke <raould@gmail.com>
Date: Wed, 26 Jan 2011 16:12:40 -0800
Message-ID: <AANLkTi=qfdnHSoxzi=cP2AShiDr=hR=ryRfm5MEjj2k3@mail.gmail.com>
To: OCaml <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
Subject: Re: [Caml-list] return type annotation syntax?

On Wed, Jan 26, 2011 at 4:01 PM, Guillaume Yziquel
> let f (x : input_typ) : return_type = ...

oh, thanks! i was trying to use "->" in there somewhere just doing
lame human pattern matching on what the repl prints as types for
things, and i even saw "->" in the ocaml grammar spec for types so i
was figuring the "->" was to be used. :-P

:)