On Thu, 16 Aug 2007, Ralf Hemmecke wrote: | > | 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"?
That was my question. | Foo is a function and the resulting values of Foo(Integer) and Foo(String) are | the same. Why? | Very much like foo(0) = foo(1) for | foo(i: Integer): Integer == 1. but 1 is not String, 1 is not Integer. | So b1 ... b4 should all be true and | | Foo(String) is indistinguishable from Foo(Integer). I'm missing the logical reasons for that. -- Gaby _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer