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.

Input­Docket

cowan
2013-04-23 07:44:52
19history
source

WG2 Input Docket

This docket contains work items that need to be voted on for possible inclusion into R7RS-large. See WG2Dockets for other dockets.

Applicable record instances (see http://www.r6rs.org/formal-comments/comment-6.txt):

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 http:www.r6rs.org/formal-comments/comment-262.txt), SetsCowan, [http:wiki.call-cc.org/eggref/4/miscmacros 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

hex-digit-value:

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

Setter procedures: SRFI 17

standard-*-port routines: R6RS

String positions and slices (see http://www.r6rs.org/formal-comments/comment-235.txt):

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:

Testing function arity: SRFI 102

Undefined value API: #49

Unquote with multiple arguments: see #123

User-specified syntax-transformers: