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 CoreAndModulesCowan in WG2's repo for R7RS-large.

Core­And­Modules­Cowan

cowan
2010-10-18 06:42:24
1history
source

Proposal for core and standard modules:

1) Every identifier defined in the core (that is, not as part of any module) MUST be provided by every conformant implementation.

2) Conformant implementations MAY provide any standard module, and SHOULD provide all of them.

3) Every conformant implementation that provides a standard module MUST provide the whole module.

See also ReplSemanticsCowan.