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 MAA17571; Thu, 4 Mar 2004 12:47:49 +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 MAA18010 for ; Thu, 4 Mar 2004 12:47:48 +0100 (MET) Received: from alex.baretta.com ([213.255.109.130]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i24BlxIq022328 for ; Thu, 4 Mar 2004 12:47:59 +0100 Received: from baretta.com (localhost.localdomain [127.0.0.1]) by alex.baretta.com (8.12.8/8.12.8) with ESMTP id i24BmE5T002414; Thu, 4 Mar 2004 12:48:15 +0100 Message-ID: <4047177E.70802@baretta.com> Date: Thu, 04 Mar 2004 12:48:14 +0100 From: Alex Baretta User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.5) Gecko/20031007 X-Accept-Language: en-us, en MIME-Version: 1.0 To: Mikael Brockman , ocaml Subject: Re: [Caml-list] Typechecking madness References: <40434623.6040100@baretta.com> <20040303171627X.garrigue@kurims.kyoto-u.ac.jp> <87llmiyn4g.fsf@authorize.quake3arena.com> In-Reply-To: <87llmiyn4g.fsf@authorize.quake3arena.com> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; baretta:01 baretta:01 caml-list:01 jacques:01 pxp:01 pxp:01 faq:01 typechecking:01 alex:01 alex:01 garrigue:01 garrigue:01 toplevel:01 toplevel:01 writes:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 46 Mikael Brockman wrote: > Jacques Garrigue writes: > > >>From: Alex Baretta >>>This expression has type >>> 'a. (('a Pxp_document.node #Pxp_document.extension as 'a) -> unit) -> >>>unit >>>but is here used with type >>> 'b. (('b Pxp_document.node #Pxp_document.extension as 'b) -> unit) -> >>>unit >>Even if the type checking is correct in detecting a type error, this >>is not a valid error message. > > > Actually, the first expert FAQ [1] addresses a (valid) such error > message. Briefly, this kind of error occurs when you have defined two > types with the same name, which is easy to do when you're using the > REPL. > Allow me to point out that I was not using the toplevel (REPL, as you call it); rather I was compiling a PXP document transformation with the toplevel. There actually was a type error in my code, and I did manage to figure it out. The error message did not really help, though. Alex ------------------- 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