On Mon, 14 Oct 2002, Larry Wall wrote: : We haven't solved the problem of instance methods that want to : reject class invocants at compile time. Though I suppose explicitly : declaring the type of the invocant would have that effect. I'm sure : there are some who would argue (and I might be one of them) that an : implicit invocant should default to only accepting an instance, and : you have to declare an untyped invocant to get class-or-instance. : (Or declare it with a class superposition like (Class|Dog), which : presumably lets you pass either a Class instance or a Dog instance).
In your superposition example (Class|Dog), am I'm assuming correctly that you could invoke that method with an instance of any object that IS-A Dog? -- Garrett Goebel IS Development Specialist ScriptPro Direct: 913.403.5261 5828 Reeds Road Main: 913.384.1008 Mission, KS 66202 Fax: 913.384.2180 www.scriptpro.com [EMAIL PROTECTED]
