David Abrahams wrote: > There's not all that much to what I'm doing. I have a really simple-minded > dispatching scheme which checks each overload in sequence, and takes the > first one which can get a match for all arguments. Can you explain in more detail how the matching is done? Wouldn't having some kind of type declarations be a precondition to implementing multiple dispatch. Neil