DOC HOME SITE MAP MAN PAGES GNU INFO SEARCH PRINT BOOK
 

(r5rs.info.gz) Error situations and unspecified behavior

Info Catalog (r5rs.info.gz) Primitive; library; and optional features (r5rs.info.gz) Notation and terminology (r5rs.info.gz) Entry format
 
 1.3.2 Error situations and unspecified behavior
 -----------------------------------------------
 
 When speaking of an error situation, this report uses the phrase "an
 error is signalled" to indicate that implementations must detect and
 report the error.  If such wording does not appear in the discussion of
 an error, then implementations are not required to detect or report the
 error, though they are encouraged to do so.  An error situation that
 implementations are not required to detect is usually referred to simply
 as "an error."
 
 For example, it is an error for a procedure to be passed an argument
 that the procedure is not explicitly specified to handle, even though
 such domain errors are seldom mentioned in this report.
 Implementations may extend a procedure's domain of definition to
 include such arguments.
 
 This report uses the phrase "may report a violation of an
 implementation restriction" to indicate circumstances under which an
 implementation is permitted to report that it is unable to continue
 execution of a correct program because of some restriction imposed by
 the implementation.  Implementation restrictions are of course
 discouraged, but implementations are encouraged to report violations of
 implementation restrictions.  
 
 For example, an implementation may report a violation of an
 implementation restriction if it does not have enough storage to run a
 program.
 
 If the value of an expression is said to be "unspecified," then the
 expression must evaluate to some object without signalling an error,
 but the value depends on the implementation; this report explicitly does
 not say what value should be returned.  
 
Info Catalog (r5rs.info.gz) Primitive; library; and optional features (r5rs.info.gz) Notation and terminology (r5rs.info.gz) Entry format
automatically generated byinfo2html