From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA16576 for caml-redistribution; Sun, 19 Dec 1999 22:44:12 +0100 (MET)
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 TAA20370 for <caml-list@pauillac.inria.fr>; Sat, 18 Dec 1999 19:09:25 +0100 (MET)
Received: from opus10.davidb.org (adsl-216-103-8-60.dsl.sndg02.pacbell.net [216.103.8.60])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id TAA02038
	for <caml-list@inria.fr>; Sat, 18 Dec 1999 19:09:23 +0100 (MET)
Received: (from davidb@localhost)
	by opus10.davidb.org (8.9.3/8.9.3/Debian/GNU) id KAA04462;
	Sat, 18 Dec 1999 10:09:22 -0800
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-ID: <14427.52689.466075.881188@opus10.davidb.org>
Date: Sat, 18 Dec 1999 10:09:21 -0800 (PST)
To: CAML Mailing <caml-list@inria.fr>
Subject: How do I ..
In-Reply-To: <385B318A.76681803@maxtal.com.au>
References: <385B318A.76681803@maxtal.com.au>
X-Mailer: VM 6.71 under 21.1 (patch 8) "Bryce Canyon" XEmacs Lucid
From: David Brown <caml-list@davidb.org>
Sender: weis

skaller writes:
 > I'm confused:
 > 
 >        Objective Caml version 2.99 (99/12/08)
 > 
 > # let f (lx:x : int) = x + 1;;
 > Syntax error

The labels have to be at the "top".

# let f lx:(x : int) = x + 1;
val f : lx:int -> int = (fun)

Dave Brown