Changes http://wiki.axiom-developer.org/DuckTyping/diff -- The line: boblist2: List Any := ["Ahem!"::String];
works, since the interpreter finds the function 'coerce' in 'ANY1(String)'. Of course, it wouldn't work in SPAD code, but in the interpreter, this functionality is completely generic: it looks for an operation 'coerce' that fits both domain (i.e., String) and codomain (i.e., Any). If it finds exactly one such operation, it will use it. Again, within the interpreter, this is extremely useful, for library code it would not make any sense. And 'Any' is *not* hardcoded in the interpreter. Martin -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
