[Aldor-l] [Axiom-developer] "has" and "with"

[Ralf Hemmecke]

> |   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