From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 9DC1ABCAE for ; Sun, 10 Jul 2005 08:06:56 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j6A66uYC029339 for ; Sun, 10 Jul 2005 08:06:56 +0200 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 IAA10117 for ; Sun, 10 Jul 2005 08:06:55 +0200 (MET DST) Received: from smtpauth09.mail.atl.earthlink.net (smtpauth09.mail.atl.earthlink.net [209.86.89.69]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j6A66sTK020968 for ; Sun, 10 Jul 2005 08:06:55 +0200 Received: from [70.59.206.57] (helo=[192.168.1.101]) by smtpauth09.mail.atl.earthlink.net with asmtp (TLSv1:RC4-MD5:128) (Exim 4.34) id 1DrUxq-0000ZC-6K for caml-list@inria.fr; Sun, 10 Jul 2005 02:06:54 -0400 DomainKey-Signature: a=rsa-sha1; q=dns; c=simple; s=test1; d=earthlink.net; h=Message-ID:Date:From:Reply-To:User-Agent:X-Accept-Language:MIME-Version:To:Subject:References:In-Reply-To:X-Enigmail-Version:X-Enigmail-Supports:Content-Type:Content-Transfer-Encoding; b=hs/jOHvLgvjUGOTVPSm29MeVMgsS6BnYH4IBFEcEP+hYPjLEwlNj62J+zk2hShMB; Message-ID: <42D0BDD7.60705@earthlink.net> Date: Sun, 10 Jul 2005 00:19:03 -0600 From: "Matthew O'Connor" Reply-To: mboconnor@acm.org User-Agent: Mozilla Thunderbird 1.0.2 (X11/20050331) X-Accept-Language: en-us, en MIME-Version: 1.0 To: caml-list@inria.fr Subject: Re: [Caml-list] Object typing References: <42D063EC.3040900@earthlink.net> <20050710002037.GA8569@pulp.anu.edu.au> In-Reply-To: <20050710002037.GA8569@pulp.anu.edu.au> X-Enigmail-Version: 0.90.2.0 X-Enigmail-Supports: pgp-inline, pgp-mime Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-ELNK-Trace: c5e7d5cff6dcd352d780f4a490ca69563f9fea00a6dd62bcc459b08c45e8bf83a9f06663b280b743350badd9bab72f9c350badd9bab72f9c350badd9bab72f9c X-Originating-IP: 70.59.206.57 X-Miltered: at concorde with ID 42D0BB00.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42D0BAFE.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 restricting:01 subtypes:01 wrote:01 typing:01 restrict:01 hierarchy:01 variant:02 variant:02 module:03 solved:03 explicit:03 i'd:05 maybe:07 rather:07 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: Pietro Abate wrote: > you can try to restrict the polimorphy variant type (and maybe > having more than one type to make the hierarchy explicit). Restricting the type to a fixed variant is an option that I would like to stay away from as it would require the base entity class to know of all possible subtypes. (Yes, this could be solved using the module system, but I'd rather not.) Thanks, though. Matt