On Sat, Dec 22, 2012 at 10:20 PM, I wondered: > 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.
On Sat, Dec 22, 2012 at 17:12:16 +0100 Alex Shinn replied: > The => notation is described in section 1.3.4, > and reads as "evaluates to". > It is not defined formally, > but goes on to say: > > [expression] evaluates, in the initial environment, > to an object that can be represented externally > by the sequence of characters [result] > > so one can assume > the objects must be written the same. But in that case the equations for make-polar are false, aren't they? z may be exact on input and inexact on output. _______________________________________________ Scheme-reports mailing list [email protected] http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports
