Newsgroups: comp.lang.dylan
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!howland.reston.ans.net!news.sprintlink.net!EU.net!news2.EUnet.fr!news.fnet.fr!ilog!news
From: davis@ilog.fr (Harley Davis)
Subject: Re: The skinny on singletons
In-Reply-To: haahr@netcom.com's message of 10 Apr 1995 07:06:54 -0400
Message-ID: <DAVIS.95Apr10162632@passy.ilog.fr>
Lines: 26
Sender: news@ilog.fr
Nntp-Posting-Host: passy
Organization: Ilog SA, Gentilly, France
References: <28833.9504091947@subnode.aiai.ed.ac.uk>
	<1110.9504101104@bessie.harlequin.co.uk>
Date: 10 Apr 1995 14:26:32 GMT


In article <1110.9504101104@bessie.harlequin.co.uk> haahr@netcom.com (Paul Haahr) writes:

   Note, by the way, that not all classes are instantiable types.  Abstract
   classes are by default not instantiable.  And, by defining a make method
   I can switch the classification for a particular type.

Is it legal in Dylan to define a method where the generic function and
all the specializers are defined language entities?  I believe this
was outlawed in CLOS and I know we outlawed it in EuLisp and Ilog
Talk.  The idea is that the implementors have the right to define
undocumented methods on standard gfs and classes without worrying
about users crushing them.  I would be surprised if Dylan didn't have
the same rule.

-- Harley Davis

-- 

------------------------------------------------------------------------------
Harley Davis                            net: davis@ilog.fr
ILOG S.A.                               tel: +33 1 46 63 66 66
2 Avenue Gallini, BP 85                fax: +33 1 46 63 15 82
94253 Gentilly Cedex, France            url: http://www.ilog.com/

           Ilog Talk information: info@ilog.com
