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 WAA08287 for caml-red; Sun, 4 Feb 2001 22:06:29 +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 JAA04802 for <caml-list@pauillac.inria.fr>; Sun, 4 Feb 2001 09:38:14 +0100 (MET)
Received: from suburbia.net (suburbia.net [203.4.184.1])
	by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f148cAr21413
	for <caml-list@inria.fr>; Sun, 4 Feb 2001 09:38:11 +0100 (MET)
Received: by suburbia.net (Postfix, from userid 110)
	id C1FB66C6C7; Sun,  4 Feb 2001 19:37:59 +1100 (EST)
To: Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>
Cc: pfitzen@informatik.uni-tuebingen.de, caml-list@inria.fr
Subject: Re: # and polymorphic variants
References: <200102010037.BAA12641@sunstroke.informatik.uni-tuebingen.de> <20010201233110I.garrigue@kurims.kyoto-u.ac.jp>
Cc: proff@iq.org
From: Julian Assange <proff@iq.org>
Date: 04 Feb 2001 19:37:59 +1100
In-Reply-To: Jacques Garrigue's message of "Thu, 01 Feb 2001 23:31:10 +0900"
Message-ID: <wxy9vmsv14.fsf@suburbia.net>
User-Agent: Gnus/5.0802 (Gnus v5.8.2) XEmacs/21.1 (Big Bend)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Sender: weis@pauillac.inria.fr

Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp> writes:

> > 	match x with
> > 	| #t1 -> f1 x      (* this is not allowed !! *)
> > 	| #t2 -> f2 x;;

Where is this hash notation documented, btw?