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 LAA05722; Sun, 3 Nov 2002 11:32:30 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA06070 for caml-list@pauillac.inria.fr; Sun, 3 Nov 2002 11:32:30 +0100 (MET) 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 LAA05701 for ; Sun, 3 Nov 2002 11:30:22 +0100 (MET) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from kraid.nerim.net (kraid.nerim.net [62.4.16.95]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id gA3AULD02197 for ; Sun, 3 Nov 2002 11:30:21 +0100 (MET) Received: from chinon (jmarant.net1.nerim.net [62.212.105.6]) by kraid.nerim.net (Postfix) with ESMTP id 799E740E33 for ; Sun, 3 Nov 2002 11:20:39 +0100 (CET) Received: by chinon (Postfix, from userid 1000) id DD236818256; Sun, 3 Nov 2002 11:30:36 +0100 (CET) To: caml-list@inria.fr Subject: [Caml-list] Open types and methods From: jmarant@nerim.net (=?iso-8859-1?q?J=E9r=F4me?= Marant) Date: Sun, 03 Nov 2002 11:30:36 +0100 Message-ID: <87bs57eyib.fsf@marant.org> User-Agent: Gnus/5.090007 (Oort Gnus v0.07) Emacs/21.2 (i386-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, I know that I cannot use open types as method parameter types, like: method foo (w : #mother) = .... So, how can I pass to a method an object of a given class or of its inherited classes, i.e. how to work this limitation around? Thanks. Cheers, -- Jérôme Marant http://marant.org ------------------- 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