Changes http://wiki.axiom-developer.org/DuckTyping/diff -- unfortunately you force me to cite myself. In #348 I wrote:
I would very much like to have ANY1 accept only SetCategory instead of Type. This would make ANY "type-safe". In Ralf's example above, the line:: boblist2: List Any := ["Ahem!"::String, 42::Integer, myint, [1,2,3,4]::List Integer]; should fail, with Axiom complaining that there is no coercion from 'myint' to 'ANY'. I guess it would also be possible to make 'any$Any' type-safe. Martin -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
