[r6rs-discuss] [Formal] nothing is said to be safe

From: Michael Sperber <sperber>
Date: Thu Jan 25 09:52:09 2007

William D Clinger <will_at_ccs.neu.edu> writes:

> The safety guarantees of section 4.5 hold only for
> programs and libraries that are "said to be safe".
> Since the meaning of that phrase is not defined
> within the report, and no programs and libraries
> are explicitly alleged to be safe, the safety
> guarantees of 4.5 are meaningless.
>
> Comparison with 5.91 shows that the first paragraph
> of section 4.5 was dropped in 5.92.

This is an editorial oversight, and I believe that the consensus of
the editors was that all programs are intended to be safe as per the
report. (I've made the corresponding change.) Please let me know if
you disagree.

-- 
Cheers =8-} Mike
Friede, V?lkerverst?ndigung und ?berhaupt blabla
Received on Thu Jan 25 2007 - 09:51:59 UTC

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