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