> I'd settle for the implemented version of function equality, > especially since the alternative would be, as you say, > a runtime error. > > But of course, I'm not an academic. I am an academic and the implemented function equality, based on syntactic rather than semantic equality, does not bother me at all. Kostis