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

[William D Clinger]

---
This message is a formal comment which was submitted to formal-comment at r6rs.org, following the requirements described at: http://www.r6rs.org/process.html
---
Submitter: William D Clinger
Email address: will at ccs.neu.edu
Issue type: Defect
Priority: Major
Component: Concepts
Report version: 5.92
Summary: Nothing is said to be safe.

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.

Section 4.5 should be either dropped in its entirety
or revised so it actually says something.

Will