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 IAA19028; Thu, 16 Jan 2003 08:48:54 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 IAA18991 for ; Thu, 16 Jan 2003 08:48:54 +0100 (MET) Received: from favie.faith.gr.jp (favie.faith.gr.jp [61.127.175.250]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h0G7mlr07858 for ; Thu, 16 Jan 2003 08:48:48 +0100 (MET) Received: from localhost (dhcp7.faith.gr.jp [192.168.1.17]) by favie.faith.gr.jp (8.9.3/8.9.3) with ESMTP id QAA04620; Thu, 16 Jan 2003 16:48:33 +0900 To: vsl@ontil.ihep.su Cc: caml-list@inria.fr Subject: Re: [Caml-list] Strange error message In-Reply-To: References: X-Mailer: Mew version 1.94.2 on Emacs 21.2 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20030116164816M.garrigue@kurims.kyoto-u.ac.jp> Date: Thu, 16 Jan 2003 16:48:16 +0900 From: Jacques Garrigue X-Dispatcher: imput version 20000228(IM140) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk From: Vitaly Lugovsky > I just got a strange error message, never seen before. > Ocaml 3.06. > > The implementation lisp.ml does not match the interface lisp.cmi: > Values do not match: > val execute : > int * (string, '_a Lispt.ctv) Hashtbl.t -> > '_a Lispt.llist list -> int * (string, '_a Lispt.ctv) Hashtbl.t > is not included in > val execute : > int * (string, 'a Lispt.ctv) Hashtbl.t -> > 'a Lispt.llist list -> int * (string, 'a Lispt.ctv) Hashtbl.t That's just the nth variant of the value polymorphism problem. You should probably eta-expand the definition of execute, because currently it has a monorphic type (as shown by the '_a), while the interface requires it to be polymorphic. --------------------------------------------------------------------------- Jacques Garrigue Kyoto University garrigue at kurims.kyoto-u.ac.jp JG ------------------- 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