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 XAA02689 for caml-red; Mon, 6 Nov 2000 23:05:49 +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 OAA14757 for <caml-list@pauillac.inria.fr>; Sun, 5 Nov 2000 14:09:12 +0100 (MET)
Received: from mta6.snfc21.pbi.net (mta6.snfc21.pbi.net [206.13.28.240])
	by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id eA5D9AP06955
	for <caml-list@inria.fr>; Sun, 5 Nov 2000 14:09:11 +0100 (MET)
Received: from checkerlap.d6.com ([64.160.52.206])
	by mta6.snfc21.pbi.net (Sun Internet Mail Server sims.3.5.2000.01.05.12.18.p9)
	with ESMTP id <0G3J00FUFZ4RLG@mta6.snfc21.pbi.net> for caml-list@inria.fr;
	Sun,  5 Nov 2000 05:07:40 -0800 (PST)
Date: Sun, 05 Nov 2000 05:11:11 -0800
From: Chris Hecker <checker@d6.com>
Subject: anonymous function + lable bug?
X-Sender: def6@shell16.ba.best.com
To: caml-list@inria.fr
Message-id: <4.3.2.7.2.20001105044616.00ababc0@shell16.ba.best.com>
MIME-version: 1.0
X-Mailer: QUALCOMM Windows Eudora Version 4.3.2
Content-type: text/plain; charset="us-ascii"
Sender: weis@pauillac.inria.fr


Is this a bug?

# let f = fun ~x -> x;;
val f : x:'a -> 'a = <fun>

# let g = function ~x -> x;;
Characters 17-18:
Syntax error

I thought these two were equivalent?

Chris