On Fri, Sep 13, 2002 at 02:02:20PM +0900, Patrick May wrote: > Well, that's the situation we're in now -- you can write methods that > check the types of their arguments, but it is difficult. Making it > easy, then making it difficult doesn't make sense to me. The goal wasn't to add type checking; it was to add dispatching based on argument type. Paul