>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
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports