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 WAA11122 for caml-redistribution; Sun, 19 Dec 1999 22:43:44 +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 SAA26879 for <caml-list@pauillac.inria.fr>; Sat, 18 Dec 1999 18:41:33 +0100 (MET)
Received: from sunstroke.informatik.uni-tuebingen.de (sunstroke.Informatik.Uni-Tuebingen.De [134.2.11.25])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id SAA01734
	for <caml-list@inria.fr>; Sat, 18 Dec 1999 18:41:31 +0100 (MET)
Received: (from pfitzen@localhost)
	by sunstroke.informatik.uni-tuebingen.de (8.9.1a/8.9.1) id SAA29913
	for caml-list@inria.fr; Sat, 18 Dec 1999 18:41:29 +0100 (MET)
Date: Sat, 18 Dec 1999 18:41:29 +0100 (MET)
From: Juergen Pfitzenmaier <pfitzen@informatik.uni-tuebingen.de>
Message-Id: <199912181741.SAA29913@sunstroke.informatik.uni-tuebingen.de>
To: caml-list@inria.fr
Subject: Re: How do I ..
Sender: weis


John Skaller was asking about:
> # let f (lx:x : int) = x + 1;;
> Syntax error

maybe   let f lx: (x : int) = x + 1;;
is what you want.

pfitzen