Changes http://wiki.axiom-developer.org/DuckTyping/diff -- Ralf, you are quite right about that. In fact Martin already raised this issue in #348. Martin implies that in order to implement Object or Any in a type-safe manner, it is necessary to use dependent types (which only Aldor supports fully). I am not completely convinced about this yet but maybe it is true.
-- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
