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 #145
cc
changetime
2012-10-11 21:57:45
component
WG1 - Core
description
Scrutinize every use of the [http://tools.ietf.org/html/rfc2119 RFC 2119] modal verbs "may", "should", "must", "shall", "should not", "must not", "shall not" and the RFC 2119 adjectives "required", "recommended", and "optional" to make sure they are compliant and fix them if not. Introduce them in situations where they ought to be used. If you find "may not", it probably should be "must not".
We will probably need to use different markup for compliant and non-compliant usage, hopefully not as intrusive as ALL CAPS.
Note that "shall" is a synonym for "must".
We should talk only about what implementations may, should, or must do, and use "can" or similar terms for user choices.
Beware the unexpressed subject. "X must be done" isn't properly 2119-compliant, because we don't know who must do it.
id
145
keywords
milestone
owner
cowan
priority
major
reporter
cowan
resolution
fixed
severity
status
closed
summary
RFC 2119 compliance
time
2011-03-03 23:45:19
type
defect
Changes
Change at time 2012-10-11 21:57:45
author
cowan
field
comment
newvalue
Cleaned up all remaining bad MUSTard, I hope.
oldvalue
5
raw-time
1349967465215118
ticket
145
time
2012-10-11 21:57:45
Change at time 2012-10-11 21:57:45
author
cowan
field
resolution
newvalue
fixed
oldvalue
raw-time
1349967465215118
ticket
145
time
2012-10-11 21:57:45
Change at time 2012-10-11 21:57:45
author
cowan
field
status
newvalue
closed
oldvalue
writing
raw-time
1349967465215118
ticket
145
time
2012-10-11 21:57:45
Change at time 2011-10-01 19:48:50
author
cowan
field
comment
newvalue
oldvalue
4
raw-time
1317473330000000
ticket
145
time
2011-10-01 19:48:50
Change at time 2011-10-01 19:48:50
author
cowan
field
owner
newvalue
cowan
oldvalue
alexshinn
raw-time
1317473330000000
ticket
145
time
2011-10-01 19:48:50
Change at time 2011-10-01 19:48:50
author
cowan
field
status
newvalue
writing
oldvalue
decided
raw-time
1317473330000000
ticket
145
time
2011-10-01 19:48:50
Change at time 2011-09-11 07:56:40
author
cowan
field
comment
newvalue
Ignore the above comment!
oldvalue
3
raw-time
1315702600000000
ticket
145
time
2011-09-11 07:56:40
Change at time 2011-09-11 07:56:19
author
cowan
field
comment
newvalue
WG1 decided to add the long-form names currently in use to the list.
oldvalue
2
raw-time
1315702579000000
ticket
145
time
2011-09-11 07:56:19
Change at time 2011-09-11 07:55:33
author
cowan
field
comment
newvalue
WG1 accepted this proposal.
oldvalue
1
raw-time
1315702533000000
ticket
145
time
2011-09-11 07:55:33
Change at time 2011-09-11 07:55:33
author
cowan
field
resolution
newvalue
oldvalue
raw-time
1315702533000000
ticket
145
time
2011-09-11 07:55:33
Change at time 2011-09-11 07:55:33
author
cowan
field
status
newvalue
decided
oldvalue
new
raw-time
1315702533000000
ticket
145
time
2011-09-11 07:55:33