| Foo(Integer) = Foo(String) = with {}
How is the above is a logical consequence?
In no way I have tied argument passing semantics to equality.
What does that have to do with "argument passing semantics"?
Foo is a function and the resulting values of Foo(Integer) and
Foo(String) are the same. Very much like foo(0) = foo(1) for
foo(i: Integer): Integer == 1.
So b1 ... b4 should all be true and
Foo(String) is indistinguishable from Foo(Integer).
Ralf
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer