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

Mandatory­Docket

cowan
2016-07-15 22:58:32
6history
source

These are things to consider making mandatory in the large language that are optional in the small language. See WG2Dockets for other dockets.

Full numeric tower support (bignums, ratios, flonums, compnums)

Forbid mutation of literals

Exact complex numbers

IEEE 64-bit binary inexact numbers

Multiple precisions

Safety

Return exact results on exact arguments whenever possible (e.g. (sqrt 4))

Full Unicode support:

Unicode identifiers

Fixnums must be at least 24 bits signed

Signal an error on all ItIsAnError situations

Provide all R7RS-small libraries:

Raise exceptions on all errors

Forcing a non-promise returns the object

Implicit forcing of promises by primitives

Require Unicodely-correct downcasing of Σ.

Support multiple inexact-number precisions

Input/output ports