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 SAA08366 for caml-red; Mon, 11 Dec 2000 18:34:17 +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 NAA02296 for <caml-list@pauillac.inria.fr>; Sun, 10 Dec 2000 13:50:23 +0100 (MET)
Received: from tor.abc.se (ns.abc.se [195.17.72.11])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id eBACoMv22689
	for <caml-list@inria.fr>; Sun, 10 Dec 2000 13:50:22 +0100 (MET)
Received: from gateway (dialup-46 [195.17.73.46])
	by tor.abc.se (8.9.3+Sun/8.9.3) with SMTP id NAA13086
	for <caml-list@inria.fr>; Sun, 10 Dec 2000 13:50:21 +0100 (MET)
From: "Mattias Waldau" <mattias.waldau@abc.se>
To: "Caml-List" <caml-list@inria.fr>
Subject: RE: Same label in different types, how do people solve this?
Date: Sun, 10 Dec 2000 13:49:59 +0100
Message-ID: <HDEEKOMJILGEIHIMAPCDOEMFDLAA.mattias.waldau@abc.se>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Priority: 3 (Normal)
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2911.0)
Importance: Normal
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400
In-Reply-To: <HDEEKOMJILGEIHIMAPCDMEJMDLAA.mattias.waldau@abc.se>
Sender: weis@pauillac.inria.fr

Thanks for all the answers! Obviously this question including the
suggestions should be in the FAQ.

I understand that all you functional experts thinks this restriction is
obvious, but for me it is more like a bug/misfeature. So this 'misfeature'
should actually be stated for all us who aren't interested how types are
infered in functional programming.

I actually thought there was a simple work-around, but there isn't.

/mattias