From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA17248 for caml-redistribution; Wed, 16 Jun 1999 19:48:34 +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 KAA05446 for ; Wed, 16 Jun 1999 10:13:31 +0200 (MET DST) Received: from math1.unice.fr (math.unice.fr [134.59.10.171]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id KAA07626 for ; Wed, 16 Jun 1999 10:13:29 +0200 (MET DST) Received: from math.unice.fr (pcmath65.unice.fr [134.59.10.65]) by math1.unice.fr (8.8.7/8.8.7) with ESMTP id KAA13022; Wed, 16 Jun 1999 10:15:17 -0100 Sender: weis Message-ID: <37675C94.DBDC396E@math.unice.fr> Date: Wed, 16 Jun 1999 10:13:08 +0200 From: Vyskocil Vladimir Organization: UNSA X-Mailer: Mozilla 4.61 [en] (X11; I; Linux 2.2.9-19mdk i686) X-Accept-Language: fr-FR MIME-Version: 1.0 To: fessant@pa.dec.com CC: caml-list@inria.fr Subject: Re: Objects contrib References: <14182.51559.452813.300967@virtualc5.pa.dec.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Fabrice Le Fessant wrote: > > I have made a small patch to ocaml-2.02 to allow safe casts of objects. > The patch adds two new keywords "implements" and "cast". It sound very good to me, I needed such construct and for now I must "tag" objects with a sum constructor and "untag" them with pattern matching, not very convenient... Will this patch be integrated in the official ocaml distribution ? -- Vyskocil Vladimir vyskocil@math.unice.fr http://pcmath65.unice.fr/~vyskocil http://www.inria.fr/safir/WHOSWHO/Vladimir.html