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. For a version of this page that may be more recent, see InputDocket in WG2's repo for R7RS-large.


2012-12-05 10:36:11

WG2 Input Docket

This docket contains work items that have not yet been voted on. See WG2Dockets for other dockets.

Applicable record instances (see

cond => with guard as well as generator (see #89): SRFI 61

cond => passes multiple values from predicate to consumer:

Combinators: CombinatorsCowan

Concatenation: ConcatenateCowan

Container conversion: ballot options

Continuation API: Feeley's paper (PDF)

Custom I/O ports:

Default exception handler controls:

Division library: DivisionRiastradh

drop-prefix import spec:

Enumerations (R6RS, but see also

Generalized equal: GeneralizedEqualCowan

Evaluator arguments to procedures like load: #277

export-all library declaration: exports all identifiers defined in this library

export-import library declaration: syntactically the same as import, but exports everything that is imported

Extended exact numbers: ExtendedRationalsCowan

External representation of records:

Features, allowing libraries to add:

Futures: Racket API

Getters and setters: SRFI 17



if with arbitrarily many arguments:

Imaginary inexact zero versions of real?, rational?, integer?:

Immutable data: ImmutableData

Interrupts, timers, signals:

Jiffy cleanup:

List library (supplementary): ListsCowan

Macro expander(s) available at run time:

make-error-object constructs error object without raising it:

Multiple values passed through => in cond (see #90):

Mutable environments for eval: MutableEnvironmentsCurtisCowan

NaN dissector API (sign, quiet/signaling status, and integer tag): NanMedernach

Natural number predicates (from WG1): exact-positive-integer? and exact-non-negative-integer?.

number->string variant with control for significant digits: Vincent Manis proposal, R6RS

number->string variant handling arbitrary Unicode decimal digits:

Port encodings, buffering, line ending control: SettingsListsCowan and FilesAdvancedCowan

Port type detector: #177

Procedure arity inspection: SRFI 102

Queues: Chicken API

R6RS compatibility libraries:

Random procedures from R6RS (notably symbol=? and boolean=?): to be spelled out

Record-let: #45

Record external representations:

Raw strings: <<, """...""":

Search and mismatch procedures: SearchMismatchCowan

Setter procedures: SRFI 17

standard-*-port routines: R6RS

String positions and slices (see

Symbol library: SymbolsCowan

Syntactic closures:


Tree library: at least tree=? and tree-copy, probably Common Lisp SUBLIS and NSUBLIS, fold, unfold, map ...

Thread-local storage:

Testing function arity: SRFI 102

Undefined value API: #49

Unquote with multiple arguments: see #123

User-specified syntax-transformers: