[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Scheme-reports] Implied equality
- To: <scheme-reports@x>
- Subject: [Scheme-reports] Implied equality
- From: Biep <scheme@x>
- Date: Sat, 22 Dec 2012 14:20:04 +0100
- In-reply-to: <mailman.83.1356142923.885.scheme-reports@scheme-reports.org>
- References: <mailman.83.1356142923.885.scheme-reports@scheme-reports.org>
>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@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports