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 wiki InputDocket version 20











== WG2 Input Docket ==

This docket contains work items that need to be voted on for possible inclusion into R7RS-large.  See [wiki:WG2Dockets 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: [ R6RS]

Default exception handler controls:

Descriptive statistics:  TallyCowan

Division library: DivisionRiastradh

Enumerations: [ R6RS] (see also, SetsCowan, [ Chicken miscmacros egg]

Generalized `equal`: GeneralizedEqualCowan

Evaluator arguments to procedures like `load`: #277

Extended exact numbers:  ExtendedRationalsCowan

External representation of records: 

Features, allowing libraries to add:

Futures:  [ Racket API]

Getters and setters: [ SRFI 17]


Identifier-syntax: [ R6RS]

`if` with arbitrarily many arguments: [ David Kendal's rationale]

R6RS versions of `real?`, `rational?`, `integer?`: these are false if the imaginary part is an inexact zero; the issue here is what to name them to avoid confusion

Immutable data: ImmutableData

Interrupts, timers, signals: 

Jiffy cleanup: [ Arcane Sentiment blog post]

List library (supplementary):  ListsCowan

Library declarations: LibraryDeclarationsCowan

Macro expander(s) available at run time: 

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

Multiple values passed through => in `cond`: #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` and `string->number` with non-ASCII decimal digits: NumberStringUnicode

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

Port type detector: #177

Procedure arity inspection: [ SRFI 102]

Queues:  [ Chicken API], BinaryHeapsCowan

R6RS compatibility: whole libraries or cherry-picked procedures:

Raw strings:  <<, """...""", [ SRFI 109]

`Record-let`: #45

Record external representations: 

Restarts:  [ Common Lisp], [ MIT], [ RestartersRiastradh]

Search and mismatch procedures:  SearchMismatchCowan

`standard-*-port` routines:  [ R6RS]

String positions and slices (see

String encoding and decoding:  StringBytevectorConversionCowan

Symbol library:  SymbolsCowan

Syntactic closures (voted down, but restored by popular demand): [ MIT]

`syntax-case` (voted down, but restored by popular demand): [ R6RS]

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

Thread-local storage: 

Undefined value API: #49

Unquote with multiple arguments:  see #123

User-specified syntax-transformers:


2013-05-04 14:29:25