From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA13701; Mon, 20 Jan 2003 15:17:57 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 PAA13500 for ; Mon, 20 Jan 2003 15:17:56 +0100 (MET) Received: from mg.ihep.su (mg.ihep.su [194.190.161.38]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h0KEHtv27127; Mon, 20 Jan 2003 15:17:55 +0100 (MET) Received: by mg.ihep.su (Postfix, from userid 65436) id 77D59B5422; Mon, 20 Jan 2003 17:17:54 +0300 (MSK) Received: from ontil.ihep.su (ontil.ihep.su [194.190.161.63]) by mg.ihep.su (Postfix) with ESMTP id A9043B50F6; Mon, 20 Jan 2003 17:17:49 +0300 (MSK) Received: by ontil.ihep.su (Postfix, from userid 1001) id 4A2B667C6; Mon, 20 Jan 2003 17:17:48 +0300 (MSK) Received: from localhost (localhost [127.0.0.1]) by ontil.ihep.su (Postfix) with ESMTP id 4776B61C4; Mon, 20 Jan 2003 17:17:48 +0300 (MSK) Date: Mon, 20 Jan 2003 17:17:48 +0300 (MSK) From: Vitaly Lugovsky To: Pierre Weis Cc: Jacques Garrigue , caml-list@inria.fr Subject: Re: [Caml-list] Strange error message In-Reply-To: <200301191452.PAA17087@pauillac.inria.fr> Message-ID: References: <200301191452.PAA17087@pauillac.inria.fr> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sun, 19 Jan 2003, Pierre Weis wrote: > In particular, I think that the question ``What means '_a ?'' > from the > "EXPERT" FAQ could be relevant to your problem :) No. Sorry. I still don't understand. Why there is a *wrong* type specification in .cmi? If it's '_a, why it's 'a in .cmi? ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners