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 ImplementationsShould version 2

author

cowan

comment

ipnr

127.10.177.1

name

ImplementationsShould

readonly

text

Things that R7RS-small implementations explicitly ''should'' do:

* Produce exact results from exact arguments passed to rational procedures
* Produce inexact results if exact results are not possible
* Use at least IEEE precision for transcendental operations
* Cause `(exit #t)` and `(exit #f)` to communicate success and failure to the operating system
* Use compactly represented integers as values of `(current-jiffy)`
* Document the mapping between library names and file names
* Permit redefinition or mutation of imported bindings (in the REPL only)

time

2013-12-09 23:18:20