From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA21667 for caml-redistribution; Mon, 8 Dec 1997 11:20:28 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA19817 for <caml-list@pauillac.inria.fr>; Mon, 8 Dec 1997 09:31:18 +0100 (MET)
Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2])
	by concorde.inria.fr (8.8.7/8.8.5) with ESMTP id JAA25304
	for <caml-list@pauillac.inria.fr>; Mon, 8 Dec 1997 09:31:18 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by margaux.inria.fr (8.7.6/8.7.3) with ESMTP id JAA04885 for <caml-list@margaux.inria.fr>; Mon, 8 Dec 1997 09:31:16 +0100 (MET)
Received: from mail1.isdnet.net (root@mail1.hol.fr [194.149.160.35])
	by concorde.inria.fr (8.8.7/8.8.5) with ESMTP id JAA25295
	for <caml-list@margaux.inria.fr>; Mon, 8 Dec 1997 09:31:15 +0100 (MET)
Received: from [195.154.32.172] (paris3-44.hol.fr [195.154.32.172]) by mail1.isdnet.net (8.8.5/8.8.5) with SMTP id JAA27421 for <caml-list@margaux.inria.fr>; Mon, 8 Dec 1997 09:31:09 +0100 (CET)
Message-Id: <199712080831.JAA27421@mail1.isdnet.net>
Subject: Type of prefix + and prefix ::
Date: Mon, 8 Dec 97 09:31:45 +0200
x-sender: lcheno@pop.hol.fr
x-mailer: Claris Emailer 2.0Fv1 , 3 juillet 1997
From: Laurent Ch=?ISO-8859-1?Q?éno?= <laurent.cheno@hol.fr>
To: "Caml list" <caml-list@margaux.inria.fr>
Mime-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Sender: weis

Why ?

>>       Caml Light version 0.73/Mac.3
>
>#prefix + ;;
>- : int -> int -> int = <fun>
>#prefix :: ;;
>- : 'a * 'a list -> 'a list = <fun>
>#


and not 

prefix :: ;;
- : 'a -> 'a list -> 'a list = <fun>

It's strange, no ?