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 #259
cc
changetime
2012-04-05 09:37:45
component
WG1 - Core
description
In CondExpandCowan, the test for the existence/importability of a module is to specify the module name. However, this means module names can't begin with `and`, `or`, or `not`. Draft 3 instead specifies `(module `''module-name''`)`, and I think this is better.
id
259
keywords
milestone
owner
alexshinn
priority
major
reporter
cowan
resolution
fixed
severity
status
closed
summary
Specify module name in cond-expand as (module <name>) instead of <name>
time
2011-08-16 22:52:18
type
defect
Changes
Change at time 2012-04-05 09:37:45
author
cowan
field
comment
newvalue
oldvalue
7
raw-time
1333593465398885
ticket
259
time
2012-04-05 09:37:45
Change at time 2012-04-05 09:37:45
author
cowan
field
resolution
newvalue
fixed
oldvalue
raw-time
1333593465398885
ticket
259
time
2012-04-05 09:37:45
Change at time 2012-04-05 09:37:45
author
cowan
field
status
newvalue
closed
oldvalue
decided
raw-time
1333593465398885
ticket
259
time
2012-04-05 09:37:45
Change at time 2012-04-05 08:54:59
author
cowan
field
comment
newvalue
The WG voted to adopt this proposal.
oldvalue
6
raw-time
1333590899050462
ticket
259
time
2012-04-05 08:54:59
Change at time 2012-04-05 08:54:59
author
cowan
field
status
newvalue
decided
oldvalue
reopened
raw-time
1333590899050462
ticket
259
time
2012-04-05 08:54:59
Change at time 2012-02-27 05:27:13
author
cowan
field
comment
newvalue
What CondExpandCowan says, which is what we voted for in ballot 2::
Library names can be used on the same level as feature identifiers (leads to unacceptable ambiguous BNF)
What the draft says, and what I now favor, but ''not'' what we voted for::
Library names must be wrapped in a `(library ...)` form
The alternative::
Don't allow library names at all
So the choice for this ticket is between the last two.
oldvalue
5
raw-time
1330291633884932
ticket
259
time
2012-02-27 05:27:13
Change at time 2012-02-27 02:07:06
author
aag
field
comment
newvalue
I'm not sure why there is an ambiguity here. Unless a library name is automatically considered a <feature identifier>, which doesn't appear to be true, then `library` must be wrapped around a library name in order to use it in a `cond-expand` clause.
John, when you say "I ''want'' the feature," which feature do you want? The ability to specify a library directly as a <feature identifier>, or just the ability to specify a library through a ''library'' clause?
oldvalue
4
raw-time
1330279626396652
ticket
259
time
2012-02-27 02:07:06
Change at time 2012-02-26 17:54:11
author
cowan
field
comment
newvalue
Reopening this, because even if there is no other proposal that resolves the ambiguity, it can be resolved by removing the feature. I ''want'' the feature, but the WG has to vote it in if we are to have it.
oldvalue
3
raw-time
1330250051791109
ticket
259
time
2012-02-26 17:54:11
Change at time 2012-02-26 17:54:11
author
cowan
field
resolution
newvalue
oldvalue
fixed
raw-time
1330250051791109
ticket
259
time
2012-02-26 17:54:11
Change at time 2012-02-26 17:54:11
author
cowan
field
status
newvalue
reopened
oldvalue
closed
raw-time
1330250051791109
ticket
259
time
2012-02-26 17:54:11
Change at time 2012-02-26 16:49:36
author
alexshinn
field
comment
newvalue
The draft already specifies this, and there is currently
no non-ambiguous alternative proposed, so closing the
issue.
oldvalue
2
raw-time
1330246176159578
ticket
259
time
2012-02-26 16:49:36
Change at time 2012-02-26 16:49:36
author
alexshinn
field
resolution
newvalue
fixed
oldvalue
raw-time
1330246176159578
ticket
259
time
2012-02-26 16:49:36
Change at time 2012-02-26 16:49:36
author
alexshinn
field
status
newvalue
closed
oldvalue
new
raw-time
1330246176159578
ticket
259
time
2012-02-26 16:49:36
Change at time 2012-02-03 02:36:08
author
cowan
field
comment
newvalue
Now of course this is `(library `''library-name''`)`.
oldvalue
1
raw-time
1328207768188140
ticket
259
time
2012-02-03 02:36:08