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 LAA21948; Fri, 7 Jun 2002 11:52:18 +0200 (MET DST) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA22171 for caml-list@pauillac.inria.fr; Fri, 7 Jun 2002 11:52:17 +0200 (MET DST) 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 AAA13325 for ; Fri, 7 Jun 2002 00:15:09 +0200 (MET DST) Received: from obento.cs.caltech.edu (obento.cs.caltech.edu [131.215.44.101]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g56MF8r11402 for ; Fri, 7 Jun 2002 00:15:08 +0200 (MET DST) Received: from orchestra.cs.caltech.edu (orchestra.cs.caltech.edu [131.215.44.20]) by obento.cs.caltech.edu (Postfix) with ESMTP id 35A7A4063 for ; Thu, 6 Jun 2002 15:15:05 -0700 (PDT) Received: (from mvanier@localhost) by orchestra.cs.caltech.edu (8.11.6/8.9.3) id g56MF5w19818; Thu, 6 Jun 2002 15:15:05 -0700 Date: Thu, 6 Jun 2002 15:15:05 -0700 Message-Id: <200206062215.g56MF5w19818@orchestra.cs.caltech.edu> X-Authentication-Warning: orchestra.cs.caltech.edu: mvanier set sender to mvanier@cs.caltech.edu using -f From: Michael Vanier To: caml-list@inria.fr Subject: [Caml-list] coercions from superclass to subclass? Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I understand that there is no mechanism to coerce from a superclass to a subclass in ocaml (i.e. the equivalent of C++'s run-time type identification or java's instanceof operator). Are there any plans to add such a capability in the future? Mike ------------------- 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