|
From: | Ralf Hemmecke |
Subject: | Re: [Axiom-developer] "has" and "with" |
Date: | Thu, 16 Aug 2007 15:43:45 +0200 |
User-agent: | Thunderbird 2.0.0.6 (X11/20070728) |
| 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
[Prev in Thread] | Current Thread | [Next in Thread] |