[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Scheme-reports] Implied equality

>From: Mark H Weaver  
> Then all of: 
> (make-rectangular x_1 x_2) => z 
> [...] 
> (real-part z) => x_1 
> (imag-part z) => x_2 
> [...] 
> are true, [...] 

Which is a good starting point for my question.

What is the equality/equivalence implied by the re-use of an argument name?  Did I overlook that in the draft?  I think it ought to be stated somewhere. 

Scheme-reports mailing list