[r6rs-discuss] [Formal] Datum values, shared structure and eq? vs equal?

From: Michael Sperber <sperber>
Date: Wed Feb 21 08:33:19 2007

Mikael Tillenius <mti_at_tillenius.com> writes:

> Description: The description of datum values in section 1.9 doesn't
> forbidd shared structure. For example would the value of "(let ((x
> (cons (cons 1 2) 3))) (set-cdr! x (car x)) x)" return a datum value? I
> assume the answer i "no" but it would be nice to make it
> explicit.

This is the tutorial introduction, where `set-car!' isn't even
mentioned. Moreover, this section is quite explicit (in the first two
sentences) about the fact that no complete characterization is given here.

> Also in section 3 (page 11, middle of right column) in the
> discussion of "(8 13)" vs "( 8 13 )" I think it should be defined
> what is meant by "equal", by adding a reference to the predicate
> "equal?".

Will do. Thanks!

-- 
Cheers =8-} Mike
Friede, V?lkerverst?ndigung und ?berhaupt blabla
Received on Wed Feb 21 2007 - 08:33:13 UTC

This archive was generated by hypermail 2.3.0 : Wed Oct 23 2024 - 09:15:01 UTC