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 PAA09028 for caml-red; Sat, 25 Nov 2000 15:36:00 +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 OAA30962 for <caml-list@pauillac.inria.fr>; Thu, 23 Nov 2000 14:11:06 +0100 (MET)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id eANDB5114417
	for <caml-list@inria.fr>; Thu, 23 Nov 2000 14:11:05 +0100 (MET)
Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA21221; Thu, 23 Nov 2000 14:11:05 +0100 (MET)
Date: Thu, 23 Nov 2000 14:11:05 +0100
From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: Christian Lindig <lindig@pauillac.inria.fr>,
        Caml Mailing List <caml-list@inria.fr>
Subject: Re: mysterious signature mismatch
Message-ID: <20001123141105.B13264@pauillac.inria.fr>
References: <20001115103359.C13992@lakeland.eecs.harvard.edu>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Mailer: Mutt 1.0i
In-Reply-To: <20001115103359.C13992@lakeland.eecs.harvard.edu>; from lindig@eecs.harvard.edu on Wed, Nov 15, 2000 at 10:33:59AM -0500
Sender: weis@pauillac.inria.fr

> The following code is rejected by the compiler with a signature
> mismatch error.  However, the signature below is the same the one
> inferred by the compiler.  Bug or feature?

It is a bug in OCaml 3.00, which is fixed in the current working
sources.

- Xavier Leroy