[r6rs-discuss] [Formal] nothing is said to be safe
Michael Sperber
sperber at informatik.uni-tuebingen.de
Thu Jan 25 09:51:59 EST 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
More information about the r6rs-discuss
mailing list