This site is a static rendering of the Trac instance that was used by R7RS-WG1 for its work on R7RS-small (PDF), which was ratified in 2013. For more information, see Home.
Source for ticket #492
cc
changetime
2013-07-07 03:09:25
component
WG1 - Core
description
John David Stone writes:
The R7RS proposal doesn't include assertions. This creates a needless divergence from R6RS, where the `assert` syntax is required in the base. One could argue that assertions are an unsuitably blunt instrument for error detection and reporting. Even so, they are useful enough as a teaching tool that I'd like the language to support them.
id
492
keywords
milestone
owner
alexshinn
priority
major
reporter
cowan
resolution
wontfix
severity
status
closed
summary
Assertions are not provided
time
2013-05-12 23:10:29
type
defect
Changes
Change at time 2013-07-07 03:09:25
author
cowan
field
comment
newvalue
oldvalue
5
raw-time
1373141365736922
ticket
492
time
2013-07-07 03:09:25
Change at time 2013-07-07 03:09:25
author
cowan
field
resolution
newvalue
wontfix
oldvalue
raw-time
1373141365736922
ticket
492
time
2013-07-07 03:09:25
Change at time 2013-07-07 03:09:25
author
cowan
field
status
newvalue
closed
oldvalue
new
raw-time
1373141365736922
ticket
492
time
2013-07-07 03:09:25
Change at time 2013-07-07 03:09:07
author
cowan
field
comment
newvalue
The WG decided not to take action on this, considering it to have been raised untimely.
oldvalue
4
raw-time
1373141347578908
ticket
492
time
2013-07-07 03:09:07
Change at time 2013-05-21 01:12:31
author
cowan
field
comment
newvalue
`Assert` may yet return; the WG is considering the possibility of an accidental change to a member's ballot that caused ticket #287 on the [wiki:WG1Ballot5Results fifth ballot] to fail.
oldvalue
3
raw-time
1369073551754445
ticket
492
time
2013-05-21 01:12:31
Change at time 2013-05-13 18:27:58
author
cowan
field
comment
newvalue
oldvalue
2
raw-time
1368444478319814
ticket
492
time
2013-05-13 18:27:58
Change at time 2013-05-13 18:27:58
author
cowan
field
description
newvalue
John David Stone writes:
The R7RS proposal doesn't include assertions. This creates a needless divergence from R6RS, where the `assert` syntax is required in the base. One could argue that assertions are an unsuitably blunt instrument for error detection and reporting. Even so, they are useful enough as a teaching tool that I'd like the language to support them.
oldvalue
Jim Wise writes:
The R7RS proposal doesn't include assertions. This creates a needless divergence from R6RS, where the `assert` syntax is required in the base. One could argue that assertions are an unsuitably blunt instrument for error detection and reporting. Even so, they are useful enough as a teaching tool that I'd like the language to support them.
raw-time
1368444478319814
ticket
492
time
2013-05-13 18:27:58
Change at time 2013-05-12 23:11:35
author
cowan
field
comment
newvalue
The WG felt that simple `assert` is insufficient, and a more complex and useful assertion facility was beyond the scope of the small language. In addition, it is trivial to supply a simple R6RS-compatible `assert` portably, though non-portable versions may be able to provide better reporting.
oldvalue
1
raw-time
1368375095864586
ticket
492
time
2013-05-12 23:11:35